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 language | English |
---|---|
Title of host publication | Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy |
Editors | S. Hammoudi, LF. Pires, B. Selic, P. Desfray |
Pages | 509-516 |
DOIs | |
Publication status | Published - 2016 |
Event | 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016) - Rome, Italy Duration: 19 Feb 2016 → 21 Feb 2016 http://www.modelsward.org/?y=2016 |
Conference
Conference | 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016) |
---|---|
Abbreviated title | MODELSWARD 2016 |
Country/Territory | Italy |
City | Rome |
Period | 19/02/16 → 21/02/16 |
Internet address |