A categorization of GSN-based safety cases and patterns

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
3 Downloads (Pure)

Abstract

Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation is one of these modeling techniques, which can be used to facilitate the development of safety argumentation and create reusable safety argumentation models. Consequently, GSN-based safety cases are widely used to demonstrate the safety of systems in safety-critical domains. Due to the amount of manual work, constructing a safety case is usually time-consuming. Moreover, the re-usability of GSN-based safety cases is limited. To address this, safety case patterns are introduced to support safety case reuse. As more and more GSN-based safety cases and patterns are designed with different goals in different contexts, it becomes hard to identify a reusable safety case or pattern. In this paper, we carried out a study on the categorization of existing GSN-based safety cases and patterns. As a result, a number of high cited publications are selected and studied. Finally a categorizatio n of GSN-based safety cases is proposed. A clear categorization of GSN-based safety cases can be used to identify similar safety cases or patterns and facilitate safety case reuse.
Original languageEnglish
Title of host publicationProceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy
EditorsS. Hammoudi, LF. Pires, B. Selic, P. Desfray
Pages509-516
DOIs
Publication statusPublished - 2016
Event4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016) - Rome, Italy
Duration: 19 Feb 201621 Feb 2016
http://www.modelsward.org/?y=2016

Conference

Conference4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016)
Abbreviated titleMODELSWARD 2016
CountryItaly
CityRome
Period19/02/1621/02/16
Internet address

Fingerprint Dive into the research topics of 'A categorization of GSN-based safety cases and patterns'. Together they form a unique fingerprint.

Cite this