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,
- 2003-03-07; in: "Proceedings of the Conference on Design, Automation and Test in Europe",
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.