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

International Conference on Electrical and Electronics Engineering, ELECO

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

This particular essay expounds upon how one can foresee and predict software reliability. There are two major components that exist within a computer system: hardware and software. The reliabilities between the two are comparable because both are stochastic processes, which can be described by probability distributions. With this said, software reliability is the probability that will function without failure in a given software and in a given environment during a specified period of time. Thus, this is why software reliability is a major and key factor in software developmental processes and quality. However, one can spot the difference between software reliability and hardware reliability where it concerns the quality duration and the fact that software reliability does not decrease its reliability over time.

关键词： Software reliability Software Mathematical model Shape Hazards Weibull distribution

来源：评论

学校读者我要写书评

暂无评论

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...

引用

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

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

ISBN: (纸本)9781457707469

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. © 2011 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Enhancing a simulation environment for computer architecture to a systemC based testbench tool for design verification

Enhancing a simulation environment for computer architecture...

引用

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

作者： M. Westmeier B. Herwig J. Börcsök Computer Architecture and System Programming University of Kassel Kassel Germany

This paper presents a simulation environment, which is a C++/systemC based integrated framework for functional verification of designed components or electronic architectures and enhances the existing computer architecture simulation tool named sefca. As the VHDL sources are converted to systemC it is sufficient for verification engineers to have a fundamental knowledge of C++ and the systemC library. The testbench framework uses the same graphical user interface (GUI) based on the wxPython library, which was presented in the sefca tool. Verification of the design is supported by the systemC verification library (SCV). Inter-Process-Communication is used to send the stimuli for simulation input from the GUI to the simulation process and the simulation results back to the online viewer in the GUI. With these enhancements sefca becomes a universal tool for testing the software and the hardware part of a new design at the same time. Working on the transaction level model (TLM) the proposed methodology offers a high performance and a high level of abstraction.

关键词： Clocks Unified modeling language Object oriented modeling Libraries Computer architecture Software Hardware

来源：评论

学校读者我要写书评

暂无评论

New approach to determine the critical number of failure in software systems

New approach to determine the critical number of failure in ...

引用

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

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

Software-Engineering is very important today. In industry (specifically by software critical system) it is important to produce high reliable software, i.e. software with low proportion of faults. To produce such reliable software, a long handling process is required, and because this process consumes a large amount of time and resources to achieve the desired reliability goals it is useful to use Software Reliability Stochastic Models to predict the required software testing time. In this paper a new approach to reflecting the residual number of critical failures in software-systems is introduced. There are currently very few processes enabling us to predict the reliability of the critical failures or the critical failure rate for critical systems. Furthermore, we will focus on distinguishing the critical failures in the software. We will thus distinguish both critical as well as non-critical failures in the Software. Therefore it is important to divide the process into two classes, detection- and correction class. To develop an approach it is necessary to determine corresponding distribution functions and model assumptions.

关键词： Software Software reliability Mathematical model Weibull distribution Maximum likelihood estimation

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Estimation and evaluation of the 1004-architecture for safety related systems

Estimation and evaluation of the 1004-architecture for safet...

引用

International Conference on Electrical and Electronics Engineering, ELECO

作者： Josef Börcsök Ali Hayek Computer Architecture and System Programming University of Kassel Kassel Germany

In the standard IEC 61508 miscellaneous architectures for safety related systems are introduced. Depending on the required safety, reliability and availability levels several architectures such as 1oo2-, 2oo2-, 1oo3-, and 2oo3-architectures can be selected. In this paper, the concept and calculation of a novel architecture is presented. The 1oo4-architecture (one out of four) represents an advanced safety architecture, which is 3-failure safe. This means that at least one of the four channels have to work correctly in order to trigger the safety function. In order to classify the quality of the proposed architecture for safety related systems the PFD-value is calculated. Additionally, the Markov-model for a 1oo4-architecture is introduced and the MTTF-value for this architecture is calculated. The results are high safety and high reliability.

关键词： Safety Computer architecture Phase frequency detector Availability Probability Markov processes

来源：评论

学校读者我要写书评

暂无评论

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

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

来源：评论

学校读者我要写书评

暂无评论

The probability distribution of failure rates and diagnostic coverage factors

The probability distribution of failure rates and diagnostic...

引用

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

作者： Wacker, H.D. Holub, P. Börcsök, J. University of Kassel Computer Architecture and System Programming Kassel Germany

ISBN: (纸本)9784883254194

In chapter 2 the authors firstly give a short outline of Bayesian inference, Bayesian prior and posterior distributions and Bayesian estimators. In chapter 3 they investigate random variables following a Poisson distribution. They then handle the rate parameter as a random variable, and show that the associated posterior distribution is an Erlang distribution. They then calculate the density functions of two ratios related to rate parameters. In chapter 4 the authors are dealing with partial stroke tests, proof tests, failure rates, and diagnostic coverage factors, determine the respective probability density functions and calculate confidence intervals. Finally they discuss the question whether or not to take account of the last failure of a test interval.

关键词： Poisson distribution

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：