Title :
Safety cases: A review of challenges
Author :
Langari, Zarrin ; Maibaum, Tom
Author_Institution :
Comput. & Software Dept., McMaster Univ., Hamilton, ON, Canada
Abstract :
In this article, we address safety cases as special cases of the more general class of assurance cases, which were developed as an extension to the concept of safety case. Related to the development and use of safety cases, there remain challenges, such as their size, readability, and identifying fallacious reasoning used in arguments. Some of these challenges are reviewed in the current article and followed by a review of challenges for the assessment of safety cases by regulators.
Keywords :
safety-critical software; assurance cases; fallacious reasoning; safety cases; Context; Hazards; Regulators; Software; Standards; Systematics;
Conference_Titel :
Assurance Cases for Software-Intensive Systems (ASSURE), 2013 1st International Workshop on
Conference_Location :
San Francisco, CA
DOI :
10.1109/ASSURE.2013.6614263