Communicating sequential processes
Communicating sequential processes
The Z notation: a reference manual
The Z notation: a reference manual
Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Selected papers of the Second Workshop on Concurrency and compositionality
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects
IEEE Transactions on Software Engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Communication and Concurrency
Garp: Graph Abstractions for Concurrent Programming
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Transparent Dynamic Reconfiguration for CORBA
DOA '01 Proceedings of the Third International Symposium on Distributed Objects and Applications
A Model for Updating Real-Time Applications
Real-Time Systems
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
A Calculus for Dynamic Reconfiguration with Low Priority Linking
Electronic Notes in Theoretical Computer Science (ENTCS)
RPL: a policy language for dynamic reconfiguration
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Hi-index | 0.00 |
This paper presents the first step towards a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. The first version of our formalism (CCSdp) is focused on dynamic process reconfiguration. That is, process creation, deletion and replacement at run-time. We illustrate the process through which CCSdp is being developed using a series of trials in modelling a highly simplified sensor array, in order to determine the simplest construct necessary for modelling process reconfiguration. We define the syntax and operational semantics of CCSdp, and identify a bisimulation for further investigation.