QoS and energy management coordination using discrete controller synthesis

Abstract

Green computing is nowadays a major challenge for most IT organizations. Administrators have to manage the trade-off between system performances and energy saving goals. Autonomic computing is a promising approach to control the QoS and the energy consumed by a system. This paper precisely investigates the use of synchronous programming and discrete controller synthesis to automate the generation of a controller that enforces the required coordination between QoS and energy managers. We illustrate our approach by describing the coordination between a simple admission controller and an energy controller.

Intégration de la synthèse de contrôleurs discrets dans un langage de programmation

“…De cette façon, la boucle de contrôle discret est en place comme en Figure 1(b). Nous avons des travaux en cours sur des instanciations de ce processus de développement dans différents contextes, et à différents niveaux, depuis les architectures dynamiquement partiellement reconfigurables à base de FPGA (Guillet et al, 2011), en passant par les boucles d'administration autonomique dans les systèmes d'exploitation (de Palma et al, 2010), et les intergiciels à base de composants (Delaval et al, 2010b), jusqu'aux applications de contrôle-commande (Aboubekr et al, 2011). Un type particulier de noeud que nous considérerons dans cet article est utilisé pour encoder les Automates de Mode, qui donne la possibilité de mélanger programmation équationnelle et programmation plus impérative à base d'automates.…”