Safe Automotive Software
For automotive manufacturers and tier-1 suppliers, the upcoming safety standard ISO 26262 results in new requirements for the development of embedded electronics and software. In particular, the variety of driver assistance systems that autonomously influence the driving dynamics of a vehicle may have a high risk potential and require development in accordance with the normative guidelines. But especially for those systems whose function is typically not based solely on hardware but on complex software algorithms, safety certification can be very complex or even impossible. In this paper the problems of development of vehicle systems according to ISO 26262 are described. Finally an approach for a safety-oriented reference architecture is presented that introduces adaptive software safety cages. This architecture enables application of formal verification methods. Supported by multisensor data fusion this allows to reduce safety requirements for vehicle control systems.
KeywordsModel Check Vehicle System Electronic Control Unit Driver Assistance System Road Vehicle
Unable to display preview. Download preview PDF.
- 3.AUTOSAR: Technical Safety Concept Status Report (2009)Google Scholar
- 4.Avizienis, A., Laprie, J.C., Randell, B.: Fundamental concepts of dependability. In: Proceedings of ISW 2000, 34th Information Survivability Workshop, pp. 7–12. IEEE, Los Alamitos (2000)Google Scholar
- 9.GM: GM unveils EN-V concept: A vision for future urban mobility. Website (2010), http://www.gmexpo2010.com/en-v/en/introduction/press (visited on April 29, 2011)
- 12.ISO/DIS 26262: Road Vehicles, Functional Safety Part 1 to 10 (2008)Google Scholar
- 13.McMillan, K.: The SMV system, symbolic model checking - an approach. Tech. Rep. CMU-CS-92-131, Carnegie Mellon University (1992)Google Scholar
- 14.Sha, L.: Using simplicity to control complexity. IEEE Software 18, 20–28 (2001)Google Scholar