Goal structured notation safety argument

Conducting a Goal Structuring Notation safety argument ... 

In this section we introduce FLES that we use to illustrate our approach. We also provide some brief information on safety contracts based on our previous work and Goal Structuring Notation, the argumentation notation we use for... 

Kelly T, Weaver R (2004) The goal structuring notation - a safety argument notation. Proceedings of the Dependable Systems and Networks Workshop on Assurance Cases MoD (2007) Defence Standard 00-56 Issue 4 safety management requirements for defence systems. HMSO... 

Keywords Tool qualification processes, safety cases, process-based arguments, safety standards, DO-178C, ISO 26262, lEC 61508, Software Process Engineering Meta-model (SPEM) 2.0, Goal Structuring Notation (GSN). 

Keywords Assurance argument, safety case, safety argument, goal structuring notation, context, confidence, assured safety argument. 

The goal structuring notation (GSN) - a graphical argumentation notation - explicitly represents the Individual elements of any safety argument (requirements, claims, evidence and context) and (perhaps more significantly) the relationships that exist between these elements (i.e. how Individual requirements are supported by specific claims, how claims are supported by evidence and the assumed context that is defined for the argument). 

Kelly, T and Weaver R, The Goal Structuring Notation -A Safety Argument Notation, http //www-users.cs.york.ac.uk/ rob/papers/DSN04.pdf Department of Computer Science and Department of Management Studies, University of York, York, YOlO 5DD UK, tim.kelly cs.york.ac.uk, rw24 york.ac.uk... 

Appendix A supports Chapter 6 by summarising the advantages and limitations of some of the models used for causal or consequence analyses. Appendix B supports Chapters 4, 5, 8 and 9 by summarising useful safety criteria that can be used in safety assessments. Appendix C provides a brief introduction to goal structured notation, which is useful for defining safety arguments as referenced in Chapters 8 and 9. 

---