The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Efficient on-the-fly model-checking for regular alternation-free mu-calculus
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications
Proceedings of the IFIP TC6 / WG6.1 Third International Working Conference on New Developments in Distributed Applications and Interoperable Systems
The design of a configurable and reconfigurable middleware platform
Distributed Computing
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Software—Practice & Experience
A generic component model for building systems software
ACM Transactions on Computer Systems (TOCS)
seL4: formal verification of an OS kernel
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
BISIMULATOR: a modular tool for on-the-fly equivalence checking
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
An aspect-oriented approach for developing self-adaptive fractal components
SC'06 Proceedings of the 5th international conference on Software Composition
Reliable dynamic reconfigurations in a reflective component model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Robust reconfigurations of component assemblies
Proceedings of the 2013 International Conference on Software Engineering
An experience report on the verification of autonomic protocols in the cloud
Innovations in Systems and Software Engineering
Hi-index | 0.00 |
Dynamic software systems that provide the ability to reconfigure themselves seem to be reaching a complexity that suggests the use of formal methods in the design process, helping system designers master that complexity, better understand their systems, find and correct bugs rapidly, and ultimately build strong confidence in the correctness of their systems. As an illustration of this trend, this paper reports on our experience with the co-design and specification of the reconfiguration protocol of a component-based platform, intended as the foundation for building robust dynamic systems. We wrote the specification in Lotos NT, whose evolution from the E-Lotos standard proved especially suited to this work. We extensively verified the protocol using the Cadp toolbox. This formal analysis helped to detect several issues which enabled us to correct various parts of the protocol. The protocol is implemented in the Synergy virtual machine, the prototype of an ongoing research programme on reconfigurable and robust component-aware virtual machines.