Safe Automotive Software Development

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.

• Type: Conference
• Year: 2003
• Where: DATE
• Authors: Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ernst
• Keywords: Automotive Systems Engineering, Cost-efficient Embedded Software, DATE 2003, Hardware, Safe Hardware-software Systems