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

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

来源：评论

学校读者我要写书评

暂无评论

The technique for computer systems Trojan diagnosis in the monitor mode

The technique for computer systems Trojan diagnosis in the m...

引用

IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Segiy Lysenko Oleg Savenko System programming Department Khmelnitsky National University Khmelnitskiy Ukraine Computer Systems and Programming Faculty Lecturer of System programming Department Khmelnitsky National University Khmelnitskiy Ukraine

New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.

关键词： Trojan horses computers Monitoring Software Computational modeling Software reliability

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Optimizations and Deoptimizations for Escape Analysis in Open World

引用

电子学报(英文版) 2010年第2期19卷 211-216页

作者： SHI Xiaohua WU Gansha JIN Maozhong LUEH Guei-Yuan School of Computer Science Beihang University Beijing China Programming System Laboratory Microprocessor Technology Labs Intel Corporation Beijing China

This paper introduced the optimization and deoptimization technologies for Escape analysis in open world. These technologies are used in a novel Escape analysis framework that has been implemented in Open runtime platform, Intel's opensource Java virtual machine. We introduced the optimization technologies for synchronization removal and object stack allocation, as well as the runtime deoptimization and compensation work. The deoptimization and compensation technologies are crucial for a practical Escape analysis in open world. We evaluated the runtime efficiency of the deoptimization and compensation work on benchmarks like SPECjbb2000 and SPECjvm98.

关键词：优化技术世界逃生 Java虚拟机运行平台补偿工作开放源码补偿技术

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：