DOI: 10.1109/date.2003.1253676
View full text
K. Tindell, H. Kopetz, F. Wolf, R. Ernst

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.