Integrated Environment for Verifying and Running Distributed Components - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Integrated Environment for Verifying and Running Distributed Components

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.
Fichier principal
Vignette du fichier
paper.pdf (771.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01303557 , version 1 (18-04-2016)

Identifiants

Citer

Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine. Integrated Environment for Verifying and Running Distributed Components. Fundamental Approaches to Software Engineering, Perdita Stevens; Andrzej Wąsowski, Apr 2016, Eindhoven, Netherlands. pp.66-83, ⟨10.1007/978-3-662-49665-7_5⟩. ⟨hal-01303557⟩
233 Consultations
213 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More