System Safety — Challenge and Chance for Automotive Applications

  • Thomas Vogel


In recent years the interior life of an automobile has undergone fundamental changes. Functions which were previously only possible by mechanical means are increasingly being supplemented or replaced by electronic processes, mainly involving computers. Nowadays, vehicles in the luxury class frequently feature more than 50 electronic control units with microprocessors which assist and protect by intervening in operational and driving processes. There are many good reasons for this, on which I shall not elaborate at this point.


Failure Probability System Safety Acceptable Risk Controller Area Network Electronic Control Unit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Leveson N.G. Software Safety in Embedded Computer Systems. Communications of the ACM, February 1991, Vol. 34, No. 2Google Scholar
  2. 2.
    Sievert W. Einfluß moderner Elektroniksysteme im Kraftfahrzeug auf die Unfallstatistik. Presentation at VDE/VDI Workshop „Sichere Mikroelektronik“, May 1993Google Scholar
  3. 3.
    Cha S.S., Leveson N.G. and Shimeall T.J. Verification of Safety in Ada Programs. In Proceedings of the 10th International Conference on Software Engineering ( Singapore, Apr. 1988 ), pp. 377–386Google Scholar
  4. 4.
    Knight J.C. and Leveson N.G. An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. IEEE Trans. Softw. Eng. SE-12, 1 (Jan. 1986), pp. 96–109Google Scholar
  5. 5.
    Jahanian F. and Mok A.K. Safety Analysis of Timing Properties in Real-Time Systems. IEEE Trans. Softw. Eng. SE-12, 9 (Sept. 1986), pp. 890–904Google Scholar
  6. 6.
    Leveson N.G. and Stolzy J.L. Safety Analysis Using Petri Nets. IEEE Trans. Softw. Eng. SE-13 (Mar. 1987), pp. 386–397CrossRefGoogle Scholar
  7. 7.
    Melhart B. An Interface Model for Software Requirements. Ph.D. thesis, ICS Dept., University of California, Irvine, June 1990Google Scholar

Copyright information

© Springer-Verlag London Limited 1997

Authors and Affiliations

  • Thomas Vogel
    • 1
  1. 1.Daimler-Benz AGStuttgartGermany

Personalised recommendations