Skip to Main content Skip to Navigation
Reports

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
Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Document type :
Reports
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01252323
Contributor : Eric Madelaine <>
Submitted on : Thursday, January 7, 2016 - 4:43:15 PM
Last modification on : Tuesday, January 12, 2021 - 8:44:01 AM
Long-term archiving on: : Friday, April 8, 2016 - 1:25:09 PM

File

RR8841.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

483

Files downloads

239