Component Substitution through Dynamic Reconfigurations

Arnaud Lanoix 1 Olga Kouchnarenko 2, 3
3 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 : Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework---a model with dynamic reconfigurations making the system evolve---with a new reconfiguration operation which "substitutes" components by other components, and to study its impact on sequences of dynamic reconfigurations. % Firstly, we define \emph{substitutability constraints} which ensure the component encapsulation while performing reconfigurations by component substitutions. Then, we integrate them into a \emph{substitutability-based simulation} to take these substituting reconfigurations into account on sequences of dynamic reconfigurations. Thirdly, as this new relation being in general undecidable for infinite-state systems, we propose a semi-algorithm to check it on the fly. Finally, we report on experimentations using the B tools to show the feasibility of the developed approach, and to illustrate the paper's proposals on an example of the HTTP server.
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00935129
Contributor : Arnaud Lanoix <>
Submitted on : Thursday, January 23, 2014 - 10:33:22 AM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on : Thursday, April 24, 2014 - 11:50:21 AM

File

submitted_fesca2014_13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00935129, version 1

Citation

Arnaud Lanoix, Olga Kouchnarenko. Component Substitution through Dynamic Reconfigurations. 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, Apr 2014, Grenoble, France. 14 p. ⟨hal-00935129⟩

Share

Metrics

Record views

553

Files downloads

178