Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

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

Résumé

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.
Fichier principal
Vignette du fichier
hal.pdf (161.82 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00984365 , version 1 (28-04-2014)

Identifiants

Citer

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, ⟨10.1145/2602458.2602459⟩. ⟨hal-00984365⟩
644 Consultations
445 Téléchargements

Altmetric

Partager

More