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

https://hal.inria.fr/inria-00091569
Contributor : Eric Madelaine <>
Submitted on : Wednesday, September 6, 2006 - 4:28:01 PM
Last modification on : Friday, January 8, 2021 - 11:14:19 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:47:58 AM

Identifiers

  • HAL Id : inria-00091569, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

633

Files downloads

656