Integrated Environment for Verifying and Running Distributed Components

Ludovic Henrio 1, * Oleksandra Kulankhina 2 Siqi Li 3 Eric Madelaine 4
* Corresponding author
2 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
Laboratoire I3S - 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 , Laboratoire I3S - 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.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01303557
Contributor : Oleksandra Kulankhina <>
Submitted on : Monday, April 18, 2016 - 1:01:56 PM
Last modification on : Thursday, December 6, 2018 - 8:56:01 AM
Long-term archiving on : Tuesday, November 15, 2016 - 5:48:04 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

397

Files downloads

219