Skip to main content

A Comprehensive Safety Lifecycle

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security (SAFECOMP 2014)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9338))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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)

    Google Scholar 

  2. Graydon, G., Knight, J.: Process synthesis in assurance based development of dependable systems. In: 8th European Dependable Computing Conference, Valencia, Spain (2009)

    Google Scholar 

  3. Steele, P., Knight, J.: Analysis of critical system certification. In: 15th IEEE International Symposium on High Assurance Systems Engineering Miami FL (2014)

    Google Scholar 

  4. Graydon, P., Knight, J., Green, M.: Certification and safety cases. In: International System Safety Conference, Minneapolis, MN (2010)

    Google Scholar 

Download references

Acknowledgments

This work was supported in part by NASA Contract NNL13AA08C.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to John Knight .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics