On Formalisms for Dynamic Reconfiguration of Dependable Systems

This work addresses the problem of ensuring dependability in dynamically reconfigurable systems for software engineering, but it is incremental as it compares existing formalisms without introducing new methods.

The paper evaluated three formalisms (VDM, Maude, and basic CCSdp) for modeling and verifying dynamic software reconfiguration, using a simple office workflow case study, with initial results reported as the research is ongoing.