Safe reconfiguration of Coqcots and Pycots components

Jérémy Buisson 1, 2, 3, 4 Fabien Dagnat 4, 3 Elena Leroux 1 Sébastien Martinez 4, 3
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
4 PASS - Process for Adaptative Software Systems
Télécom Bretagne, IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Software systems have to face evolutions of their running context and users. Therefore, the so-called dynamic reconfiguration has been commonly adopted for modifying some components and/or the architecture at runtime. Traditional approaches typically stop the needed components, apply the changes, and restart the components. However, this scheme is not suitable for critical systems and degrades user experience. This paper proposes to switch from the stop/restart scheme to dynamic software updating (DSU) techniques. Instead of stopping a component, its implementation is replaced by another one specifically built to apply the modifications while maintaining the best quality of service possible. The major contributions of this work are: (i) the integration of DSU techniques in a component model; (ii) a reconfiguration development process including specification, proof of correctness using Coq, and; (iii) a systematic method to produce the executable script. In this perspective, the use of DSU techniques brings higher quality of service when reconfiguring component-based software. Moreover, the formalization allows ensuring the safety and consistency of the reconfiguration process.
Type de document :
Article dans une revue
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01235602
Contributeur : Jérémy Buisson <>
Soumis le : lundi 30 novembre 2015 - 13:21:13
Dernière modification le : mercredi 21 février 2018 - 01:32:07
Document(s) archivé(s) le : samedi 29 avril 2017 - 01:07:18

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sébastien Martinez. Safe reconfiguration of Coqcots and Pycots components. Journal of Systems and Software, Elsevier, 2015, 〈http://www.sciencedirect.com/science/article/pii/S0164121215002630〉. 〈10.1016/j.jss.2015.11.039〉. 〈hal-01235602〉

Partager

Métriques

Consultations de la notice

363

Téléchargements de fichiers

150