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 , 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.
Type de document :
Communication dans un congrès
Formal Aspect of Component Systems, Sep 2006, Prague / Tcheque republic, ENTCS, 2006
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00091569
Contributeur : Eric Madelaine <>
Soumis le : mercredi 6 septembre 2006 - 16:28:01
Dernière modification le : mercredi 31 janvier 2018 - 10:24:04
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:47:58

Fichier

Identifiants

  • 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, ENTCS, 2006. 〈inria-00091569〉

Partager

Métriques

Consultations de la notice

509

Téléchargements de fichiers

347