There is an increasing interest in acquiring commercial-off-the-shelf (COTS) functionality for safety-critical applications. However, the selection of COTS products for such applications is still carried out in an ad hoc manner. This creates great difficulties for realistic cost and effort estimation, integration of the selected COTS product, and the certification of final COTS-based safetycrit...

This paper describes a model-based development process for safety-critical embedded real-time systems that are based on the DECOS integrated architecture. The DECOS architecture guides system engineers in the development of complex embedded real-time systems by providing a framework for integrating multiple application systems within a single distributed computer system. This integration is sup...

This paper presents an approach to the development of safety-critical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) speciication language developed at Siemens Corporate Research. A system is deened by a conventional mathematical model for a dynamic system where application speciic states denote funct...

Safety Critical Systems are those systems that can potentially lead to loss of life, injury, and environmental damage. Therefore such systems have to be designed and built to meet a variety of functional and non-functional requirements, including safety, reliability, availability, and maintainability. It is essential to assess, as an independent activity, the extent to which these requirements ...

This paper suggests a new model for reliability demonstration of safety-critical systems, based on the TRW Software Reliability Theory. The paper describes the model; the test equipment required and test strategies based on the various constraints occurring during software development. The paper also compares a new testing method, Single Risk Sequential Testing (SRST), with the standard Probabi...

The behavior of matter at the molecular level can be programmed to create nanoscale molecular components that accomplish desired tasks. Many molecular components are developed with intended uses that are safety-critical, such as medical applications. Ensuring the correctness and fault tolerance of such devices is paramount. Techniques to develop robustly correct programs have been widely studie...

ion is one of the fundamental ways that complexity is addressed in software development. “An abstraction denotes the essential characteristics of an object that distinguish it from all other kinds of objects and thus provide crisply defined conceptual boundaries, relative to the perspective of the viewer" [22]. Encapsulation is the process of hiding the design details in the object implementati...

The protection of safety-critical and infrastructure systems (such as automation systems for utilities, but also for manufacturing plants) against electronic and communication network based attacks becomes more and more important. This paper investigates how such safety-critical plants and automation systems can be secured against information system and network based attacks. The two common app...

Modern society depends on a range of systems that need to guarantee the safety of their users and the environment. Therefore it is crucial which operating system is used for such safety-critical systems. This thesis examines the potential use of the operating system kernel Linux, and the GNU/Linux operating system for safety-critical systems. To gain confidence that GNU/Linux can be used as a p...

StringBuilder 447 / 237 2 / 6 52 (50) / 29 (26) 2 / 2 StringBuilder 189 / 119 1 / 1 38 (35) / 19 (18) 4 / 4 DataInputStream 212 / 108 4 / 5 18 (18) / 17 (17) 1 / 1 DataInputStream$ReadUtfHelper – / 77 – / 2 – / 1 – / 1 DataInputStream$1 – / 6 – / 0 – / 1 – / 0 Vector 322 / 228 4 / 7 48 (45) / 36 (35) 4 / 2 Vector$1 14 / 14 1 / 1 2 / 2 0 / 0 Vector$Itr 33 / 33 3 / 3 4 / 4 0 / 0 Vector$ListItr 43...