| 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.
|
 Additional Information
|
Citation:
Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ernst,
"Safe Automotive Software Development,"
date,
p. 10616,
Design, Automation and Test in Europe Conference and Exhibition (DATE'03),
2003
|
