Hierarchical Safety Cases
- Author:
- Whiteside, Iain J.
- Published:
- December 2012.
- Physical Description:
- 1 electronic document
- Additional Creators:
- Denney, Ewen W.
- Access Online:
- hdl.handle.net
- Restrictions on Access:
- Unclassified, Unlimited, Publicly available.
- Summary:
- We introduce hierarchical safety cases (or hicases) as a technique to overcome some of the difficulties that arise creating and maintaining industrial-size safety cases. Our approach extends the existing Goal Structuring Notation with abstraction structures, which allow the safety case to be viewed at different levels of detail. We motivate hicases and give a mathematical account of them as well as an intuition, relating them to other related concepts. We give a second definition which corresponds closely to our implementation of hicases in the AdvoCATE Assurance Case Editor and prove the correspondence between the two. Finally, we suggest areas of future enhancement, both theoretically and practically.
- Collection:
- NASA Technical Reports Server (NTRS) Collection.
- Note:
- Document ID: 20130001737.
ARC-E-DAA-TN7762.
NASA/TM-2012-216481.
ARC-E-DAA-TN6981. - Terms of Use and Reproduction:
- Copyright, Distribution under U.S. Government purpose rights.
- Access Online:
- hdl.handle.net
View MARC record | catkey: 15976084