Model-based verification of energy-aware real-time automotive systems

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

EAST-ADL is an architectural description language dedicated to safety-critical automotive embedded system design with a focus on structural specification and behavioral constraints. The current concept of EAST-ADL provides limited support for modeling and analysis of Energy-aware Real-Time (ERT) behaviors due to the absence of energy constraints modeling notations and the lack of formal semantics. We address these limitations by extending the EAST-ADL notation with energy constraints and integrating this extension with formal modeling and analysis techniques. We provide a mapping scheme as the basis for automatic model transformation between the extended EAST-ADL and priced timed automata for model checking. This methodology has been implemented in a tool called A-BeTA (Aβ) and is demonstrated by means of the Brake-By-Wire case study. Our approach enables formal modeling and verification of ERT systems in EAST-ADL and identifies potential conflicts between different automotive functions at an early stage of development

langue originaleAnglais
titreProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Pages135-144
Nombre de pages10
Les DOIs
Etat de la publicationPublié - 15 oct. 2013
Evénement18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013 - Singapore, Singapour
Durée: 17 juil. 201319 juil. 2013

Une conférence

Une conférence18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013
PaysSingapour
La villeSingapore
période17/07/1319/07/13

Empreinte digitale Examiner les sujets de recherche de « Model-based verification of energy-aware real-time automotive systems ». Ensemble, ils forment une empreinte digitale unique.

  • Contient cette citation

    Kang, E-Y., Perrouin, G., & Schobbens, P. Y. (2013). Model-based verification of energy-aware real-time automotive systems. Dans Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (p. 135-144). [6601814] https://doi.org/10.1109/ICECCS.2013.27