Talks and Poster Presentations (with Proceedings-Entry):

K. Tindell, H. Kopetz, F. Wolf, R. Ernst:
"Safe Automotive Software Development";
Talk: Conference on Design, Automation and Test in Europe, Munich, Germany; 2003-03-03 - 2003-03-07; in: "Proceedings of the Conference on Design, Automation and Test in Europe", (2003), 616 - 621.

English 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.

Online library catalogue of the TU Vienna:

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.