Title: Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective

Author(s): Peter Bishop, Robin Bloomfield

Publication Event: Proceedings of the Eighteenth Safety-critical Systems Symposium, Bristol, UK

Publication Date: 2009-12-15

Resource URL: https://scsc.uk/r658.pdf

Abstract:

This paper focuses on the approaches used in safety cases for software based systems. We outline the history of approaches for assuring the safety of software-based systems, the current uptake of safety and assurance cases and the current practice on structured safety cases. Directions for further development are discussed.