System Safety — Challenge and Chance for Automotive Applications
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.
Unable to display preview. Download preview PDF.
- 1.Leveson N.G. Software Safety in Embedded Computer Systems. Communications of the ACM, February 1991, Vol. 34, No. 2Google Scholar
- 2.Sievert W. Einfluß moderner Elektroniksysteme im Kraftfahrzeug auf die Unfallstatistik. Presentation at VDE/VDI Workshop „Sichere Mikroelektronik“, May 1993Google Scholar
- 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.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.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
- 7.Melhart B. An Interface Model for Software Requirements. Ph.D. thesis, ICS Dept., University of California, Irvine, June 1990Google Scholar