Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
K. Tindell, H. Kopetz, F. Wolf, R. Ernst:
"Safe Automotive Software Development";
Vortrag: Conference on Design, Automation and Test in Europe,
Munich, Germany;
03.03.2003
- 07.03.2003; in: "Proceedings of the Conference on Design, Automation and Test in Europe",
(2003),
S. 616
- 621.
Kurzfassung englisch:
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-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404427
Elektronische Version der Publikation:
http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1113&viewmode=paper&year=2002
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.