Integrated environment for verifying and running distributed components -Extended version - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

Integrated environment for verifying and running distributed components -Extended version

Un environnement intégré pour la vérification et l’éxécution de composants distribués - Version étendue

Résumé

This paper targets the generation of distributed applications with safety guarantees. The proposed approach starts from graphical specification formalisms allowing the architectural and behavioral description of component systems. From this point, the user can automatically verify application properties using model-checking techniques. Finally, the specified and verified component model can be translated into executable Java code. We implement our approach in a tool suite distributed as an Eclipse plugin. This paper also illustrates our approach by modeling and verifying Peterson’s leader election algorithm.
Ce travail concerne la génération d’applications distribuées avec garanties de bon fonctionnement. L’approche proposée commence avec des formalismes graphiques permettant la spécification architecturale et comportementale des systèmes de composants. Ensuite, l’utilisateur peut vérifier automatiquement les propriétés de l’application en utilisant des techniques de model-checking. Enfin, le modèle spécifié et vérifié peut être traduit en code exécutable Java. Nous mettons en oeuvre notre approche dans une suite d’outils Eclipse distribués sous forme de plugin. Ce rapport illustre notre approche par la modélisation et la vérification de l’algorithme d’élection distribué de Peterson.
Fichier principal
Vignette du fichier
RR8841.pdf (1.74 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01252323 , version 1 (07-01-2016)

Identifiants

  • HAL Id : hal-01252323 , version 1

Citer

Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine. Integrated environment for verifying and running distributed components -Extended version. [Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24. ⟨hal-01252323⟩
233 Consultations
159 Téléchargements

Partager

Gmail Facebook X LinkedIn More