Integrated Environment for Verifying and Running Distributed Components

Ludovic Henrio 1, * Oleksandra Kulankhina 2 Siqi Li 3 Eric Madelaine 4
* Auteur correspondant
2 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
4 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Abstract : 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.
Type de document :
Communication dans un congrès
Perdita Stevens; Andrzej Wąsowski. Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. Springer, Lecture Notes in Computer Science, 9633, pp.66-83, 2016, Fundamental Approaches to Software Engineering. <http://www.springer.com/us/book/9783662496640>. <10.1007/978-3-662-49665-7_5>
Liste complète des métadonnées


https://hal.inria.fr/hal-01303557
Contributeur : Oleksandra Kulankhina <>
Soumis le : lundi 18 avril 2016 - 13:01:56
Dernière modification le : mardi 13 décembre 2016 - 15:45:49
Document(s) archivé(s) le : mardi 15 novembre 2016 - 05:48:04

Fichier

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

Identifiants

Collections

Citation

Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine. Integrated Environment for Verifying and Running Distributed Components. Perdita Stevens; Andrzej Wąsowski. Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. Springer, Lecture Notes in Computer Science, 9633, pp.66-83, 2016, Fundamental Approaches to Software Engineering. <http://www.springer.com/us/book/9783662496640>. <10.1007/978-3-662-49665-7_5>. <hal-01303557>

Partager

Métriques

Consultations de
la notice

160

Téléchargements du document

93