Experiments with distributed Model-Checking of group-based applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Experiments with distributed Model-Checking of group-based applications

Résumé

Group-based distributed systems are specific cases of distributed applications with a parameterized topology. They are naturally modelled by systems with a very large state space. We encode the behavioural semantics of group-based applications using the intermediate format FIACRE. We have experimented with model-checking of such systems, using the CADP verification toolset, and in particular the distributor tool. This allowed us to generate very large but finite state-space on the PacaGrid cloud infrastructure. We have then been able to compare different techniques for generating state-spaces, and experiment with different sizes of the modelled system and of the experimental platform.
Fichier principal
Vignette du fichier
05_Madelaine_SAFA2010_final.pdf (41.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00538499 , version 1 (23-11-2010)

Identifiants

  • HAL Id : inria-00538499 , version 1

Citer

Ludovic Henrio, Eric Madelaine. Experiments with distributed Model-Checking of group-based applications. Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 3p. ⟨inria-00538499⟩
138 Consultations
72 Téléchargements

Partager

Gmail Facebook X LinkedIn More