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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Abstract

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

Original languageEnglish
Title of host publicationProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Pages135-144
Number of pages10
DOIs
Publication statusPublished - 15 Oct 2013
Event18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013 - Singapore, Singapore
Duration: 17 Jul 201319 Jul 2013

Conference

Conference18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013
CountrySingapore
CitySingapore
Period17/07/1319/07/13

Keywords

  • EAST-ADL
  • Energy-aware Timed Embedded Systems
  • Model Checking
  • Model-Transformation

Fingerprint Dive into the research topics of 'Model-based verification of energy-aware real-time automotive systems'. Together they form a unique fingerprint.

  • Cite this

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