Logico-numerical Control for Software Components Reconfiguration

Abstract : We target the problem of the safe control of reconfigurations in component-based software systems, where strategies of adaptation to variations in both their environment and internal resource demands need to be enforced. In this context, the computing system involves software components that are subject to control decisions. We approach this problem under the angle of Discrete Event Systems (DES), involving properties on events observed during the execution (e.g., requests of computing tasks, work overload), and a state space representing different configurations such as activity or assemblies of components. We consider in particular the potential of applying novel logico-numerical control techniques to extend the expressivity of control models and objectives, thereby extending the application of DES in component-based software systems. We elaborate methodological guidelines for the application of logico-numerical control based on a case- study, and validate the result experimentally.
Type de document :
Communication dans un congrès
CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. IEEE, pp.1599 - 1606, 2017, 〈10.1109/CCTA.2017.8062685〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01644754
Contributeur : Eric Rutten <>
Soumis le : mercredi 29 novembre 2017 - 11:21:07
Dernière modification le : jeudi 15 novembre 2018 - 11:58:59

Fichier

ccta-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Eric Rutten. Logico-numerical Control for Software Components Reconfiguration. CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. IEEE, pp.1599 - 1606, 2017, 〈10.1109/CCTA.2017.8062685〉. 〈hal-01644754〉

Partager

Métriques

Consultations de la notice

1313

Téléchargements de fichiers

72