Collection Title: | SIU IS | Title : | On The Evolution of Goal Structure Notation | Material Type: | printed text | Authors: | Asif Ali Pathan, Author ; Paul Andrew James Mason, Associated Name ; Aekavute Sujarae, Associated Name | Publisher: | Bangkok: Shinawatra University | Publication Date: | 2016 | Pagination: | 293 p. | Layout: | ill | Size: | 30 cm. | Price: | 500.00 | General note: | SIU IS: SOIT-MSIT-2016-01
Independent Study. [M.S.[Information Technology]]--Shinawatra University, 2016 | Languages : | English (eng) | Descriptors: | [LCSH]Engineering -- Management [LCSH]Technology & Engineering
| Keywords: | Safety Critical Systems,
Safety Cases,
Goal Structuring Notation | Abstract: | A safety-critical system is one whose failure can result in significant damage or loss to people, property or the environment. Safety critical systems usually require certification before being permitted to enter service. Central to the certification process is compilation and approval by an appropriate regulator of a safety case. A safety case should present a clear, comprehensive and defensible argument that a system is acceptably safe to operate within a particular context
This report considers means of representing safety cases. After briefly introducing traditional representation formats (including free text, tables, and matrices) and their inherent problems we focus on the development and evolution of Goal Structuring Notation (GSN). GSN enables graphical representation of safety arguments, providing greater scrutability of argument structures, improved maintainability and reuse of existing arguments and better management of safety cases for complex systems.
We chart the history of GSN, from its beginnings in academia to widespread usage throughout many safety-critical industries, from nuclear and maritime, to the railways, defense and aerospace, where it is now the de facto standard. En route we introduce elements of the original ‘vanilla’ Goal Structuring Notation, outline its transition from a basic notation to a comprehensive method, we describe the concept of safety case patterns which foster reuse both within and across domains and extensions to enable modular representation of safety arguments such that the architecture of an argument reflects that of the target system. Extensions to GSN to represent dependability cases are also discussed where naturally conflicting attributes such as maintainability and reliability often require the making and recording of trade-offs and compromise.
The report rounds off by addressing recent developments in Goal Structure Notion, notably introduction of the OMG-GSN-Meta-model that facilitates interoperability of safety arguments between tools, as well as moves to formalize the notation so that its semantics are clearly understood. An alternative approach to handling complexity in the form of hierarchical safety cases is documented, before we briefly emphasize the versatility of GSN describing its application to subject areas as diverse as business management, drama, archaeology and astrobiology. | Curricular : | BSCS/GE/MSIT | Record link: | http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=26494 |
SIU IS. On The Evolution of Goal Structure Notation [printed text] / Asif Ali Pathan, Author ; Paul Andrew James Mason, Associated Name ; Aekavute Sujarae, Associated Name . - [S.l.] : Bangkok: Shinawatra University, 2016 . - 293 p. : ill ; 30 cm. 500.00 SIU IS: SOIT-MSIT-2016-01
Independent Study. [M.S.[Information Technology]]--Shinawatra University, 2016 Languages : English ( eng) Descriptors: | [LCSH]Engineering -- Management [LCSH]Technology & Engineering
| Keywords: | Safety Critical Systems,
Safety Cases,
Goal Structuring Notation | Abstract: | A safety-critical system is one whose failure can result in significant damage or loss to people, property or the environment. Safety critical systems usually require certification before being permitted to enter service. Central to the certification process is compilation and approval by an appropriate regulator of a safety case. A safety case should present a clear, comprehensive and defensible argument that a system is acceptably safe to operate within a particular context
This report considers means of representing safety cases. After briefly introducing traditional representation formats (including free text, tables, and matrices) and their inherent problems we focus on the development and evolution of Goal Structuring Notation (GSN). GSN enables graphical representation of safety arguments, providing greater scrutability of argument structures, improved maintainability and reuse of existing arguments and better management of safety cases for complex systems.
We chart the history of GSN, from its beginnings in academia to widespread usage throughout many safety-critical industries, from nuclear and maritime, to the railways, defense and aerospace, where it is now the de facto standard. En route we introduce elements of the original ‘vanilla’ Goal Structuring Notation, outline its transition from a basic notation to a comprehensive method, we describe the concept of safety case patterns which foster reuse both within and across domains and extensions to enable modular representation of safety arguments such that the architecture of an argument reflects that of the target system. Extensions to GSN to represent dependability cases are also discussed where naturally conflicting attributes such as maintainability and reliability often require the making and recording of trade-offs and compromise.
The report rounds off by addressing recent developments in Goal Structure Notion, notably introduction of the OMG-GSN-Meta-model that facilitates interoperability of safety arguments between tools, as well as moves to formalize the notation so that its semantics are clearly understood. An alternative approach to handling complexity in the form of hierarchical safety cases is documented, before we briefly emphasize the versatility of GSN describing its application to subject areas as diverse as business management, drama, archaeology and astrobiology. | Curricular : | BSCS/GE/MSIT | Record link: | http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=26494 |
|