The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design of a configurable and reconfigurable middleware platform
Distributed Computing
Dealing with failures during failure recovery of distributed systems
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Architectural runtime configuration management in support of dependable self-adaptive software
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Using Architecture Models for Runtime Adaptability
IEEE Software
Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Software—Practice & Experience
Using components for architecture-based management: the self-repair case
Proceedings of the 30th international conference on Software engineering
Genie: supporting the model driven development of reflective, component-based adaptive systems
Proceedings of the 30th international conference on Software engineering
A Model-Based Framework for Statically and Dynamically Checking Component Interactions
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Computer
Architecting dynamic reconfiguration in dependable systems
Architecting dependable systems IV
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Analyzing architectural styles
Journal of Systems and Software
From Autonomic to Self-Self Behaviors: The JADE Experience
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Specifying and verifying the SYNERGY reconfiguration protocol with LOTOS NT and CADP
FM'11 Proceedings of the 17th international conference on Formal methods
Reliable dynamic reconfigurations in a reflective component model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
| Hi-index | 0.00 |
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.