RT Conference Proceedings
T1 Assessment of the Quality of Safety Cases: A Research Preview
A1 Vara González, José Luis de la
A1 Jimenez, Gabriel
A1 Mendieta Zuniga, Roy Arturo
A1 Parra Corredor, Eugenio
AB [Context and motivation] Safety-critical systems in application domains such as aerospace, automotive, healthcare, and railway are subject to assurance processes to provide confidence that the systems do not pose undue risks to people, property, or the environment. The development of safety cases is usually part of these processes to justify that a system satisfies its safety requirements and thus is dependable. [Question/problem] Although safety cases have been used in industry for over two decades, their management still requires improvement. Important weaknesses have been identified and means to assess the quality of safety cases are limited. [Principal ideas/results] This paper presents a research preview on the assessment of the quality of safety cases. We explain how the area should develop and present our preliminary work towards enabling the assessment with Verification Studio, an industrial tool for system artefact quality analysis. [Contribution] The insights provided allow researchers and practitioners to gain an understanding of why safety case quality requires further investigation, what aspects must be considered, and how quality assessment could be performed in practice.
PB Springer
SN 978-3-030-15537-7
YR 2019
FD 2019-03-18
LK https://hdl.handle.net/10016/28536
UL https://hdl.handle.net/10016/28536
LA eng
NO Proceedings of the 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019.
NO The research leading to this paper has received funding from the AMASS project (H2020-ECSEL ID 692474; Spain’s MINECO ref. PCIN-2015-262). We also thank REFSQ reviewers for their valuable comments to improve the paper.
DS e-Archivo
RD 1 sept. 2024