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

Model-checking Distributed Components: The Vercors Platform

Tomás Barros 1 Antonio Cansado 2 Eric Madelaine 2 Marcela Rivera 2
2 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From the behavioural specification of primitive components, and from the architectural description of the composite components, our tools build models encoding the interactions between the components, suitable for analysis by model-checking tools. The models are hierarchical and parameterized, expressing in a compact way the system behaviour. Then we have tools for instantiating those parameterized models using finite abstractions, and producing input for state-of-the-art verification tools. Our current work also targets the generation of models that include controllers modelling the dynamic management of architectural transformation of an application, such as changes in bindings or replacement of sub-components. We describe the existing tools, give tracks for further developments and show how realistic case-studies can be model-checked using our platform.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

Contributor : Eric Madelaine Connect in order to contact the contributor
Submitted on : Wednesday, September 6, 2006 - 4:28:01 PM
Last modification on : Friday, February 4, 2022 - 3:11:29 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:47:58 AM


  • HAL Id : inria-00091569, version 1



Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera. Model-checking Distributed Components: The Vercors Platform. Formal Aspect of Component Systems, Sep 2006, Prague / Tcheque republic. ⟨inria-00091569⟩



Record views


Files downloads