Hierarchical Safety Cases

  • Ewen Denney
  • Ganesh Pai
  • Iain Whiteside
Conference paper

DOI: 10.1007/978-3-642-38088-4_37

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7871)
Cite this paper as:
Denney E., Pai G., Whiteside I. (2013) Hierarchical Safety Cases. In: Brat G., Rungta N., Venet A. (eds) NASA Formal Methods. NFM 2013. Lecture Notes in Computer Science, vol 7871. Springer, Berlin, Heidelberg

Abstract

The development of a safety case has become common practice for the certification of systems in many safety-critical domains, but large safety cases still remain difficult to develop, evaluate and maintain. We propose hierarchical safety cases (hicases) as a technique to overcome some of the difficulties that arise in manipulating industrial-size safety arguments. This paper introduces and motivates hicases, lays their formal foundations and relates them to other safety case concepts. Our approach extends the existing Goal Structuring Notation (GSN) with abstraction mechanisms that allow viewing the safety case at different levels of detail.

Keywords

Abstraction Automation Formal methods Hierarchy Safety assurance Safety cases 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Ewen Denney
    • 1
  • Ganesh Pai
    • 1
  • Iain Whiteside
    • 2
  1. 1.SGT / NASA Ames Research CenterMoffett FieldUSA
  2. 2.School of InformaticsUniversity of EdinburghEdinburghScotland

Personalised recommendations