Safe Automotive Software Development

Authors:
Ken Tindell;Hermann Kopetz;Fabian Wolf;Rolf Ernst
Affiliations:
LiveDevices;Technische Universität Wien;Volkswagen AG;Technische Universität Braunschweig
Venue:
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Year:
2003

Citing 2
Cited 6

Safeware: system safety and computers

Safeware: system safety and computers
Advances in ULTRA-Dependable Distributed Systems

Advances in ULTRA-Dependable Distributed Systems

Formal Methods for Integration of Automotive Software

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Interval-based analysis in embedded system design

Mathematics and Computers in Simulation - Special issue: Selected papers from the 4th IMACS symposium on mathematical modelling (4th MATHMOD)
Issues in performance certification for high-level automotive control software

SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
A framework for modular analysis and exploration of heterogeneous embedded systems

Real-Time Systems
The Last Inch at 70 Miles Per Hour

IEEE Pervasive Computing
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

Model-Driven Development of Reliable Automotive Services

Quantified Score

Hi-index	0.00

Visualization

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.