检索结果-内蒙古大学图书馆

13th IFAC Symposium on Control in Transportation systems, CTS 2012

作者： Üstoǧlu, Ilker Kaymakçi, Özgür T. Börcsök, Josef Yildiz Technical University Davutpaşa Campus A209 34220 34220 Esenler Istanbul Turkey Yildiz Technical University Davutpaşa Campus A210 34220 34220 Esenler Istanbul Turkey University Kassel Faculty of Electrical Engineering / Computer Science Department of Computer Architecture and System Programming Wilhelmshöher Allee 71 34121 Kassel Germany

ISBN: (纸本)9783902823137

In order to measure the effectiveness of safety protection systems there are several design parameters. Diagnostic coverage factor is one of the most important parameter which influences all architectures. In this short paper the relationship between PFDavg, DC and TI are presented. 1002 and 1002D architectures are considered as examples. © 2012 IFAC.

关键词： architecture

来源：评论

学校读者我要写书评

暂无评论

A New Method to Detect and Correct the Critical Errors and Determine the Software-Reliability in Critical Software-system

引用

Journal of Physics: Conference Series 2012年第1期364卷

作者： Ossmane Krini Josef Börcsök Department of Computer Architecture and System Programming University of Kassel Germany

In order to use electronic systems comprising of software and hardware components in safety related and high safety related applications, it is necessary to meet the Marginal risk numbers required by standards and legislative provisions. Existing processes and mathematical models are used to verify the risk numbers. On the hardware side, various accepted mathematical models, processes, and methods exist to provide the required proof. To this day, however, there are no closed models or mathematical procedures known that allow for a dependable prediction of software reliability. This work presents a method that makes a prognosis on the residual critical error number in software. Conventional models lack this ability and right now, there are no methods that forecast critical errors. The new method will show that an estimate of the residual error number of critical errors in software systems is possible by using a combination of prediction models, a ratio of critical errors, and the total error number. Subsequently, the critical expected value-function at any point in time can be derived from the new solution method, provided the detection rate has been calculated using an appropriate estimation method. Also, the presented method makes it possible to make an estimate on the critical failure rate. The approach is modelled on a real process and therefore describes two essential processes - detection and correction process.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Instruction based Built-in-Testing of Instruction Select Multiplexer in Arithmetic Logic Unit

引用

Journal of Physics: Conference Series 2012年第1期364卷

作者： P Tsoozol J Börcsök M Schwarz Department of Computer Architecture and System Programming University of Kassel Germany

Due to the complexity of microprocessor, an efficient testing is a crucial point and serious challenge in safety systems. A new instruction opcode for ALU based Built-In-Test (BIT) is proposed in this paper. With this novel method stuck-at-fault in Multiplexer (MUX) for Arithmetic Logic Unit (ALU) can be determined. A model that consists of the command and faulty states is developed. According to the designed state model, an algorithm and pseudo program that tests the stuck-at-fault in MUX is implemented and described in this paper.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A partially automated HiL test environment for model-based development using Simulink® and OPC technology

A partially automated HiL test environment for model-based d...

引用

2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011

作者： Chaaban, W. Schwarz, M. Batchuluun, B. Sheng, H. Börcsök, J. Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781457707469

This paper is concerned with the design procedures of an automated testing tool, developed in Matlab®/Simulink® environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the "semantic" or "functional" correctness of the automatically generated C++ - Code with RTW (Real Time Workshop®) for algorithms designed and developed in Simulink® on hardware targets, the tool compares results obtained from the HiL test with the results of the MiL test (Model-in-the-Loop) performed in early stage of development for the same developed application. The main purpose behind this work is to develop reliable software that fulfil system requirements and to test its behaviour during realtime hardware simulation, in order to achieve the validation step which represents the terminating - step of almost all projects. © 2011 IEEE.

关键词： Simulink

来源：评论

学校读者我要写书评

暂无评论

Auto-positioning mount system for Stereoscopic imaging on variable distances

引用

Journal of Physics: Conference Series 2012年第1期364卷

作者： Zh Yordanov E Fuchs S Löser J Börcsök Department for Computer Architecture and System Programming University of Kassel 34121 Kassel Germany

