On Validity Assurance of Dynamic Reconfiguration for Component-based Programs

Authors:
Mahdi Niamanesh;Nafiseh Fekrazad Nobakht;Rasool Jalili;Faranak Heydarian Dehkordi
Affiliations:
Department of Computer Engineering, Sharif University of Technology, Tehran, Iran;Department of Computer Engineering, Sharif University of Technology, Tehran, Iran;Department of Computer Engineering, Sharif University of Technology, Tehran, Iran;Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 11
Cited 0

Constructing Distributed Systems in Conic

IEEE Transactions on Software Engineering
On line software version change using state transfer between processes

Software—Practice & Experience
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Self-adapting concurrency: the DMonA architecture

WOSS '02 Proceedings of the first workshop on Self-healing systems
Event-Based Execution Architectures for Dynamic Software Systems

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Component technology: what, where, and how?

Proceedings of the 25th International Conference on Software Engineering
On the Role of Software Architectures in Runtime System Reconfiguration

CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
DiPS: A Unifying Approach for Developing System Software

HOTOS '01 Proceedings of the Eighth Workshop on Hot Topics in Operating Systems
Dynamic software updating

Dynamic software updating
Dynamic C++ classes: a lightweight mechanism to update code in a running program

ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
A survey of active network research

IEEE Communications Magazine

Quantified Score

Hi-index	0.01

Visualization

Abstract

Growing the need for long-life and high-available programs, dynamic reconfiguration is going to be an important research issue. Dynamic reconfiguration enables the software systems to change at runtime to decrease their down-time in case of any updating, upgrading or in any changes. Any invalid reconfiguration at runtime may lead programs into invalid states. In this paper, we investigate on validity of dynamic reconfiguration for component-based programs and propose validity conditions for it. We show that the problem of validity assurance in general is undecidable and there is no general-purpose algorithm to verify dynamic reconfiguration validity. To have a computable algorithm for validity check we present some sufficient conditions for achieving validity.