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

International Conference on Application Specific systems (ASAP), architectures and Processors

作者： Ali Hayek Bashier Machmur Michael Schreiber Josef Börcsök Stefan Gölz Mario Epp University of Kassel Chair for Computer Architecture and System Programming Kassel Germany HIMA Paul Hildebrandt GmbH + Co KG Chip-based Solutions Bruhl Germany

In this paper a complete safety controller on a single chip is presented. HICore 1 is a comprehensive solution that includes a certified application specific integrated circuit for safety-critical applications according to the safety standard IEC 61508, meeting the safety integrity level SIL3. It also meets the requirements of the standard EN 13849 Performance Level e. A SIL3 operating system and a SIL3 middleware complement the presented safety chip solution. Based on the presented solution, the smallest certified safety controller represents an innovative product and allows system manufacturers to create safe solutions ready for certification.

关键词： Safety IEC standards computer architecture Communication systems system-on-chip programming

来源：评论

学校读者我要写书评

暂无评论

A Tool for reliable model-based design for programming logic controllers

A Tool for reliable model-based design for programming logic...

引用

1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013

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

ISBN: (纸本)9783902823519

This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by PLC manufacturers and software environment developers and provide the possibility that novel and intelligent algorithms can be directly operated on industrial accepted systems. Railway and transportation also receive drastic changes from purely hardware based systems to microcontroller + software driven systems. However, the conversion has to follow certain steps to ensure that the adaptation is done correctly and functionality is not alternated, added or deleted. Concepts suggested by different international standards such as the IEC 61508 can help to derive a tool chain to verify the generated code. © IFAC.

关键词： Manufacture

来源：评论

学校读者我要写书评

暂无评论

Validation of a SIL3 middleware for safety-related system-on-chips

Validation of a SIL3 middleware for safety-related system-on...

引用

Proceedings of the International Convention MIPRO

作者： Emil Delic Michael Schreiber Ali Hayek Josef Börcsök Institute for Computer Architecture and System Programming University of Kassel Kassel Germany

The aim is reducing IEC 61508 certification effort for safety-related applications. Therefore, an object-oriented middleware has been implemented which, once being SIL3-certified, would allow transferring safety-related aspects from the application into an already-certified code layer. Safety-related applications using this middleware then could be written as straightforward as non-safety-related code. The SIL3 middleware is designed for an 8051-based microcontroller. Because of the 8-bit CPU architecture, several limitations have been encountered. These issues are explained in this paper, and solutions are proposed. The middleware will be used on the multi-more safety chip. SIL3 certified multi-core architecture for safety-related applications is described. Also, the SIL3 middleware architecture is given. The middleware is modular. Therefore, if the user does not want to use some modules they will not be included and code footprint will be smaller. In the SIL3 middleware numerous design patterns can be found. Patterns description and purpose are explained. The pseudo code for the singleton pattern is shown. Moreover, module implementation is depicted. The validation of the middleware is presented and the V-model for the middleware is provided. It conforms to the IEC 61508.

关键词： Middleware IEC standards Safety system-on-chip computer architecture Certification

来源：评论

学校读者我要写书评

暂无评论

Concept for a SIL3 middleware encapsulating safety-related aspects of applications for an 8051-based SIL3 multi-core system-on-chip

Concept for a SIL3 middleware encapsulating safety-related a...

引用

Proceedings of the International Convention MIPRO

作者： Michael Schreiber Emil Delic Ali Hayek Josef Börcsök Institute for Computer Architecture and System Programming University of Kassel Kassel Germany

In this paper, a concept for a SIL3 middleware implementing safety-related aspects is proposed. The middleware is intended to be used by applications that are written for a recently developed safety system-on-chip. Each module implements a low-level driver. Each driver represents a specific functionality of the system-on-chip. Once being certified conforming to IEC 61508, the middleware would enable writing safety-related applications aimed at SIL3 almost as straightforward as non-safety-related applications. A multi-core SIL3 architecture for safety-related applications is explained. In addition, possible issues that can arise during the software development are identified. Furthermore, conformance arguments on meeting SIL3 are depicted.

关键词： Middleware system-on-chip Safety IEC standards Certification computer languages

来源：评论

学校读者我要写书评

暂无评论

A Tool for Reliable Model-based Design For programming Logic Controllers

引用

IFAC Proceedings Volumes 2013年第25期46卷 71-76页

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an FPGA-based 1oo4-architecture for safety-related system-on-chips

Design and implementation of an FPGA-based 1oo4-architecture...

引用

International Conference on Microelectronics, ICM

作者： Ali Hayek Moneer Al-Bokhaiti Josef Börcsök Chair for Computer Architecture and System Programming University of Kassel Kassel Germany

