An extended systematic literature review on provision of evidence for safety certification期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

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

Affiliation:	1. Instituto Federal do Rio Grande do Norte – Natal, Brazil;2. CNRS, LIG-LAFMIA, Saint Martin d’Hères, France;3. Universidade Federal do Rio Grande do Norte – Natal, Brazil

Abstract:	ContextCritical 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.ObjectiveIn 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.MethodWe 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.ResultsWe 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.ConclusionThe 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.

Keywords:	Safety–critical systems Safety standards Safety compliance Safety certification Safety evidence Systematic literature review AADL"} {"#name":"keyword" "$":{"id":"k0040"} "$$":[{"#name":"text" "_":"Architecture Analysis & Design Language ACRuDA"} {"#name":"keyword" "$":{"id":"k0050"} "$$":[{"#name":"text" "_":"Assessment and Certification Rules for Digital Architectures ASA"} {"#name":"keyword" "$":{"id":"k0060"} "$$":[{"#name":"text" "_":"Automated and Structured Analysis ASCAD"} {"#name":"keyword" "$":{"id":"k0070"} "$$":[{"#name":"text" "_":"Adelard Safety Case Development BBN"} {"#name":"keyword" "$":{"id":"k0080"} "$$":[{"#name":"text" "_":"Bayesian Belief Networks CAE"} {"#name":"keyword" "$":{"id":"k0090"} "$$":[{"#name":"text" "_":"Claims Arguments and Evidence CCS"} {"#name":"keyword" "$":{"id":"k0100"} "$$":[{"#name":"text" "_":"Calculus of Communicating Systems CDL"} {"#name":"keyword" "$":{"id":"k0110"} "$$":[{"#name":"text" "_":"Configuration Deviation List CENELEC"} {"#name":"keyword" "$":{"id":"k0120"} "$$":[{"#name":"text" "_":"Comité Européen de Normalisation Electrotechnique (European Committee for Electrotechnical Standardization) CMA"} {"#name":"keyword" "$":{"id":"k0130"} "$$":[{"#name":"text" "_":"Common Mode Analysis COTS"} {"#name":"keyword" "$":{"id":"k0140"} "$$":[{"#name":"text" "_":"Commercial Off-The-Shelf CSP"} {"#name":"keyword" "$":{"id":"k0150"} "$$":[{"#name":"text" "_":"Communicating Sequential Processes DECOS"} {"#name":"keyword" "$":{"id":"k0160"} "$$":[{"#name":"text" "_":"Dependable Embedded COmponents and Systems DOVE"} {"#name":"keyword" "$":{"id":"k0170"} "$$":[{"#name":"text" "_":"Design Oriented Verification and Evaluation ECHA"} {"#name":"keyword" "$":{"id":"k0180"} "$$":[{"#name":"text" "_":"Environmental Condition Hazard Assessment EMFI"} {"#name":"keyword" "$":{"id":"k0190"} "$$":[{"#name":"text" "_":"Electromagnetic Fault Injection ETA"} {"#name":"keyword" "$":{"id":"k0200"} "$$":[{"#name":"text" "_":"Event Tree Analysis EVA"} {"#name":"keyword" "$":{"id":"k0210"} "$$":[{"#name":"text" "_":"Evidence Volume Approach FFA"} {"#name":"keyword" "$":{"id":"k0220"} "$$":[{"#name":"text" "_":"Functional Failure Analysis FFPA"} {"#name":"keyword" "$":{"id":"k0230"} "$$":[{"#name":"text" "_":"Functional Failure Patch Analysis FHA"} {"#name":"keyword" "$":{"id":"k0240"} "$$":[{"#name":"text" "_":"Functional Hazard Analysis FMEA"} {"#name":"keyword" "$":{"id":"k0250"} "$$":[{"#name":"text" "_":"Failure Mode Effects Analysis FMECA"} {"#name":"keyword" "$":{"id":"k0260"} "$$":[{"#name":"text" "_":"Failure Mode Effects and Criticality Analysis FMEDA"} {"#name":"keyword" "$":{"id":"k0270"} "$$":[{"#name":"text" "_":"Failure Modes Effects and Diagnostic Coverage Analysis FMES"} {"#name":"keyword" "$":{"id":"k0280"} "$$":[{"#name":"text" "_":"Failure Mode and Effect Summary FPGA"} {"#name":"keyword" "$":{"id":"k0290"} "$$":[{"#name":"text" "_":"Field-programmable gate array FPTC"} {"#name":"keyword" "$":{"id":"k0300"} "$$":[{"#name":"text" "_":"Fault Propagation and Transformation Calculus FPTN"} {"#name":"keyword" "$":{"id":"k0310"} "$$":[{"#name":"text" "_":"Failure Propagation and Transformation Notation FSM"} {"#name":"keyword" "$":{"id":"k0320"} "$$":[{"#name":"text" "_":"Functional Safety Management FTA"} {"#name":"keyword" "$":{"id":"k0330"} "$$":[{"#name":"text" "_":"Fault Tree Analysis GQM"} {"#name":"keyword" "$":{"id":"k0340"} "$$":[{"#name":"text" "_":"Goal Question Metric GSN"} {"#name":"keyword" "$":{"id":"k0350"} "$$":[{"#name":"text" "_":"Goal Structuring Notation HAZID"} {"#name":"keyword" "$":{"id":"k0360"} "$$":[{"#name":"text" "_":"Hazard Identification Study HAZOP"} {"#name":"keyword" "$":{"id":"k0370"} "$$":[{"#name":"text" "_":"HAZard and Operability HEP"} {"#name":"keyword" "$":{"id":"k0380"} "$$":[{"#name":"text" "_":"Human Error Prediction HHA"} {"#name":"keyword" "$":{"id":"k0390"} "$$":[{"#name":"text" "_":"Human Hazard Analysis HOL"} {"#name":"keyword" "$":{"id":"k0400"} "$$":[{"#name":"text" "_":"Higher Order Logic HRA"} {"#name":"keyword" "$":{"id":"k0410"} "$$":[{"#name":"text" "_":"Human Reliability Analysis IEC"} {"#name":"keyword" "$":{"id":"k0420"} "$$":[{"#name":"text" "_":"International Electro-technical Commission IET"} {"#name":"keyword" "$":{"id":"k0430"} "$$":[{"#name":"text" "_":"Institution of Engineering and Technology IHA"} {"#name":"keyword" "$":{"id":"k0440"} "$$":[{"#name":"text" "_":"Intrinsic Hazard Analysis ISO"} {"#name":"keyword" "$":{"id":"k0450"} "$$":[{"#name":"text" "_":"International Organization for Standardization MDE"} {"#name":"keyword" "$":{"id":"k0460"} "$$":[{"#name":"text" "_":"Model-Driven Engineering MC/DC"} {"#name":"keyword" "$":{"id":"k0470"} "$$":[{"#name":"text" "_":"Modified Condition/Decision Coverage MMEL"} {"#name":"keyword" "$":{"id":"k0480"} "$$":[{"#name":"text" "_":"Master Minimum Equipment List MTBF"} {"#name":"keyword" "$":{"id":"k0490"} "$$":[{"#name":"text" "_":"Mean Time Between Failures MTTF"} {"#name":"keyword" "$":{"id":"k0500"} "$$":[{"#name":"text" "_":"Mean Time To Failure OCL"} {"#name":"keyword" "$":{"id":"k0510"} "$$":[{"#name":"text" "_":"Object Constraint Language OS"} {"#name":"keyword" "$":{"id":"k0520"} "$$":[{"#name":"text" "_":"Operating System PHA"} {"#name":"keyword" "$":{"id":"k0530"} "$$":[{"#name":"text" "_":"Preliminary Hazard Analysis PRA"} {"#name":"keyword" "$":{"id":"k0540"} "$$":[{"#name":"text" "_":"Particular Risk Analysis PS"} {"#name":"keyword" "$":{"id":"k0550"} "$$":[{"#name":"text" "_":"Primary Study PSAC"} {"#name":"keyword" "$":{"id":"k0560"} "$$":[{"#name":"text" "_":"Plan for Software Aspects of Certification QA"} {"#name":"keyword" "$":{"id":"k0570"} "$$":[{"#name":"text" "_":"Quality Assurance RASP"} {"#name":"keyword" "$":{"id":"k0580"} "$$":[{"#name":"text" "_":"Risk Assessment of Structural Part RTCA"} {"#name":"keyword" "$":{"id":"k0590"} "$$":[{"#name":"text" "_":"Radio Technical Commission for Aeronautics RTOS"} {"#name":"keyword" "$":{"id":"k0600"} "$$":[{"#name":"text" "_":"Real-Time OS SACM"} {"#name":"keyword" "$":{"id":"k0610"} "$$":[{"#name":"text" "_":"Structured Assurance Case Metamodel SAL"} {"#name":"keyword" "$":{"id":"k0620"} "$$":[{"#name":"text" "_":"Safety Assurance Level SAS"} {"#name":"keyword" "$":{"id":"k0630"} "$$":[{"#name":"text" "_":"Software Accomplishment Summary SCMP"} {"#name":"keyword" "$":{"id":"k0640"} "$$":[{"#name":"text" "_":"Software Configuration Management Plan SDP"} {"#name":"keyword" "$":{"id":"k0650"} "$$":[{"#name":"text" "_":"Software Development Plan SEAL"} {"#name":"keyword" "$":{"id":"k0660"} "$$":[{"#name":"text" "_":"Safety Evidence Assurance Level SHARD"} {"#name":"keyword" "$":{"id":"k0670"} "$$":[{"#name":"text" "_":"Software Hazard Analysis and Resolution in Design SIL"} {"#name":"keyword" "$":{"id":"k0680"} "$$":[{"#name":"text" "_":"Safety Integrity Level SLR"} {"#name":"keyword" "$":{"id":"k0690"} "$$":[{"#name":"text" "_":"Systematic Literature Review SQA"} {"#name":"keyword" "$":{"id":"k0700"} "$$":[{"#name":"text" "_":"Software QA SRS"} {"#name":"keyword" "$":{"id":"k0710"} "$$":[{"#name":"text" "_":"Software Requirements Specification SSG"} {"#name":"keyword" "$":{"id":"k0720"} "$$":[{"#name":"text" "_":"Safety Specification Graph SVP"} {"#name":"keyword" "$":{"id":"k0730"} "$$":[{"#name":"text" "_":"Software Verification Plan SWIFI"} {"#name":"keyword" "$":{"id":"k0740"} "$$":[{"#name":"text" "_":"Software Implemented Fault Injection TPTP"} {"#name":"keyword" "$":{"id":"k0750"} "$$":[{"#name":"text" "_":"Thousands of Problems for Theorem Provers UAS"} {"#name":"keyword" "$":{"id":"k0760"} "$$":[{"#name":"text" "_":"Unmanned Autonomous Systems V&V"} {"#name":"keyword" "$":{"id":"k0770"} "$$":[{"#name":"text" "_":"Verification and Validation
本文献已被 ScienceDirect 等数据库收录！

设为首页 | 免责声明 | 关于勤云 | 加入收藏