The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
A Formal Framework for On-line Software Version Change
IEEE Transactions on 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
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
A Component Framework for Dynamic Reconfiguration of Distributed Systems
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A Dynamic Reconfiguration Service for CORBA
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Dynamic updates: another middleware service?
MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
Providing dynamic update in an operating system
ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
POLUS: A POwerful Live Updating System
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Mutatis Mutandis: Safe and predictable dynamic software updating
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates
IEEE Transactions on Software Engineering
Contextual effects for version-consistent dynamic software updating and safe concurrent programming
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Runtime software adaptation: framework, approaches, and styles
Companion of the 30th international conference on Software engineering
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
Dynamic software updates: a VM-centric approach
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Cooperative update: a new model for dependable live update
Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades
Version-consistent dynamic reconfiguration of component-based distributed systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Modular software upgrades for distributed systems
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
| Hi-index | 0.00 |
Dynamic evolution is a key aspect of the design, development, and maintenance of complex and distributed software systems built by integrating components. Evolution, traditionally obtained by producing software upgrades, may derive from changes in the requirements or in the environment, from the need to incorporate new implemented versions and optimizations. Upgrades typically require the software system to be shutdown, updated and restarted. However a large number of applications require to offer a continuous service and need to be updated at run-time. This paper addresses the problem of dynamic update of software components. A model-based approach is proposed to classify different classes of dynamic component update. For each of these classes, a set of updatable states of the current component is identified and mapped into a state of its new version. The proposed state transformation allows the component to be updated at run-time and satisfies the correctness criterion we defined in an earlier work.