An extended systematic literature review on provision of evidence for safety certification

被引:91
作者
Nair, Sunil [1 ]
de la Vara, Jose Luis [1 ]
Sabetzadeh, Mehrdad [2 ]
Briand, Lionel [2 ]
机构
[1] Certus Ctr Software V&V, Simula Res Lab, N-1325 Lysaker, Norway
[2] SnT Ctr Secur, L-2721 Luxembourg, Luxembourg
关键词
Safety-critical systems; Safety standards; Safety compliance; Safety certification; Safety evidence; Systematic literature review; CRITICAL SOFTWARE; FORMAL METHODS; REQUIREMENTS; VERIFICATION; INFORMATION; ARGUMENTS; STANDARDS; FRAMEWORK; QUALITY; DESIGN;
D O I
10.1016/j.infsof.2014.03.001
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Context: Critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing undue risks to the user, the public, or the environment. Safety is typically ensured via complying with safety standards. Demonstrating compliance to these standards involves providing evidence to show that the safety criteria of the standards are met. Objective: In order to cope with the complexity of large critical systems and subsequently the plethora of evidence information required for achieving compliance, safety professionals need in-depth knowledge to assist them in classifying different types of evidence, and in structuring and assessing the evidence. This paper is a step towards developing such a body of knowledge that is derived from a large-scale empirically rigorous literature review. Method: We use a Systematic Literature Review (SLR) as the basis for our work. The SLR builds on 218 peer-reviewed studies, selected through a multi-stage process, from 4963 studies published between 1990 and 2012. Results: We develop a taxonomy that classifies the information and artefacts considered as evidence for safety. We review the existing techniques for safety evidence structuring and assessment, and further study the relevant challenges that have been the target of investigation in the academic literature. We analyse commonalities in the results among different application domains and discuss implications of the results for both research and practice. Conclusion: The paper is, to our knowledge, the largest existing study on the topic of safety evidence. The results are particularly relevant to practitioners seeking a better grasp on evidence requirements as well as to researchers in the area of system safety. As a major finding of the review, the results strongly suggest the need for more practitioner-oriented and industry-driven empirical studies in the area of safety certification. (C) 2014 Elsevier B.V. All rights reserved.
引用
收藏
页码:689 / 717
页数:29
相关论文
共 253 条
[1]   A systematic review of search-based testing for non-functional system properties [J].
Afzal, Wasif ;
Torkar, Richard ;
Feldt, Robert .
INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (06) :957-976
[2]  
Akerholm M., 2009, INT WORKSH SOFTW REU
[3]  
Althammer Egbert, 2008, 2008 6th IEEE International Conference on Industrial Informatics (INDIN), P258, DOI 10.1109/INDIN.2008.4618105
[4]  
Andersen BS, 2011, COMMUN ACM, V54, P52, DOI [10.1145/2001269.2001286, 10.1145/2016036.2024356]
[5]   Common law safety case approaches to safety critical systems assurance [J].
Anderson, Kevin J. .
Developments in Risk-Based Approaches to Safety, 2006, :171-183
[6]   Structured assurance cases: Three common standards [J].
Ankrum, TS ;
Kromholz, AH .
Ninth IEEE International Symposium on High-Assurance Systems Engineering, 2005, :99-108
[7]  
[Anonymous], P 2005 WORKSH REAL E
[8]  
[Anonymous], 2011 AIAA MOD SIM TE
[9]  
[Anonymous], 2005, 61508 IEC
[10]  
[Anonymous], 2006, SIGBED REV