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.
Type de document :
Communication dans un congrès
Digital Automation Conference, Jun 2015, San Francisco, United States. 〈http://www.dac.com〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01148905
Contributeur : Jean-Pierre Talpin <>
Soumis le : mardi 5 mai 2015 - 16:22:43
Dernière modification le : mercredi 16 mai 2018 - 11:24:07

Identifiants

  • HAL Id : hal-01148905, version 1

Citation

Huafeng Yu, Joshi Prashi, Jean-Pierre Talpin, Sandeep Kumar Shukla, Shin'Ichi Shiraishi. Model-Based Integration for Automotive Control Software. Digital Automation Conference, Jun 2015, San Francisco, United States. 〈http://www.dac.com〉. 〈hal-01148905〉

Partager

Métriques

Consultations de la notice

635