Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

DATE
2003
IEEE

favoriteEmaildiscussreport

112views Hardware» more DATE 2003»

Safe Automotive Software Development

13 years 9 months ago

Safe Automotive Software Development

Download www.date-conference.com

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.

Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ern

Real-time Traffic

Automotive Systems Engineering | Cost-efficient Embedded Software | DATE 2003 | Hardware | Safe Hardware-software Systems |

claim paper

Related Content

» Robust Analog Design for Automotive Applications by Design Centering with Safe Operating A...

» Formal Methods for Integration of Automotive Software

» Defining and translating a safe subset of simulinkstateflow into lustre

» AutoMoDe ModelBased Development of Automotive Software

» Automotive Software A Challenge and Opportunity for ModelBased Software Development

» Reuse of software in distributed embedded automotive systems

» Requirements Engineering in Automotive Development Experiences and Challenges

» A ModelBased Approach for Automotive Software Development

» A Case Study on Safety Cases in the Automotive Domain Modules Patterns and Models

Post Info
More Details (n/a)

Added	04 Jul 2010
Updated	04 Jul 2010
Type	Conference
Year	2003
Where	DATE
Authors	Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ernst

Comments (0)