Come see and/or participate to the
Ctrl-A Team Seminars
CTRL-A is motivated by today’s context where computing systems, large (data centers) or small (embedded), are more and more required to be adaptive to the dynamical fluctuations of their envi- ronments and workloads, evolutions of their computing infrastructures (shared, or subject to faults), or changes in application functionalities. Their administration, traditionally managed by human system administrators, needs to be automated in order to be efficient, safe and responsive. Autonomic Computing is the approach that emerged in the early 2000’s in distributed systems to answer that challenge, in the form of self-administration control loops.
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.