Robust reconfigurations of component assemblies

Fabienne Boyer 1 Olivier Gruber 2, 1 Damien Pous 3, 4, *
* Corresponding author
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
4 PLUME - Preuves et Langages
LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : In this paper, we propose a reconfiguration protocol that can handle any number of failures during a reconfiguration, always producing an architecturally-consistent assembly of components that can be safely introspected and further reconfigured. Our protocol is based on the concept of Incrementally Consistent Sequences (ICS), ensuring that any reconfiguration incrementally respects the reconfiguration contract given to component developers: reconfiguration grammar and architectural invariants. We also propose two recovery policies, one rolls back the failed reconfiguration and the other rolls it forward, both going as far as possible, failure permitting. We specified and proved the reconfiguration contract, the protocol, and recovery policies in Coq.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00966078
Contributor : Damien Pous <>
Submitted on : Wednesday, March 26, 2014 - 10:13:50 AM
Last modification on : Tuesday, February 12, 2019 - 11:55:33 AM

Identifiers

  • HAL Id : hal-00966078, version 1

Citation

Fabienne Boyer, Olivier Gruber, Damien Pous. Robust reconfigurations of component assemblies. ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. pp.13-22. ⟨hal-00966078⟩

Share

Metrics

Record views

334