163 search results - page 1 / 33 » Formal Methods for Integration of Automotive Software |
DATE
2003
IEEE
13 years 9 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
DAC
2007
ACM
13 years 8 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
DATE
2003
IEEE
13 years 9 months ago
2003
IEEE
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 ...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...