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
Main Authors: Tindell, K., Kopetz, H., Wolf, F., Ernst, R.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Automotive engineering
Communication system control
Computer architecture
Embedded software
Programming
Protection
Scheduling
Software safety
Timing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
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.
ISSN:1530-1591
1558-1101
DOI:10.1109/DATE.2003.1253676