Control for Autonomic computing systems
Come to see and/or participate here
Grenoble Giant at Minatec, just beside Auditorium Grenoble INP, quite close to Grenoble train station,
from tramway stop “Cité Internationale”, walk towards CEA Minatec (whitecylinder), stay on the rihgt of CEA entrance (no need to go to the accueil), there is fence with a white tent, with guards to whom you can say that you come to Inria, and a bit furher the colloquium space and a red wall with the Inria logo : ring at the door, so that we can open for you.
École d’hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes
15ème édition of FETCH
15 – 17 Juin 2022, RockyPop Hôtel, Chamonix-Les Houches
9-13th of September 2019, Grenoble, France
Therefore, there is a pressing and increasing demand for methods and tools to design controllers for self-adaptive computing systems, that ensure quality and safety of the behavior of the controlled system. The critical importance of the quality of control on performance and safety in automated systems, in computing as elsewhere, calls for a departure from traditional approaches relying on ad hoc techniques, often empirical, unsafe and application-specific solutions.
The main objective of the CTRL-A project-team is to develop a novel framework for model-based design of controllers in Autonomic Computing. We want to contribute generic Software Engineering methods and tools for developers to design appropriate controllers for their particular reconfigurable architectures, software or hardware, and integrate them at middleware level. We want to improve concrete usability of techniques from Control Theory, particularly Discrete Event Systems, by specialists of concrete systems (rather than formal models), and to provide tool support for our methods in the form of specification languages and compilers.
The main objective of CTRL-A translates into a number of scientific challenges, the most important of these are:
- programming language support, on the two facets of model-oriented languages, based on automata, and domain specific languages, following a component-based approach ;
- design methods for reconfiguration controller design in computing systems, proposing generic systems architectures and models based on automata or controlled stochastic systems.
We adopt a strategy of constant experimental identification of needs and validation of proposals, in application domains like middleware platforms for High Performance Computing, for Dynamic Partial Reconfiguration in FPGA-based hardware, and for the IoT and smart environments.
International and industrial relations
- Autonomic Computing community e.g., ICAC and ICCAC conferences ; Discrete Control community e.g., WODES conference ;
- jLESC lab, U. Liverpool, U. Lund, CWI / U. Leyden, U. Osaka (Japan), U. Heifei (China) ;
- Orange labs, Nokia Bell-labs, Eolas.