Safe Automotive Software Development

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

Full description

Saved in:
Bibliographic Details
Published inDesign, Automation, and Test in Europe: Proceedings of the conference on Design, Automation and Test in Europe - Volume 1; 03-07 Mar. 2003 p. 10616
Main Authors Tindell, Ken, Kopetz, Hermann, Wolf, Fabian, Ernst, Rolf
Format Conference Proceeding
LanguageEnglish
Published Washington, DC, USA IEEE Computer Society 03.03.2003
SeriesACM Conferences
Subjects
Computer systems organization > Embedded and cyber-physical systems > Embedded systems
Hardware > Communication hardware, interfaces and storage
Software and its engineering > Software creation and management > Software verification and validation > Formal software verification
Software and its engineering > Software organization and properties > Software functional properties > Formal methods
Software and its engineering > Software organization and properties > Software system structures > Embedded software
Software and its engineering > Software organization and properties > Software system structures > Real-time systems software
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:0769518702
9780769518701
ISSN:1530-1591
DOI:10.5555/789083.1022794