Language Support for Modular Autonomic Managers in Reconfigurable Software Components

Alvares, Frederico; Delaval, Gwenaël; Rutten, Eric; Seinturier, Lionel

Document type :

Communication dans un congrès avec actes

DOI :

10.1109/ICAC.2017.48

Title :

Language Support for Modular Autonomic Managers in Reconfigurable Software Components

Author(s) :

Alvares, Frederico [Auteur]
Laboratoire des Sciences du Numérique de Nantes [LS2N]
Département Automatique, Productique et Informatique [IMT Atlantique - DAPI]
Aspect and Composition Languages [LS2N - équipe ASCOLA]
Delaval, Gwenaël [Auteur]
Control for Autonomic computing systems [CTRL-A]
Rutten, Eric [Auteur]
Laboratoire d'Informatique de Grenoble [LIG ]
Control for Autonomic computing systems [CTRL-A]
Seinturier, Lionel [Auteur]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Université de Lille, Sciences et Technologies
Self-adaptation for distributed services and large software systems [SPIRALS]

Conference title :

SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17

City :

Colombus

Country :

Etats-Unis d'Amérique

Start date of the conference :

2017-07-17

Publication date :

2017

HAL domain(s) :

Informatique [cs]/Génie logiciel [cs.SE]

English abstract : [en]

Dynamic reconfiguration is a key capability of Component-based Software Systems to achieve self-adaptation as it provides means to cope with environment changes at runtime. The space of configurations is defined by the ...
Show more >Dynamic reconfiguration is a key capability of Component-based Software Systems to achieve self-adaptation as it provides means to cope with environment changes at runtime. The space of configurations is defined by the possible assemblies of components, and navigating this space while achieving goals and maintaining structural properties is managed in an auto-nomic loop. The natural architectural structure of component-based systems calls for hierarchy and modularity in the design and implementation of composites and their managers, and requires support for coordinated multiple autonomic loops. In this paper, we leverage the modularity capability to strengthen the Domain-Specific Language (DSL) Ctrl-F, targeted at the design of autonomic managers in component-based systems. Its original definition involved discrete control-theoretical management of reconfigurations, providing assurances on the automated behaviors. The objective of modularity is twofold: from the design perspective, it allows designers to seamlessly decompose a complex system into smaller pieces of reusable architectural elements and adaptive behaviours. From the compilation point of view, we provide a systematical and generative approach to decompose control problems described in the architectural level while relying on mechanisms of modular Discrete Control Synthesis (DCS), which allows us to cope with the combinatorial complexity that is inherent to DCS problems. We show the applicability of our approach by applying it to the self-adaptive case study of the existing RUBiS/Brownout eBay-like web auction system.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Files

https://hal.inria.fr/hal-01575353/document
Open access
Access the document

https://hal.inria.fr/hal-01575353/document
Open access
Access the document

https://hal.inria.fr/hal-01575353/document
Open access
Access the document

document
Open access
Access the document

SeAC.pdf
Open access
Access the document

SeAC.pdf
Open access
Access the document

document
Open access
Access the document

SeAC.pdf
Open access
Access the document

Language Support for Modular Autonomic ... BibTeX CSV Excel RIS

Files

Language Support for Modular Autonomic ...

BibTeX

CSV

Excel

RIS