[Back]


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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404427

Electronic version of the publication:
http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1113&viewmode=paper&year=2002