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.

[1]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[2]  Tughrul Arslan,et al.  Proceedings Design, Automation and Test in Europe Conference and Exhibition , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[3]  Neeraj Suri,et al.  Advances in ULTRA-Dependable Distributed Systems , 1994 .

[4]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[5]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .