Model-Based Integration for Automotive Control Software

International audienceModel-Based Engineering (MBE) is a promising approachto cope with the challenges of designing the next-generationautomotive systems. The increasing complexity of automo-tive electronics, the platform, distributed real-time embed-ded software, and the need for continuous evolution from onegeneration to the next has necessitated highly productivedesign approaches. However, heterogeneity, interoperabil-ity, and the lack of formal semantic underpinning in mod-eling, integration, validation and optimization make designautomation a big challenge, which becomes a hindrance tothe wider application of MBE in the industry. This paperbriefly presents the interoperability challenges in the contextof MBE and summarizes our current contribution to addressthese challenges with regard to automotive software controlsystems. A novel model-based formal integration frameworkis being developed to enable architecture modeling, timingspecification, formal semantics, design by contract and optimization in the system-level design. The main advantagesof the proposed approach include its pervasive use of formalmethods, architecture analysis and design language (AADL)and associated tools, a novel timing annex for AADL withan expressive timing relationship language, a formal contract language to express component-level requirements andvalidation of component integration, and the resulting highassurance system delivery