This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Safety Analysis of Heterogeneous Software Models at Implementation Stage
Technical Paper
2017-01-0051
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The assessment of the safety and the reliability for embedded systems is mainly performed early in the design cycle, at system level. The objective is to detect the potential failures which could lead to an undesirable event. Given the increasing critical feature of the functions executed by the software in automotive and aeronautics, it becomes necessary to perform safety analysis at lower level of the design cycle such as at implementation stage. However, software models at this stage are complex and heterogeneous so the analyses are often manually realized. As the software models are also very large (thousands of basic software components), the analysis is labor-intensive and error-prone so it is not obvious to obtain relevant results. Therefore, the analysis on software models at implementation stage is often neglected.
This paper proposes an efficient safety analysis based on the generation of fault trees and failure modes and effects analysis to assist and induce the engineers to perform the analysis on software models at implementation stage. Our analysis considers the respective behavior of each used software components by introducing specific failure propagation rules. Also, special filters are introduced to find the exact paths leading to the studied undesirable events. Furthermore, these rules of propagation and filtering are characterized and summarized in semi-automated procedures and are implemented in a toolchain to facilitate the fulfillment of our safety analysis. This toolchain is intended to be used with the integrated development environment Matlab/Simulink and an extended library dedicated to rapid-prototyping development of electronic control unit. To illustrate the effectiveness of our methodology, a practical case study based on an accelerator function for autonomous vehicle prototype is presented.
Recommended Content
Authors
Citation
Godot, J., Alif, A., Saudrais, S., Barbedette, B. et al., "Safety Analysis of Heterogeneous Software Models at Implementation Stage," SAE Technical Paper 2017-01-0051, 2017, https://doi.org/10.4271/2017-01-0051.Also In
References
- Paul , A. , Chauhan , R. , Srivastava , R. , and Baruah , M. Advanced Driver Assistance Systems SAE Technical Paper 2016-28-0223 2016 10.4271/2016-28-0223
- Poczter S. L. and Jankovic L. M. The Google Car: Driving Toward A Better Future? J. Bus. Case Stud. - First Quart. 10 1 7 14 2014
- Collinson R. P. G. Introduction to Avionics Systems 2 2011
- Leveson N. G. Safety: Why , What , and How ACM Comput. Surv. 18 2 125 163 1986
- ISO/DIS 26262 - Road Vehicles - Functional Safety 2011
- Hilderman V. and Baghi T. Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware) 2007
- Johnson L. A. DO-178C Software Considerations in Airborne Systems and Equipment Certification 1998 http://www.dcs.gla.ac.uk/~johnson/teaching/safety/reports/schad.html
- Papadopoulos Y. , McDermid J. , Sasse R. , and Heiner G. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure Reliab. Eng. Syst. Saf. 71 229 247 2001
- Papadopoulos Y. , Tran A. , Faure J. M. , and Grante C. Component Failure Behaviour: Patterns and Reuse in Automated System Safety Analysis APRIL 2006 2006
- Papadopoulos Y. , Maruhn M. , and Ag D. Model-Based Synthesis of Fault Trees from Matlab - Simulink models Dependable Systems and Networks (DSN) 2001 77 82
- Sharvia S. and Papadopoulos Y. Integrating model checking with HiP-HOPS in model-based safety analysis Reliab. Eng. Syst. Saf. 135 64 80 Mar. 2015
- Chen D. , Mahmud N. , Walker M. , and Feng L. Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS 2012
- Vesely W. E. , Goldberg F. F. , Roberts N. H. , and Haasl D. F. Fault Tree Handbook 1981
- Ericson C. a. Fault Tree Analysis - A History The 17th International System Safety Conference 1999
- Woodward MotoHawk Control Solutions: Product Guide