Skip to Main content Skip to Navigation
Conference papers

Model-Based Integration for Automotive Control Software

Abstract : Model-Based Engineering (MBE) is a promising approach to cope with the challenges of designing the next-generation automotive systems. The increasing complexity of automo- tive electronics, the platform, distributed real-time embed- ded software, and the need for continuous evolution from one generation to the next has necessitated highly productive design approaches. However, heterogeneity, interoperabil- ity, and the lack of formal semantic underpinning in mod- eling, integration, validation and optimization make design automation a big challenge, which becomes a hindrance to the wider application of MBE in the industry. This paper briefly presents the interoperability challenges in the context of MBE and summarizes our current contribution to address these challenges with regard to automotive software control systems. A novel model-based formal integration framework is being developed to enable architecture modeling, timing specification, formal semantics, design by contract and optimization in the system-level design. The main advantages of the proposed approach include its pervasive use of formal methods, architecture analysis and design language (AADL) and associated tools, a novel timing annex for AADL with an expressive timing relationship language, a formal contract language to express component-level requirements and validation of component integration, and the resulting high assurance system delivery.
Complete list of metadata
Contributor : Jean-Pierre Talpin <>
Submitted on : Tuesday, May 5, 2015 - 4:22:43 PM
Last modification on : Friday, January 8, 2021 - 3:40:40 AM


  • HAL Id : hal-01148905, version 1


Huafeng Yu, Joshi Prashi, Jean-Pierre Talpin, Sandeep Kumar Shukla, Shin'Ichi Shiraishi. Model-Based Integration for Automotive Control Software. Digital Automation Conference, ACM, Jun 2015, San Francisco, United States. ⟨hal-01148905⟩



Record views