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.

[1]  David Aspinall,et al.  Formalising Java's Data Race Free Guarantee , 2007, TPHOLs.

[2]  Youmin Zhang,et al.  Bibliographical review on reconfigurable fault-tolerant control systems , 2003, Annu. Rev. Control..

[3]  Pramod K. Varshney,et al.  Multisensor Data Fusion , 1997, IEA/AIE.

[4]  Tobias Nipkow,et al.  The Isabelle Framework , 2008, TPHOLs.

[5]  Y. Chetouani.  Fault detection by using the innovation signal: application to an exothermic reaction , 2004 .

[6]  Alan Bundy,et al.  Towards Ontology Evolution in Physics , 2008, WoLLIC.

[7]  Jana Maria Heinsohn,et al.  Einführung in die ISO 26262 "Functional Safety - Road Vehicles" , 2011 .

[8]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[9]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[10]  Klaus Schneider,et al.  Property Driven Three-Valued Model Checking on Hybrid Automata , 2009, WoLLIC.

[11]  Robert P. Kurshan,et al.  Verification of Digital and Hybrid Systems , 2000, NATO ASI Series.

[12]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[13]  Lui Sha,et al.  Using Simplicity to Control Complexity , 2001, IEEE Softw..

[14]  Chingiz Hajiyev,et al.  Testing the covariance matrix of the innovation sequence with sensor/actuator fault detection applications , 2010 .

[15]  Raghunathan Rengaswamy,et al.  A review of process fault detection and diagnosis: Part I: Quantitative model-based methods , 2003, Comput. Chem. Eng..

[16]  Raghunathan Rengaswamy,et al.  A review of process fault detection and diagnosis: Part II: Qualitative models and search strategies , 2003, Comput. Chem. Eng..

[17]  Brian Randell,et al.  Fundamental Concepts of Dependability , 2000 .