The Community for Technology Leaders
2013 35th International Conference on Software Engineering (ICSE) (2013)
San Francisco, CA, USA
May 18, 2013 to May 26, 2013
ISBN: 978-1-4673-3073-2
pp: 13-22
Fabienne Boyer , LIG, Université Joseph Fourier, Grenoble, France
Olivier Gruber , LIG, Université Joseph Fourier, Grenoble, France
Damien Pous , CNRS, Grenoble, France
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.
INDEX TERMS
Protocols, Computer architecture, Assembly, Wires, Contracts, Grammar, Robustness,Robustness, Dynamic reconfiguration, Component models
CITATION
Fabienne Boyer, Olivier Gruber, Damien Pous, "Robust reconfigurations of component assemblies", 2013 35th International Conference on Software Engineering (ICSE), vol. 00, no. , pp. 13-22, 2013, doi:10.1109/ICSE.2013.6606547
88 ms
(Ver 3.3 (11022016))