Safety Cases for PES
Safety cases are an important part of goal based safety regulation and corporate governance. We define a safety case as
"A documented body of evidence that provides a convincing and valid argument that a system is adequately safe for a given application in a given environment"In these pages we provide some background to the use of safety cases, outline a generic approach to safety cases and discuss notations and tools. The approach described has been applied by ourselves and others to a wide variety of systems, some containing PES others not. An introduction is provided for readers not familiar with the problems that software can bring to assurance and the issues of using SOUP/COTS are also discussed.
Robin Bloomfield (reb(at)adelard.com) and colleagues, August 2002.