Using Temporal Logic for Dynamic Reconfigurations of Components - Archive ouverte HAL
Conference Papers Year : 2010

Using Temporal Logic for Dynamic Reconfigurations of Components

Abstract

Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architectures to evolve at run-time. This paper deals with the formal specification and verification of dynamic reconfigurations of those systems using architectural constraints and temporal logic patterns. The proposals of the paper are applied to the Fractal component model. Given a Fractal reference implementation of a component-based system, we specify its dynamic reconfigurations using a temporal pattern logic for Fractal, called FTPL, characterizing the correct behaviour of the system under some architectural constraints. We study system reconfigurations on which we verify these requirements, in particular by reusing the FPath and FScript tools.
Fichier principal
Vignette du fichier
dkl10_ip.pdf (331.98 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00662875 , version 1 (25-01-2012)

Identifiers

  • HAL Id : hal-00662875 , version 1

Cite

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal. ⟨hal-00662875⟩
171 View
104 Download

Share

More