HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Enabling Dynamic Co-evolution of Models and Runtime Applications

Abstract : Dynamic software adaptation can cause the running system to be out-of-synchronous with its model, and, thus, make the system model obsolete for the use in consistency checking. In this paper, we propose a framework for ensuring the synchronization between the model and the runtime system during dynamic adaptation. I.e., this framework maintains the high-level model of the runtime system, which is essential for system validation. We are also plugging several model validation tools to the framework, for performing system validation during dynamic adaptation.
Document type :
Conference papers
Complete list of metadata

Contributor : Anne-Françoise Le Meur Connect in order to contact the contributor
Submitted on : Tuesday, August 19, 2008 - 11:35:35 AM
Last modification on : Friday, February 4, 2022 - 3:17:11 AM




Sriplakich Prawee, Guillaume Waignier, Anne-Françoise Le Meur. Enabling Dynamic Co-evolution of Models and Runtime Applications. 32nd Annual IEEE International COMPSAC'08, Jul 2008, Turku,, Finland. pp.1116-1121, ⟨10.1109/COMPSAC.2008.39⟩. ⟨inria-00311581⟩



Record views