Model-Based Safety-Cases for Software-Intensive Systems

Electronic Notes in Theoretical Computer Science

Volumn 238, Issue 4, 2009, Pages 71-77

  Braun, Peter ^a   Philipps, Jan ^a   Schätz, Bernhard ^b   Wagner, Stefan ^b  

^a Validas AG   (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

defect hypothesis; failure characterisation; model based; Safety case; structured argument

Indexed keywords

DEFECTS;

FAILURE CHARACTERISATION; MODEL-BASED OPC; POSITION PAPERS; RESEARCH ISSUES; SAFETY CASE; SOFTWARE CERTIFICATION; SOFTWARE INTENSIVE SYSTEMS; STRUCTURED ARGUMENT;

SAFETY ENGINEERING;

EID: 70349127684     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.09.007     Document Type: Article

References (9)

1. M. Bozzano et. al. ESACS: an integrated methodology for design and safety analysis of complex systems. In Proc. ESREL 2003, pages 237-245, 2003
2. O. Akerlund et. al. ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In Proc. ERTS 2006, 2006
3. Giese H., Tichy M., and Schilling D. Compositional Hazard Analysis of UML Components and Deployment Models. Proc. 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP). LNCS vol. 3219 (2004), Springer Verlag
4. Michael J. Software Requirements and Specifications (1996), Addison-Wesley and ACM Press
5. Anjali Joshi, Steven P. Miller, Michael Whalen, and Mats P.E. Heimdahl. A proposal for model-based safety analysis. In Proc. 24th Digital Avionics Systems Conference, Oct 2005
6. Tim Kelly and Rob Weaver. The goal structuring notation - a safety argument notation. In Proc. DSN 2004 Workshop on Assurance Cases, 2004
7. Leveson N.G., Cha S.S., and Shimeall T.J. Safety verification of ada programs using software fault trees. IEEE Softw. 8 4 (1991) 48-59
8. Parnas D., and Madey J. Functional Documents for Computer Systems. Science of Computer Programming 1 25 (October 1995) 41-61
9. David John Pumfrey. The Principled Design of Computer System Safety Analyses. PhD thesis, Department of Computer Science, University of York, 1999