Practical Analysis Framework for Component Systems with Dynamic Reconfigurations

Olga Kouchnarenko 1, 2 Jean-François Weber 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Dynamic reconfigurations that modify the architecture of component-based systems without incurring any system downtime need to preserve the architectural consistency. In this context, we propose a reconfiguration model based on Hoare logic using sequences and (unlike most of the related work on reconfigurations) the alternative and the repetitive constructs. Using primitive reconfiguration operations as building blocks, this model takes advantage of the predicate-based semantics of programming language constructs and weakest preconditions to treat dynamic reconfigurations in a manner that preserves configuration consistency. Then, after enriching the model with interpreted configurations and reconfigurations in a consistency compatible manner, a conformance relation is exploited to validate component systems' implementations within the environment supporting the Fractal and FraSCAti frameworks. A practical contribution consists of promising experimental results obtained thanks to our implementations, notably on a cloud-based multi-tier hosting environment model managed as a component system.
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
Contributor : Jean-Francois Weber <>
Submitted on : Wednesday, July 15, 2015 - 10:11:37 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on : Friday, October 16, 2015 - 11:55:47 AM


Files produced by the author(s)


  • HAL Id : hal-01135720, version 3


Olga Kouchnarenko, Jean-François Weber. Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. 17th International Conference on Formal Engineering Methods, Nov 2015, Paris, France. ⟨hal-01135720v3⟩



Record views


Files downloads