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 -
