Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration

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, and; (ii) a reconfiguration development process including specification, proof of correctness using Coq, and 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 and the formalization allows ensuring the safety and consistency of the reconfiguration process.
Type de document :
Communication dans un congrès
CBSE 2014 : proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, Jun 2014, Lille, France. pp.1, 2014, 〈10.1145/2602458.2602459〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00984365
Contributeur : Jérémy Buisson <>
Soumis le : lundi 28 avril 2014 - 11:54:10
Dernière modification le : jeudi 15 novembre 2018 - 11:58:47
Document(s) archivé(s) le : lundi 28 juillet 2014 - 11:25:42

Fichiers

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

Identifiants

Citation

Jérémy Buisson, Everton Calvacante, Fabien Dagnat, Elena Leroux, Sébastien Martinez. Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration. CBSE 2014 : proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, Jun 2014, Lille, France. pp.1, 2014, 〈10.1145/2602458.2602459〉. 〈hal-00984365〉

Partager

Métriques

Consultations de la notice

672

Téléchargements de fichiers

447