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

Eun-Young Kang Pierre-Yves Schobbens

Published in: ICCA (2013)

Keyphrases

real time systems
energy aware
embedded systems
wireless sensor networks
formal methods
real time
intelligent systems
power consumption
modeling language