This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Having Your Cake and Eating It: A Model-Based Approach for Satisfying ISO26262 Software Development Requirements
Technical Paper
2011-01-1001
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The adoption of model-based development in the automotive industry has been driven by the need to respond to the challenges of producing software for high-volume applications: increasingly complex feature sets; shorter deadlines and low residual failure rates to minimize recalls.
Empirical evidence suggests that model-based development does not adversely affect safety - passenger fatalities due to software failure are significantly lower than for any other root cause of death [3]. Good in-field results however, are no reason to be complacent because we need to establish that a system is safe before it enters service. The imminent arrival of ISO26262 provides a good opportunity to consider how the requirements for software in safety-related systems can be addressed by a model-based development approach.
This paper considers how such an approach can support the requirements of an ISO26262-based development process. Particular attention is given to how the combination of error prevention and detection mechanisms in the modeling language can be used to support the system safety case.
Recommended Content
Authors
Citation
Buttle, D., Blache, G., Lefarth, U., and Wolff, H., "Having Your Cake and Eating It: A Model-Based Approach for Satisfying ISO26262 Software Development Requirements," SAE Technical Paper 2011-01-1001, 2011, https://doi.org/10.4271/2011-01-1001.Also In
References
- Black, Andrew P. “Exception Handling: The Case Against.” University of Oxford January 1982
- ASCET Language Specification ETAS GmbH 2010
- Ellims, M. “On Wheels, Nuts and Software” Safety Related Programmable Systems (SCS'04) Brisbane 2004 Conferences in Research and Practice in Information Technology 47 Cant, Tony
- Galloway, A. Paige, R. Tudor, N.J. Weaver, R.A. Toyn, I. McDermind, J.A. “Proof vs testing in the context of safety standards” Proceedings of the 24th Digital Avionics Systems Conference 2 IEEE December 2005
- German, Andy “Software Static Code Analysis Lessons Learned” CrossTalk Magazine: The Journal of Defense Software Engineering 13 17 November 2003
- ISO/TC 22/SC3 “ISO/DIS 26262 - Road Vehicles - Functional Safety” June 2009
- Maxion, Roy A Olszewski, Robert T. “Improving Software Robustness With Dependability Cases” Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing June 1998 346 355
- MIRA Limited “MISRA:C-2004 Guidelines for the C language in critical systems” 0 9524156 2 3 0 9524156 4 X 2 Technical Corrigendum 1 July 2008
- OSEK/VDX “OSEK/VDX Operating System”, Version 2.2.3 February 2005
- Poledna, Stefan “Optimizing Interprocess Communication for Embedded Real-Time Systems” Proceedings of the 17 th IEEE Real-Time Systems Symposium Washington DC 1996
- Stürmer, I. Weinberg, D. Conrad, M. “Overview of existing safeguarding techniques for automatically generated code,” ACM SIGSOFT Software Engineering Notes 30 2005 6
- Stürmer, I. Conrad, M. Fey, I. Dörr, H. “Experiences with model and autocode reviews in model-based software development,” Proceedings of the 2006 international workshop on Software engineering for automotive systems SEAS'06 Shanghai ACM 2006 45 51
- Thullner, M. Scholand, A. “Quality Assurance in Modular Software Development” Real Times -The ETAS Group Magazine 40 42 1.2005 2005