FPGAs introduce a very attractive platform for the designing process of complex embedded systems. The complexity of these systems should be controlled to fulfill high demands and requirements, especially in safety-related applications, where aspects like reliability, availability and safety are of the utmost significance. In this context, the present paper intends the design and implementation of a novel on-chip quadruple redundant safety-related system architecture (1oo4-architecture - one out of four) as a fault tolerant technique to increase the level of safety integrity, reliability and availability of electronic embedded systems. For this aim the 1oo4-architecture and their related safety characteristics are briefly demonstrated. The FPGA-based embedded system model of this novel architecture is developed and explained. The main part of this paper focuses on the safety-related implementation on FPGA. Finally, an evaluation of the implemented architecture concludes this paper.

关键词： Reduced instruction set computing Monitoring Field programmable gate arrays Process control Chirp Table lookup

来源：评论

学校读者我要写书评

暂无评论

Modeling a safety-related system for continuous non-invasive blood pressure monitoring

Modeling a safety-related system for continuous non-invasive...

引用

IEEE Biomedical Circuits and systems (BIOCAS)

作者： Huiyun Sheng Michael Schwarz Josef Börcsök Department of Computer architecture and System Programming University of Kassel Kassel Germany

In recent years, Pulse Transit Time (PTT) - based non-invasive continuous blood pressure monitoring systems have been investigated extensively. But the most relevant studies did not pay attention to the safety requirement of the system. In this paper a method is proposed to model the safety-related system for continuous noninvasive blood pressure monitoring. The V model, 1oo2 system and safe Bluetooth communication are used to enhance the safety of the system.

关键词： Biomedical monitoring Blood pressure Monitoring Safety Pressure measurement Wireless communication Medical services

来源：评论

学校读者我要写书评

暂无评论

A survey on OPC and OPC-UA: About the standard, developments and investigations

A survey on OPC and OPC-UA: About the standard, developments...

引用

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

作者： M. H. Schwarz J. Börcsök Safety Computer Technology University of Kassel Kassel Germany Computer Architecture und System Programming University of Kassel Kassel Germany

In 1996, a new standard was announced that should serve as a software interface to exchange process data and to solve the problem to exchange process data using different industrial protocols and communication systems. A successful story started since then with few additional standards like the Alarm and Event standard using the OPC approach and some revisions and new editions. Ten years later a new approach was created that unified all existing standards and was also concerned with e.g. interoperability, security and web-based systems. This paper details the different OPC standards, tries to answer the question why this standard is important for industries and academia and where current research and development utilising those standards.

关键词： Standards Servers Security Industries XML computer architecture Automation

来源：评论

学校读者我要写书评

暂无评论

Tool to Derive and Calculate Safety Parameter

Tool to Derive and Calculate Safety Parameter

引用

International Conference on Information, Communication and Automation Technologies

作者： O. Krini J. Borcsok Computer Architecture and System Programming University of Kassel

ISBN: (纸本)9781479904297

The objective is the new development of a Software-Tool, known as FRCas, to calculate the failure rates from various components. This Software-Tool should offer the User the opportunity to determine the failure rate for various components on the basis of various Standards of Siemens SN 29500, Military Handbok MIL-HNDB, SINTEF, and CENELEC. The user should be able to obtain results with this Tool without previous knowledge of the details of standard. A further objective is the integration of Program Package "OrCAD" into the developed Software-Tool, therefore to determine the failure rates of individual components that are in the OrCAD developed electronic circuits.

关键词： Safety Reliability Probability Failure rate Standard

来源：评论

学校读者我要写书评

暂无评论

Optimization of Diagnostics with Respect to the Diagnostic Coverage and the Cost Function

Optimization of Diagnostics with Respect to the Diagnostic C...

引用

International Conference on Information, Communication and Automation Technologies

作者： H. D. Wacker P. Holub J. Borcsok Computer Architecture and System Programming University of Kassel

ISBN: (纸本)9781479904297

In this paper the authors study a Safety Instrumented system (SIS) subjected to periodically performed diagnostic measures or tests. They focus their interest onto partial tests similar to partial stroke tests, which are well known from testing valves. They then introduce diagnostic parameters in order to quantify manual, automatic and semi-automatic testing mathematically, and they distinguish between two different diagnostic modes: The semi-automatic component-based mode and the semi-automatic-time-based mode. In Chapter V, they investigate the semi-automatic mode by means of two functions depending on their diagnostic parameters: The diagnostic coverage factor and the cost function. They then pose two optimization problems in form of two linear programs. The first one minimizes the cost function under constraints on the diagnostic coverage, and the second one maximizes the diagnostic coverage under constraints on the cost function. The paper closes with the examples of a 1oo1-system and a 2oo2-system.

关键词： Diagnostics Proof test Partial stroke test Failure rate Diagnostic coverage factor Mean time to failure Probability of failure on demand Automatic diagnostics Manual diagnostics Semi automatic diagnostic Linear programming Optimization under constraints Cost function Cost factor 1oo1-system

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：