Safe automotive software development

被引：0

作者：

Tindell, K ^{[1
]}

Kopetz, H ^{[1
]}

Wolf, F ^{[1
]}

Ernst, R ^{[1
]}

机构：

[1] LiveDevices, York, N Yorkshire, England

来源：

EMBEDDED SOFTWARE FOR SOC | 2003年

关键词：

embedded software; safety critical; automotive; real-time systems;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：333 / 342

页数：10