Title :
Safe automotive software development
Author :
Tindell, Ken ; Kopetz, Hermann ; Wolf, Fabian ; Ernst, Rolf
Author_Institution :
LiveDevices, York, UK
Abstract :
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a model for safe and cost-efficient embedded software development as a whole. This paper gives several examples from the leading edge of industrial automotive applications.
Keywords :
automotive electronics; distributed control; formal specification; hardware-software codesign; operating systems (computers); real-time systems; safety-critical software; transport control; automotive systems engineering; cost-efficient embedded software development; formal methods; hardware-software systems; industrial automotive applications; protected operating systems; safe automotive software development; safety critical software; safety-critical distributed real-time systems; Application software; Automotive engineering; Communication system control; Computer architecture; Embedded software; Programming; Protection; Scheduling; Software safety; Timing;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2003
Print_ISBN :
0-7695-1870-2
DOI :
10.1109/DATE.2003.1253676
