Abstract
CLASS is a novel approach to the safety engineering and management of safety-critical systems in which the system safety case becomes the focus of safety engineering throughout the system lifecycle. CLASS expands the role of the safety case across all phases of the system’s lifetime, from concept formation and problem definition to decommissioning. Having the system safety case as the focus of safety engineering and management only has value if the safety case is properly engineered and appropriately consistent with the system. To achieve these properties, CLASS requires that a system and its safety case be regarded as a single composite entity, always linked and always correctly representing one another. CLASS introduces new techniques for the creation, approval and maintenance of safety cases, a rigorous analysis mechanism that allows determination of properties that relate to defect detection in subject systems, and a set of software support tools.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Graydon, P., Knight, J., Strunk, E.: Assurance based development of critical systems. In: 37th IEEE International Symposium on Dependable Systems and Networks, Edinburgh, Scotland (2007)
Graydon, G., Knight, J.: Process synthesis in assurance based development of dependable systems. In: 8th European Dependable Computing Conference, Valencia, Spain (2009)
Steele, P., Knight, J.: Analysis of critical system certification. In: 15th IEEE International Symposium on High Assurance Systems Engineering Miami FL (2014)
Graydon, P., Knight, J., Green, M.: Certification and safety cases. In: International System Safety Conference, Minneapolis, MN (2010)
Acknowledgments
This work was supported in part by NASA Contract NNL13AA08C.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Knight, J., Rowanhill, J., Anthony Aiello, M., Wasson, K. (2015). A Comprehensive Safety Lifecycle. In: Koornneef, F., van Gulijk, C. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science(), vol 9338. Springer, Cham. https://doi.org/10.1007/978-3-319-24249-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-24249-1_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24248-4
Online ISBN: 978-3-319-24249-1
eBook Packages: Computer ScienceComputer Science (R0)