Title :
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach
Author :
Kang, Eun-Young ; Perrouin, Gilles ; Schobbens, Pierre-Yves
Author_Institution :
PReCISE Res. Centre, Univ. of Namur, Namur, Belgium
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.
Keywords :
Unified Modeling Language; finite state machines; formal languages; graphs; real-time systems; EAST-ADL language; ERT behavior analysis; ERT behavior modeling; ERT constraints; MARTE language; UML-based modeling languages; Unified Modeling Language; XFG UML profile; XFG language; automotive systems; continuous energy consumption; energy aware real-time systems; extended function-block graphs; formal energy aware behavior; formal interchange language; formal time aware behavior; mapping rules; model-driven engineering; state machines; telecommunication systems; Analytical models; Clocks; Energy consumption; Real-time systems; Semantics; Syntactics; Unified modeling language; EAST-ADL; Formal methods; MARTE; Model transformation; Model-driven engineering; Timing and energy consumption analysis; UML state diagram;
Conference_Titel :
Quality Software (QSIC), 2012 12th International Conference on
Conference_Location :
Xi´an, Shaanxi
Print_ISBN :
978-1-4673-2857-9
DOI :
10.1109/QSIC.2012.13
