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.

Thermal-Aware Verification and Monitoring of service providers in MetaMORP(H)OSY

MOSCATO, Francesco;
2014

Abstract

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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11386/4782477
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 3
social impact