Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

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é

Energy-Aware Real-Time (ERT) systems are increasingly complex and have pervaded various areas, from automotive to telecommunication systems. EAST-ADL, an automotive specific architectural description language dedicated to safety-critical embedded control systems, has been proposed to harness this complexity. However, the current concept of EAST-ADL provides limited support for modeling and analysis of ERT behaviors due to the absence of energy constraints modeling notations and the lack of formal semantics. In this paper, we tackle that shortcoming by extending EAST-ADL notation with energy constraints and integrating the extension with formal analysis techniques based on the ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. Furthermore, we develop a procedure that transforms the EAST-ADL prototype model to the UPPAAL model for model checking. The analysis techniques including the mapping strategy are validated and demonstrated on the Brake-By-Wire case study.
langue originaleAnglais
titreSimulation Series
Pages62-69
Nombre de pages8
Volume45
étatPublié - 1 janv. 2013

Empreinte digitale

Embedded systems
Telecommunication systems
Model checking
Real time systems
Brakes
Semantics
Wire
Control systems

Citer ceci

@inproceedings{1b96f6c69dd245a692890b9adf30ceda,
title = "Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL",
abstract = "Energy-Aware Real-Time (ERT) systems are increasingly complex and have pervaded various areas, from automotive to telecommunication systems. EAST-ADL, an automotive specific architectural description language dedicated to safety-critical embedded control systems, has been proposed to harness this complexity. However, the current concept of EAST-ADL provides limited support for modeling and analysis of ERT behaviors due to the absence of energy constraints modeling notations and the lack of formal semantics. In this paper, we tackle that shortcoming by extending EAST-ADL notation with energy constraints and integrating the extension with formal analysis techniques based on the ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. Furthermore, we develop a procedure that transforms the EAST-ADL prototype model to the UPPAAL model for model checking. The analysis techniques including the mapping strategy are validated and demonstrated on the Brake-By-Wire case study.",
author = "E.-Y. Kang and P.-Y. Schobbens",
year = "2013",
month = "1",
day = "1",
language = "English",
isbn = "9781627480321",
volume = "45",
pages = "62--69",
booktitle = "Simulation Series",

}

Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL. / Kang, E.-Y.; Schobbens, P.-Y.

Simulation Series. Vol 45 2013. p. 62-69.

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

TY - GEN

T1 - Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

AU - Kang, E.-Y.

AU - Schobbens, P.-Y.

PY - 2013/1/1

Y1 - 2013/1/1

N2 - Energy-Aware Real-Time (ERT) systems are increasingly complex and have pervaded various areas, from automotive to telecommunication systems. EAST-ADL, an automotive specific architectural description language dedicated to safety-critical embedded control systems, has been proposed to harness this complexity. However, the current concept of EAST-ADL provides limited support for modeling and analysis of ERT behaviors due to the absence of energy constraints modeling notations and the lack of formal semantics. In this paper, we tackle that shortcoming by extending EAST-ADL notation with energy constraints and integrating the extension with formal analysis techniques based on the ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. Furthermore, we develop a procedure that transforms the EAST-ADL prototype model to the UPPAAL model for model checking. The analysis techniques including the mapping strategy are validated and demonstrated on the Brake-By-Wire case study.

AB - Energy-Aware Real-Time (ERT) systems are increasingly complex and have pervaded various areas, from automotive to telecommunication systems. EAST-ADL, an automotive specific architectural description language dedicated to safety-critical embedded control systems, has been proposed to harness this complexity. However, the current concept of EAST-ADL provides limited support for modeling and analysis of ERT behaviors due to the absence of energy constraints modeling notations and the lack of formal semantics. In this paper, we tackle that shortcoming by extending EAST-ADL notation with energy constraints and integrating the extension with formal analysis techniques based on the ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. Furthermore, we develop a procedure that transforms the EAST-ADL prototype model to the UPPAAL model for model checking. The analysis techniques including the mapping strategy are validated and demonstrated on the Brake-By-Wire case study.

UR - http://www.scopus.com/inward/record.url?scp=84876863755&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84876863755

SN - 9781627480321

VL - 45

SP - 62

EP - 69

BT - Simulation Series

ER -