Goal Structuring Notation

Safety assessment strategy (with Goal Structuring Notation)... 

Conducting a Goal Structuring Notation safety argument ... 

Note that some people prefer using Goal Structuring Notation (GSN) for FHA, but the author prefers to reserve GSN for high-level arguments only, and to retain old faithful tools such as the FHA as a discreet deliverable set of evidence. 

A significant amount of effort has been put in the development of a graphical tool called Goal Structuring Notation (GSN). The Computer sciences department at York University have been developing this graphical tool to support safety cases in the aerospace and railway industry as it is presented in [Weaver, 2002] and [Weaver, Despotou, et. al, 2005]. Whilst there are many benefits, the tool does not provide a quantitative assessment as to how much processes influence one another. 

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

SPEM 2.0, the process modeling language used to model the tool qualification process line. In Section 2.3, we briefly present Goal Structuring Notation (GSN), the graphical notation used to argue about process compliance. 

Spriggs, J. GSN - The Goal Structuring Notation (A Structured Approach to Presenting Arguments). Springer (2012)... 

A more detailed outline of the logical argument of this book is provided within introduction for each of chapters 3, 4, 6 and 7 using Goal Structuring Notation. 

Goal Structuring Notation (GSN) as a presentation of the net model lends itself very well to this task. Each of the main elements of the safety... 

The Goal Structuring Notation (GSN) by Kelly [1] is a widely accepted concept for concise, graphical presentation of safety cases (see Fig. 1). In principal, a... 

Our paper is organized as follows. The goal structuring notation is introduced in Sect. 2.1. In Sect. 2.2, we give a brief overview of ISO 26262. Our method is presented in Sect. 3. This section also describes our UML profile, which is used to express the functional safety concept. Based on this profile, we define the validation conditions. The tool support is outlined in Sect. 4. We introduce the illustrative example of an electronic steering column lock system as case study in Sect. 5. Section 6 presents related work, while Sect. 7 concludes the paper and gives directions for future work. 

Goal Structuring Notation Working Group. GSN community standard version 1... 

---