Integrated environment for verifying and running distributed components -Extended version

Ludovic Henrio 1 Oleksandra Kulankhina 1 Siqi Li 2 Eric Madelaine 1
1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : 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.
Type de document :
Rapport
[Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01252323
Contributeur : Eric Madelaine <>
Soumis le : jeudi 7 janvier 2016 - 16:43:15
Dernière modification le : vendredi 16 septembre 2016 - 15:05:41
Document(s) archivé(s) le : vendredi 8 avril 2016 - 13:25:09

Fichier

RR8841.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01252323, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de
la notice

328

Téléchargements du document

119