DocumentCode
2410943
Title
Safe automotive software development
Author
Tindell, Ken ; Kopetz, Hermann ; Wolf, Fabian ; Ernst, Rolf
Author_Institution
LiveDevices, York, UK
fYear
2003
fDate
2003
Firstpage
616
Lastpage
621
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition, 2003
ISSN
1530-1591
Print_ISBN
0-7695-1870-2
Type
conf
DOI
10.1109/DATE.2003.1253676
Filename
1253676
Link To Document