Practical Analysis Framework for Component Systems with Dynamic Reconfigurations

Olga Kouchnarenko (1, 2) , Jean-François Weber (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
2 CASSIS - Combination of approaches to the security of infinite states systems

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 introduce new guarded reconfigurations to build reconfigurations based on primitive operations using sequences of reconfigurations and (unlike most of the related work on reconfigurations) the alternative and the repetitive constructs, while preserving architectural consistency for non primitive reconfigurations. Then, after enriching the model with interpreted configurations and reconfigurations in a consistency compatible way, 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.

Domaines: Modélisation et simulation

Olga Kouchnarenko, Jean-François Weber. Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. 2015. ⟨hal-01135720v2⟩