This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
A Means of Assessing the Entire Functional Safety Hazard Space
Technical Paper
2017-01-2056
ISSN: 0148-7191, e-ISSN: 2688-3627
This content contains downloadable datasets
Annotation ability available
Sector:
Language:
English
Abstract
The goal behind Functional Safety is to anticipate the potential hazard scenarios (a.k.a. harm sequences) that a system may produce and address those scenarios in such a way as to mitigate or even eliminate them. A major challenge in determining hazard scenarios is trying to assess an adequate amount of scenarios, considering the large size of a hazard space. Typically assessing the entire hazard space is difficult to achieve, resulting in the possibility of overlooking some critical scenarios that can result in harm to either system operators, system by-standers, or both. In this paper we will explore a rule-based approach for concisely describing hazard scenarios, which could potentially enable us to examine the entire hazard space in a short amount of time. Our approach, called Hazard Space Analysis, combines three key activates: determining hazard scenarios, assigning a risk factor to those scenarios, and mapping those hazard scenarios directly to safety rules. We will detail the approach, show how the approach could be automated, and present a simple aviation related example that demonstrates the approach's potential in enabling stakeholders to explore a large hazard space.
Recommended Content
Technical Paper | Managing Functional Safety (ISO26262) in Projects |
Aerospace Standard | Processes for Engineering a System |
Technical Paper | Innovative Concepts for Planetary EVA Access |
Authors
Topic
Citation
Aceituna, D., "A Means of Assessing the Entire Functional Safety Hazard Space," SAE Technical Paper 2017-01-2056, 2017, https://doi.org/10.4271/2017-01-2056.Data Sets - Support Documents
Title | Description | Download |
---|---|---|
Unnamed Dataset 1 | ||
Unnamed Dataset 2 | ||
Unnamed Dataset 3 | ||
Unnamed Dataset 4 |
Also In
References
- Bernardini , Alessandro , Ecker , Wolfgang and Schlichtmann , Ulf Where formal verification can help in functional safety analysis Paper presented at the meeting of the ICCAD 2016
- Sieker , B.M. A proposal for improving the applicability of formal methods in the functional safety base standard IEC.61508 System Safety and Cyber-Security Conference 2015 10.1049/cp.2015.0279
- Bernardini , Alessandro , Ecker , Wolfgang and Schlichtmann , Ulf Efficient handling of the fault space in functional safety analysis utilizing formal methods Paper presented at the meeting of the VLSI-SoC 2016
- Allenby , Karen and Kelly , Tim Deriving Safety Requirements Using Scenarios Paper presented at the meeting of the RE 2001
- George , A. , Taylor , W. , and Nelson , J. Writing Good Technical Safety Requirements SAE Technical Paper 2016-01-0127 2016 10.4271/2016-01-0127
- George , A. and Nelson , J. Managing Functional Safety (ISO26262) in Projects SAE Technical Paper 2017-01-0064 2017 10.4271/2017-01-0064
- Putz , M. , Seifert , H. , Zach , M. , and Peternel , J. Functional Safety (ASIL-D) for an Electro Mechanical Brake SAE Technical Paper 2016-01-1953 2016 10.4271/2016-01-1953
- Moure , C. and Kersting , K. Development of Functional Safety in a Multi-Motor Control System for Electric Vehicles SAE Technical Paper 2012-01-0028 2012 10.4271/2012-01-0028
- Krithivasan , G. , Taylor , W. , and Nelson , J. Developing Functional Safety Requirements using Process Model Variables SAE Technical Paper 2015-01-0275 2015 10.4271/2015-01-0275
- Brewerton , S. A New Approach to Input and Output Monitoring for Microcontrollers Supporting Functional Safety SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 6 1 126 133 2013 10.4271/2013-01-0185
- Bernardini , Alessandro , Ecker , Wolfgang and Schlichtmann , Ulf Where formal verification can help in functional safety analysis Paper presented at the meeting of the ICCAD 2016
- Mader , Roland , Griessnig , Gerhard , Leitner , Andrea , Kreiner , Christian , Bourrouilh , Quentin , Armengaud , Eric , Steger , Christian and Weiß , Reinhold A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems Paper presented at the meeting of the ECBS 2011
- Aceituna , D. Elicitation Practices That Can Decrease Vulnerability to Off-Nominal Behaviors: Lessons from using the Causal Component Model SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 10 1 83 94 2017 10.4271/2016-01-8109
- Aceituna , Daniel and Do , Hyunsook Exposing the susceptibility of off-nominal behaviors in reactive system requirements Paper presented at the meeting of the RE 2015
- Denney , Ewen , Pai Ganesh , and Habli Ibrahim Perspectives on software safety case development for unmanned aircraft Dependable Systems and Networks (DSN) 2012 42nd Annual IEEE/IFIP International Conference on 1 8 IEEE 2012
- Chen , DeJiu , Johansson Rolf , Lönn Henrik , Papadopoulos Yiannis , Sandberg Anders , Törner Fredrik , and Törngren Martin Modelling support for design of safety-critical automotive embedded systems International Conference on Computer Safety, Reliability, and Security 72 85 Springer Berlin Heidelberg 2008
- Schulze , Michael , Mauersberger Jan , and Beuche Danilo Functional safety and variability: can it be brought together? In Proceedings of the 17th International Software Product Line Conference 236 243 ACM 2013
- Täubig , Holger , Frese Udo , Hertzberg Christoph , Lüth Christoph , Mohr Stefan , Vorobev Elena , and Walter Dennis Guaranteeing functional safety: design for provability and computer-aided verification Autonomous Robots 32 3 2012 303 331
- Denney , Ewen , and Pai Ganesh Automating the assembly of aviation safety cases IEEE Transactions on Reliability 63 4 2014 830 849
- Luxhoj , James T. Probabilistic causal analysis for system safety risk assessments in commercial air transport 2003
- Bell , Ron. Introduction to IEC 61508 Proceedings of the 10th Australian workshop on Safety critical systems and software-Volume 55 3 12 Australian Computer Society, Inc. 2006