loading...
Safe Automotive Software Development
Munich, Germany March 03-March 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10142Design, Automation and Test in Europe ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ernst, "Safe Automotive Software Development," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 10616, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/DATE.2003.10142,
author = {Ken Tindell and Hermann Kopetz and Fabian Wolf and Rolf Ernst},
title = {Safe Automotive Software Development},
journal ={Design, Automation and Test in Europe Conference and Exhibition},
volume = {1},
year = {2003},
issn = {1530-1591},
pages = {10616},
doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10142},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Design, Automation and Test in Europe Conference and Exhibition
TI - Safe Automotive Software Development
SN - 1530-1591
SP
EP
A1 - Ken Tindell,
A1 - Hermann Kopetz,
A1 - Fabian Wolf,
A1 - Rolf Ernst,
PY - 2003
KW - null
VL - 1
JA - Design, Automation and Test in Europe Conference and Exhibition
ER -
 
Ken Tindell, LiveDevices
Hermann Kopetz, Technische Universit?t Wien
Fabian Wolf, Volkswagen AG
Rolf Ernst, Technische Universit?t Braunschweig
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.
Citation:
Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ernst, "Safe Automotive Software Development," date, vol. 1, pp.10616, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.