Publication: Assessment of the Quality of Safety Cases: A Research Preview
Loading...
Identifiers
Publication date
2019-03-18
Defense date
Advisors
Tutors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Impact
Export
Abstract
[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.
Description
Proceedings of the 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019.
Keywords
Safety case, Quality, Quality assessment, System assurance, Safety-critical system, Verification studio
Bibliographic citation
Vara, J. L., Jiménez, G., Mendieta, R. y Parra, E. (2019). Assessment of the Quality of Safety Cases: A Research Preview. In: Knauss E., Goedicke M. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2019. Lecture Notes in Computer Science, vol 11412, pp. 124-131. Springer, Cham.