Formal methods for integration of automotive software

Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between manufacturers and control unit suppliers. However, at least for engine control units, there exists today no well-defined software integration process that satisfies all key requirements of automotive manufacturers. We propose a methodology for safe integration of automotive software functions where required performance information is exchanged while each partner’s IP is protected. We claim that in principle performance requirements and constraints (timing, memory consumption) for each software component and for the complete ECU can be formally validated, and believe that ultimately such formal analysis will be required for legal certification of an ECU.

[1]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[2]  Sharad Malik,et al.  Performance analysis of real-time embedded software , 1997 .

[3]  Rolf Ernst,et al.  Segment-Wise Timing and Power Measurement in Software Emulation , 2001 .

[4]  Reinhard Wilhelm,et al.  Efficient and Precise Cache Behavior Prediction for Real-Time Systems , 1999, Real-Time Systems.

[5]  Rolf Ernst,et al.  Transformation of SDL specifications for system-level timing analysis , 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).

[6]  Rolf Ernst,et al.  Event model interfaces for heterogeneous system analysis , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[7]  Fabian Wolf,et al.  Behavioral Intervals in Embedded Software , 2002, Springer US.

[8]  Joseph Lemieux,et al.  Programming in the OSEK/VDX Environment , 2001 .

[9]  R. Ernst,et al.  Model composition for scheduling analysis in platform design , 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).

[10]  Petru Eles,et al.  Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems , 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).

[11]  Rolf Ernst,et al.  Safe Automotive Software Development , 2003, DATE.