Thermal-Aware Verification and Monitoring of Service Providers in MetaMORP(H)OSY

With new technologies and the growing focus on green architectures, temperature and power consumption have become a major issue to be considered in systems design. Systems Architects should apply Model Driven Engineering (MDE) techniques in order to model systems at design phase and to verify "green" requirements both at design and execution phases. In fact, violations of this kind of properties is a problem because they should infringe national or international directives about power and thermal management, and even be symptoms of incorrect behaviors at run-time. In this paper a MDE methodology is used in order to evaluate thermal consumption of a service provider at design time. It exploits formal models for verification and generates observers to monitor abnormal thermal behaviors of the system during execution.