Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

E.-Y. Kang; P.-Y. Schobbens

doi:10.1109/ICCA.2013.6564929

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter

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 ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. The analysis techniques including the mapping strategy are validated and demonstrated on the Brake-By-Wire case study.

Original language	English
Title of host publication	IEEE International Conference on Control and Automation, ICCA
Pages	1890-1895
Number of pages	6
DOIs	https://doi.org/10.1109/ICCA.2013.6564929
Publication status	Published - 1 Jan 2013

Access to Document

10.1109/ICCA.2013.6564929

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems'. Together they form a unique fingerprint.

Cite this

@inbook{dc14c7b14e7846c18a395e717f7d48be,

title = "Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems",

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 ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. 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 = jan,

day = "1",

doi = "10.1109/ICCA.2013.6564929",

language = "English",

isbn = "9781467347075",

pages = "1890--1895",

booktitle = "IEEE International Conference on Control and Automation, ICCA",

}

TY - CHAP

T1 - Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

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 ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. 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 ERT constraints. A mapping strategy is proposed to facilitate the guarantee of integration. 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=84882338193&partnerID=8YFLogxK

U2 - 10.1109/ICCA.2013.6564929

DO - 10.1109/ICCA.2013.6564929

M3 - Chapter

AN - SCOPUS:84882338193

SN - 9781467347075

SP - 1890

EP - 1895

BT - IEEE International Conference on Control and Automation, ICCA

ER -