Behavioural Model-based Control for Autonomic ...
Document type :
Communication dans un congrès avec actes
Title :
Behavioural Model-based Control for Autonomic Software Components
Author(s) :
Alvares de Oliveira Jr., Frederico [Auteur]
Control for Autonomic computing systems [CTRL-A]
Rutten, Eric [Auteur]
Control for Autonomic computing systems [CTRL-A]
Seinturier, Lionel [Auteur]
Institut universitaire de France [IUF]
Self-adaptation for distributed services and large software systems [SPIRALS]
Control for Autonomic computing systems [CTRL-A]
Rutten, Eric [Auteur]
Control for Autonomic computing systems [CTRL-A]
Seinturier, Lionel [Auteur]

Institut universitaire de France [IUF]
Self-adaptation for distributed services and large software systems [SPIRALS]
Conference title :
12th IEEE International Conference on Autonomic Computing (ICAC)
Conference organizers(s) :
IEEE
City :
Grenoble
Country :
France
Start date of the conference :
2015-07-07
Publication date :
2015-07
HAL domain(s) :
Informatique [cs]/Génie logiciel [cs.SE]
English abstract : [en]
Autonomic Managers (AMs) have been largely used to autonomously control reconfigurations within software compo- nents. This management is performed based on past monitoring events, configurations as well as behavioural ...
Show more >Autonomic Managers (AMs) have been largely used to autonomously control reconfigurations within software compo- nents. This management is performed based on past monitoring events, configurations as well as behavioural programs defining the adaptation logics and invariant properties. The challenge here is to provide assurances on navigation through the configuration space, which requires taking decisions that involve predictions on possible futures of the system. This paper proposes the design of AMs based on logical discrete control approaches, where the use of behavioural models enriches the manager with a knowledge not only on events, states and past history, but also with possible future configurations. We define a Domain Specific Language, named Ctrl-F, which provides high-level constructs to describe behavioural programs in the context of software components. The formal definition of Ctrl-F is given by translation to Finite State Automata, which allow for the exploration of behavioural programs by verification or Discrete Controller Synthesis, automatically generating a controller enforcing correct behaviours. We implement an AM by integrating the result of Ctrl-F compilation and validate it with an adaptation scenario over Znn.com, a self-adaptive case study.Show less >
Show more >Autonomic Managers (AMs) have been largely used to autonomously control reconfigurations within software compo- nents. This management is performed based on past monitoring events, configurations as well as behavioural programs defining the adaptation logics and invariant properties. The challenge here is to provide assurances on navigation through the configuration space, which requires taking decisions that involve predictions on possible futures of the system. This paper proposes the design of AMs based on logical discrete control approaches, where the use of behavioural models enriches the manager with a knowledge not only on events, states and past history, but also with possible future configurations. We define a Domain Specific Language, named Ctrl-F, which provides high-level constructs to describe behavioural programs in the context of software components. The formal definition of Ctrl-F is given by translation to Finite State Automata, which allow for the exploration of behavioural programs by verification or Discrete Controller Synthesis, automatically generating a controller enforcing correct behaviours. We implement an AM by integrating the result of Ctrl-F compilation and validate it with an adaptation scenario over Znn.com, a self-adaptive case study.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- https://hal.inria.fr/hal-01143196/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01143196/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01143196/document
- Open access
- Access the document
- document
- Open access
- Access the document
- main.pdf
- Open access
- Access the document
- document
- Open access
- Access the document
- main.pdf
- Open access
- Access the document