This paper describes a stereo-imaging system for variable distances. The setup includes a mechanical mount system-holder, a control unit for the correct positioning of the cameras, the cameras itself and the object to capture. The goal of this setup was to achieve a true sense of scale and depth of the filmed material on dynamically variable distances to the object. This demands certain requirements which are usually not necessary for many applications of stereoscopic filming. In the last step, the resulting material is prepared for viewing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Relationship between Diagnostic Coverage and Proof Test Interval for 1oo2 and 1oo2D architectures

引用

IFAC Proceedings Volumes 2012年第24期45卷 181-184页

作者： İlker üstoğlu özgür T. Kaymakçı Josef Börcsök Yıldız Technical University Davutpaşa Campus A209 34220 34220 Esenler İstanbul TURKEY (Tel: +90-535-418-22-64 ) Yıldız Technical University Davutpaşa Campus A210 34220 34220 Esenler İstanbul TURKEY University Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Wilhelmshöher Allee 71 34121 Kassel GERMANY

In order to measure the effectiveness of safety protection systems there are several design parameters. Diagnostic coverage factor is one of the most important parameter which influences all architectures. In this short paper the relationship between PFD avg , DC and T I are presented. 1oo2 and 1oo2D architectures are considered as examples.

关键词： Functional safety 1002 architecture

来源：评论

学校读者我要写书评

暂无评论

Data transmission via erasure type channels protected by linear codes

引用

Journal of Physics: Conference Series 2012年第1期364卷

作者： H D Wacker P Pendli J Börcsök To whom any correspondence should be addressed University Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Wilhelmshöher Allee 71 34121 Kassel

The paper is concerned with data transmission via channels composed of a memoryless binary symmetric channel and the erasure channel of Peter Elias. Channels of this type play an important role in modelling different types of networks especially wireless networks, and have been investigated using, amongst others, the theory of Markov chains. Channel Capacities and network flows have been determined. The authors focus their interest on some aspects of coding theory. They assume the data transmission to be protected by a linear code, a CRC for example, and determine the probability of undetected error of the code. They then consider redundant transmission via two or more channels with bit inversion, and calculate the probability of undetected error. They prove some inequalities that are useful instruments to estimate the rate of transmission errors and to determine safety integrity levels according to the standards. Finally the authors apply their results to Bluetooth channels suffering from different types of noise.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A partially automated HiL test environment for model-based development using Simulink® and OPC technology

A partially automated HiL test environment for model-based d...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： W. Chaaban M. Schwarz B. Batchuluun H. Sheng J. Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the “semantic” or “functional” correctness of the automatically generated C++ - Code with RTW (Real Time Workshop ® ) for algorithms designed and developed in Simulink ® on hardware targets, the tool compares results obtained from the HiL test with the results of the MiL test (Model-in-the-Loop) performed in early stage of development for the same developed application. The main purpose behind this work is to develop reliable software that fulfil system requirements and to test its behaviour during realtime hardware simulation, in order to achieve the validation step which represents the terminating - step of almost all projects.

关键词： Mathematical model Software Testing Hardware Servers Real time systems Process control

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： Zamira Daw Marcus Vetter Josef Boercsoek Institute of Embedded Systems Hochschule Mannheim-University of Applied Sciences Mannheim Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime.

关键词： Unified modeling language Contracts Monitoring Embedded systems Object oriented modeling Safety Pins

来源：评论

学校读者我要写书评

暂无评论

Calculation of safety parameters

Calculation of safety parameters

引用

23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010

作者： Börcsök, J. Department of Computer Architecture and System Programming University of Kassel Germany

ISBN: (纸本)9784883254194

The standard IEC/EN 61508 defines the requirements for safety systems to be applied to industrial plant safety independently of the application. It is not only intended as a basis for the development of future application orientated standards, but also as a basis of all safety related electrical, electronic and programmable electronic systems, in order to apply it to safety critical applications. The purpose of this paper is to describe the SILCas tool which enables the user to determine the Safety Integrity Level (SIL) and the probability of failure on demand (PFD) for entire SIFs (consisting of sensor, signal processing, actuator) and for different system architectures.

关键词： Accident prevention

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：