A Categorization of GSN-based Safety Cases and Patterns

Yaping Luo, Zhuoao Li, Mark van den Brand

2016

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 categorization 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.

Paper Citation

in Harvard Style

Luo Y., Li Z. and van den Brand M. (2016). A Categorization of GSN-based Safety Cases and Patterns . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 509-516. DOI: 10.5220/0005734305090516

in Bibtex Style

@conference{modelsward16,
author={Yaping Luo and Zhuoao Li and Mark van den Brand},
title={A Categorization of GSN-based Safety Cases and Patterns},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={509-516},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005734305090516},
isbn={978-989-758-168-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Categorization of GSN-based Safety Cases and Patterns
SN - 978-989-758-168-7
AU - Luo Y.
AU - Li Z.
AU - van den Brand M.
PY - 2016
SP - 509
EP - 516
DO - 10.5220/0005734305090516