CTRL-A Research team
Control for safe Autonomic computing systems
- Leader : Eric Rutten
- Type : Project team
- Research center(s) : Grenoble
- Field : Networks, Systems and Services, Distributed Computing
- Theme : Distributed Systems and middleware
- Partner(s) : Université de Grenoble Alpes,Institut polytechnique de Grenoble
- Collaborator(s) : Laboratoire d'Informatique de Grenoble (LIG) (UMR5217)
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.
Research teams of the same theme :
- ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
- COAST - Web Scale Trustworthy Collaborative Service Systems
- MIMOVE - Middleware on the Move
- MYRIADS - Design and Implementation of Autonomous Distributed Systems
- REGAL - Large-Scale Distributed Systems and Applications
- SPIRALS - Self-adaptation for distributed services and large software systems
- STACK - Software Stack for Massively Geo-Distributed Infrastructures
- WHISPER - Well Honed Infrastructure Software for Programming Environments and Runtimes
- WIDE - the World Is Distributed Exploring the tension between scale and coordination