Content deleted Content added
Citation bot (talk | contribs) Alter: title, template type, pages. Add: chapter-url, isbn, pages, volume, chapter. Removed or converted URL. Formatted dashes. Removed Template redirect. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine |
Correct historical detail in summary and improve use of references. |
||
Line 1:
'''Goal structuring notation''' (GSN) is a graphical diagram notation used to show the elements of an [[argument]] and the relationships between those elements in a clearer format than plain text.<ref name="gsn3" /> Often used in [[safety engineering]], GSN was developed at the University of York during the 1990s to present [[safety case|safety cases]].<ref name="Kelly1998" /> The notation gained popularity as a method of presenting safety assurances but can be applied to any type of argument and was standardized in 2011.<ref name="gsn3" />
== Criticism ==
Line 7 ⟶ 8:
The goal structuring notation was first developed at the [[University of York]] during the ASAM-II (A Safety Argument Manager II) project in the early 1990s, to overcome perceived issues in expressing safety arguments using the [[Toulmin method]]. The notation was further developed and expanded by Tim Kelly, whose PhD thesis contributed systematic methods for constructing and maintaining GSN diagrams, and the concept of ′safety case patterns′ to promote re-use of argument fragments.<ref name=Kelly1998>{{cite thesis |last=Kelly |first=Timothy Patrick |date=September 1998 |degree=PhD |publisher=University of York |url=https://www-users.cs.york.ac.uk/tpk/tpkthesis.pdf |title=Arguing Safety – A Systematic Approach to Managing Safety Cases}}</ref> During the late 1990s and early 2000s, the GSN methodology was taught on the Safety Critical Systems Engineering course at York, and various extensions to the GSN methodology were proposed by Kelly and other members of the university's High Integrity Systems Engineering group.<ref>{{cite journal |last1=Hawkins |first1=R.D. |last2=Kelly |first2=T.P. |title=A Systematic Approach for Developing Software Safety Arguments |date=July 2010 |journal=Journal of System Safety |volume=46 |issue=4 |pages=25–33 |issn=0743-8826}}</ref>
By 2007, goal structuring notation was sufficiently popular that a group of industry and academic users came together to standardise the notation and its surrounding methodology, resulting in publication of the GSN Community Standard in 2011. From 2014, maintenance of the GSN standard moved under the auspices of the [[Safety-Critical Systems Club|SCSC's]] Assurance Case Working Group.<ref name=gsn2>{{cite book |author=The Assurance Case Working Group |date=Jan 2018 |url=https://scsc.uk/r141B:1 |title=Goal Structuring Notation Community Standard Version 2}}</ref> As at 2022, the standard has reached Version 3.<ref name="gsn3">{{cite book |author=The Assurance Case Working Group |date=May 2021 |url=https://scsc.uk/r141C:1 |title=Goal Structuring Notation Community Standard Version 3 |isbn=979-8451294949}}</ref>
== See also ==
|