Knowledge management in the design of safetycritical systems addresses the question of how designers can share, capitalize, and reuse knowledge in an effective and reliable way. Knowledge management is situated in groups, organizations, and communities, playing different roles in the design process. Design of safety-critical systems has specific properties, such as dealing with complexity, trac...

The importance analysis provides a means of analyzing the contribution of potential low-level system failures to identify and assess vulnerabilities of safety-critical systems. Common approaches attempt to enhance the system safety by addressing vulnerabilities using an iterative analysis process, while considering relevant constraints, e.g., cost, for optimizing the improvements. Typically, da...

Areas of computer applications are far wider than what people normally imagine. Besides the visible applications like word processing and the Internet access using your desktop computer, computer applications cover a vast spectrum of areas, from nuclear reactor and aircraft control systems, to vehicle antilock brake systems (ABS) and electronic toys like play stations. Some of these application...

Safety-critical systems have to be developed carefully to prevent loss of life and resources due to system failures. Some of their mechanisms (for example, providing fault-tolerance) can be complicated to design and use correctly in the system context and are thus error-prone. We show how one can use UML for model-based development of safetycritical systems with the aim to increase the quality ...

This paper investigates how formal techniques can be used for the analysis and veriication of hybrid systems 1,5,7,16] | systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation protocols used for distributed systems i...

Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...

Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly a ects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing con dence in such systems. This paper examines the industrial use of these techniques, the recommendations con...

It is natural to rely on experiences from the aviation industry when developing safety-critical systems for automotive applications. In the aviation industry for several decades programmable systems have been used for flight control, aircraft engine control, landing gear control etc.. The safety and reliability requirements of these systems are comparable with steer-by-wire or brake-by-wire sys...

Recent studies show the designs of automated systems are becoming increasingly complex to meet the global competitive market. Additionally, organizations have focused on policies to achieve people’s safety and health, environmental management system, and controlling of risks, based on standards. In this context, any industrial system in the event of a fault that is not diagnosed and treated cor...