Language Support for Modular Autonomic Managers in Reconfigurable Software Components

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

Type de document :

Communication dans un congrès avec actes

DOI :

10.1109/ICAC.2017.48

Titre :

Language Support for Modular Autonomic Managers in Reconfigurable Software Components

Auteur(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]

Titre de la manifestation scientifique :

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

Ville :

Colombus

Pays :

Etats-Unis d'Amérique

Date de début de la manifestation scientifique :

2017-07-17

Date de publication :

2017

Discipline(s) HAL :

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

Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

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

Source :

Harvested from HAL

Fichiers

https://hal.inria.fr/hal-01575353/document
Accès libre
Accéder au document

https://hal.inria.fr/hal-01575353/document
Accès libre
Accéder au document

https://hal.inria.fr/hal-01575353/document
Accès libre
Accéder au document

document
Accès libre
Accéder au document

SeAC.pdf
Accès libre
Accéder au document

SeAC.pdf
Accès libre
Accéder au document

document
Accès libre
Accéder au document

SeAC.pdf
Accès libre
Accéder au document

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

Fichiers

Language Support for Modular Autonomic ...

BibTeX

CSV

Excel

RIS