Model-Based Integration for Automotive Control Software - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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.
No file

Dates and versions

hal-01148905 , version 1 (05-05-2015)

Identifiers

  • HAL Id : hal-01148905 , version 1

Cite

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⟩
450 View
0 Download

Share

Gmail Facebook X LinkedIn More