Formal Methods for Integration of Automotive Software | Zendy

Marek Jersak | Zendy; Kai Richter | Zendy; Razvan Racu | Zendy; Jan Staschulat | Zendy; Rolf Ernst | Zendy; Jörn-Christian Braam | Zendy; Fabian Wolf | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Methods for Integration of Automotive Software

Author(s) -

Marek Jersak,

Kai Richter,

Razvan Racu,

Jan Staschulat,

Rolf Ernst,

Jörn-Christian Braam,

Fabian Wolf

Publication year - 2005

Publication title -

kluwer academic publishers ebooks

Language(s) - English

Resource type - Book series

DOI - 10.1007/0-306-48709-8_2

Subject(s) - computer science , certification , automotive industry , software , software engineering , process (computing) , software development , embedded system , engineering , operating system , aerospace engineering , political science , law

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research