Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be tested extensively against their safety requirements to ensure a high level of system safety. However, performing testing exhaustively to test all software behavi...

This paper discusses the testing of a safety-critical medical device in an industrial environment. The authors have worked on the development and testing of a cardiac rhythm management system at Guidant Corporation, which is involved in the development of a family of related medical devices. The testing process of these systems is expensive because of the stringent safety and reliability requir...

Manufacturers of safety-critical systems must make the case that their product is sufficiently safe for public deployment. Much of this case often relies upon critical event outcomes from real-world testing, requiring manufacturers to be strategic about how they allocate testing resources in order to maximize their chances of demonstrating system safety. This work frames the partially observabl...

Whereas the verification of non-safety-related, embedded software typically focuses on demonstrating that the implementation fulfills its functional requirements, this is not sufficient for safety-relevant systems. In this case, the control software must also meet application-specific safety requirements. Safety requirements typically arise from the application of hazard and/or safety analysis ...