Goal structuring notation
Goal structuring notation is a graphical argument used to document and present proof that safety goals have been achieved in a clearer format than plain text. The notation is a diagram that builds its safety case through logic-based maps. Originally developed at the University of York during the 1990s, it gained popularity in 2012 and has been used to track safety assurances in industries such as traffic management and nuclear power. By 2014, it had become the standard format for graphic documentation of safety cases and was being used in other contexts such as patent claims, debate strategy, and legal arguments.
