Title :
Linking Traceability with GSN
Author :
Taguchi, Katsuhisa ; Daisuke, Souma ; Nishihara, Hideaki ; Takai, Toshiaki
Abstract :
Regulations/standards for safety critical systems mandate the submission of safety cases. Even though safety cases are the basic framework for assuring the safety of systems, how they fit into other methods/techniques which ensure the quality of the system is not certain. Ensuring traceability is of particular importance, since traceability can help analyze relationships between artifacts (evidence in safety cases) in meaningful ways. However, it is not well understood how traceability and safety cases are related and how they can benefit each other. To remedy this situation, we present a meta-model which describes the relationship between the two and present a case study taken from IEC 62278/EN 50126 from railway systems to show how traceability and safety cases benefit each other in this paper.
Keywords :
IEC standards; railway engineering; railway safety; safety-critical software; GSN; IEC 62278/EN 50126; goal structuring notation; metamodel; railway system; safety cases; safety critical systems; system quality; traceability; Context; IEC standards; Rail transportation; Random access memory; Safety; Unified modeling language;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on
Conference_Location :
Naples
DOI :
10.1109/ISSREW.2014.79