Abstract
| Original language | English |
|---|---|
| Title of host publication | IEEE International Conference on Control and Automation, ICCA |
| Pages | 1890-1895 |
| Number of pages | 6 |
| DOIs | |
| Publication status | Published - 1 Jan 2013 |
Fingerprint
Cite this
}
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. / Kang, E.-Y.; Schobbens, P.-Y.
IEEE International Conference on Control and Automation, ICCA. 2013. p. 1890-1895.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
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
SN - 9781467347075
SP - 1890
EP - 1895
BT - IEEE International Conference on Control and Automation, ICCA
ER -