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

East-West Design & Test Symposium (EWDTS)

作者： Oksana Pomorova Tetyana Hovorushchenko Faculty of Computer System and Programming Khmelnitsky National University Ukraine

ISBN: (纸本)9781479920976

Need and concept of software quality evaluation using artificial neural network (ANN) is described in the article. Architecture and structure of an artificial neural network of quality evaluation have been developed. The process of ANN training and testing was investigated. Research of ANN functioning results was conducted. ANN on the basis of design stage metrics analysis allows to make a comparative analysis of different projects and choose the best one of the characteristics of complexity and quality.

关键词： Artificial neural networks Measurement Software quality Training Complexity theory Software design

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Advanced tool for predictive diagnosis and maintenance using case-based reasoning and fuzzy logic

Advanced tool for predictive diagnosis and maintenance using...

引用

25th European Modeling and Simulation Symposium, EMSS 2013

作者： Christova, Nikolinka Atanassov, Atanas Dept. of Automation of Industry University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria Dept. of Programming and Computer System Application University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria

ISBN: (纸本)9788897999225

The application of computational intelligence in condition-based maintenance and diagnosis plays a leading role in the technology development of intelligent manufacturing systems. Case-Based Reasoning (CBR) is mostly used in designing the real time application having the decision support capability. In this study implementation of fuzzy logic in the CBR systems that deriving effective knowledge representation schemes has been described. The benefits of the approach have been presented. The applications of the developed advanced tool based on fuzzy logic and CBR for solving the real problems of predictive diagnosis and maintenance in industrial systems have been discussed. © 2013 DIME UNIVERSITÀ DI GENOVA.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

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

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems

S3A: Secure system simplex architecture for enhanced securit...

引用

2013 2nd ACM International Conference on High Confidence Networked systems, HiCoNS 2013, as Part of CPSWeek 2013

作者： Mohan, Sibin Bak, Stanley Betti, Emiliano Yun, Heechul Sha, Lui Caccamo, Marco Information Trust Institute University of Illinois Urbana IL 61802 United States Dept. of Computer Science University of Illinois Urbana IL 61802 United States System Programming Research Group University of Rome Tor Vergata Rome Italy

ISBN: (纸本)9781450319614

The recently discovered '***' worm has drastically changed the perception that systems managing critical infrastructure are invulnerable to software security attacks. Here we present an architecture that enhances the security of safety-critical cyber-physical systems despite the presence of such malware. Our architecture uses the property that control systems have deterministic real-time) execution behavior to detect an intrusion within 0.6 μs while still guaranteeing the safety of the plant. We also show that even if an attacker is successful (or gains access to the operating system's administrative privileges), the overall state of the physical system still remains safe. © 2013 ACM.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：