Towards formal energy and time aware behaviors in EAST-ADL: An MDE approach

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

doi:10.1109/QSIC.2012.13

Towards formal energy and time aware behaviors in EAST-ADL: An MDE approach

E.-Y. Kang, G. Perrouin, P.-Y. Schobbens

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article 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. Dedicated UML-based modeling languages, such as EAST-ADL or MARTE have been proposed to harness this complexity. However, they provide limited support for modeling ERT constraints, in particular continuous energy consumption. To cope with this issue we introduce a formal interchange language, eXtended Function-block Graphs (XFG), for modeling and analysis of ERT behaviors. An XFG UML profile augmenting EAST-ADL and MARTE is presented to facilitate modeling those behaviors by means of state machines. A set of mapping rules is proposed to automatically transform such profiled models into the XFG language.

langue originale	Anglais
titre	Proceedings - International Conference on Quality Software
Pages	124-127
Nombre de pages	4
Les DOIs	https://doi.org/10.1109/QSIC.2012.13
Etat de la publication	Publié - 1 janv. 2012

SDG des Nations Unies

Ce résultat contribue à ou aux Objectifs de développement durable suivants

Accès au document

10.1109/QSIC.2012.13

Autres fichiers et liens

Link to publication in Scopus

Contient cette citation

@inproceedings{af0c5813e205407aa8c00606b31ade3f,

title = "Towards formal energy and time aware behaviors in EAST-ADL: An MDE approach",

abstract = "Energy-aware real-time (ERT) systems are increasingly complex and have pervaded various areas, from automotive to telecommunication systems. Dedicated UML-based modeling languages, such as EAST-ADL or MARTE have been proposed to harness this complexity. However, they provide limited support for modeling ERT constraints, in particular continuous energy consumption. To cope with this issue we introduce a formal interchange language, eXtended Function-block Graphs (XFG), for modeling and analysis of ERT behaviors. An XFG UML profile augmenting EAST-ADL and MARTE is presented to facilitate modeling those behaviors by means of state machines. A set of mapping rules is proposed to automatically transform such profiled models into the XFG language.",

author = "E.-Y. Kang and G. Perrouin and P.-Y. Schobbens",

year = "2012",

month = jan,

day = "1",

doi = "10.1109/QSIC.2012.13",

language = "English",

isbn = "9780769548333",

pages = "124--127",

booktitle = "Proceedings - International Conference on Quality Software",

}

TY - GEN

T1 - Towards formal energy and time aware behaviors in EAST-ADL

T2 - An MDE approach

AU - Kang, E.-Y.

AU - Perrouin, G.

AU - Schobbens, P.-Y.

PY - 2012/1/1

Y1 - 2012/1/1

N2 - Energy-aware real-time (ERT) systems are increasingly complex and have pervaded various areas, from automotive to telecommunication systems. Dedicated UML-based modeling languages, such as EAST-ADL or MARTE have been proposed to harness this complexity. However, they provide limited support for modeling ERT constraints, in particular continuous energy consumption. To cope with this issue we introduce a formal interchange language, eXtended Function-block Graphs (XFG), for modeling and analysis of ERT behaviors. An XFG UML profile augmenting EAST-ADL and MARTE is presented to facilitate modeling those behaviors by means of state machines. A set of mapping rules is proposed to automatically transform such profiled models into the XFG language.

AB - Energy-aware real-time (ERT) systems are increasingly complex and have pervaded various areas, from automotive to telecommunication systems. Dedicated UML-based modeling languages, such as EAST-ADL or MARTE have been proposed to harness this complexity. However, they provide limited support for modeling ERT constraints, in particular continuous energy consumption. To cope with this issue we introduce a formal interchange language, eXtended Function-block Graphs (XFG), for modeling and analysis of ERT behaviors. An XFG UML profile augmenting EAST-ADL and MARTE is presented to facilitate modeling those behaviors by means of state machines. A set of mapping rules is proposed to automatically transform such profiled models into the XFG language.

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

U2 - 10.1109/QSIC.2012.13

DO - 10.1109/QSIC.2012.13

M3 - Conference contribution

AN - SCOPUS:84869129955

SN - 9780769548333

SP - 124

EP - 127

BT - Proceedings - International Conference on Quality Software

ER -

Towards formal energy and time aware behaviors in EAST-ADL: An MDE approach

Résumé

SDG des Nations Unies

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation