Jump to content

Goal structuring notation

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by RoySmith (talk | contribs) at 14:30, 28 May 2018 (Declining submission: nn - Submission is about a topic not yet shown to meet general notability guidelines (be more specific if possible) (AFCH 0.9)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
  • Comment: The only source here is the club's own website. This seems like a highly specific topic that's unlikely to meet our notability guidelines. -- RoySmith (talk) 14:30, 28 May 2018 (UTC)

Goal Structuring Notation is a graphical argument notation maintained by the the Safety-Critical Systems Club[1]. It is used for documentation and presentation of arguments, in order to prove that a goal has been achieved and is supported by evidence. The notation can be used to demonstrate that a system is sufficiently safe through developing a safety case.

References