Skip to Main content Skip to Navigation
Documents associated with scientific events

Modélisation et vérification d'un réseau de communication embarqué avec FIACRE/TINA

Abstract : In this poster, we present our thesis work on modelisation and verification with FIACRE/ TINA. First, we build a formal model of our case study with FIACRE, a formal language to represent both the behavioural and timing aspects of real time systems. Then we exploit its structural symmetries to minimize the combinatorial explosion. TINA is a tool for the analysis of Time Petri Net. It allows for the model-checking of LTL formula on a state space abstraction of a TPN. We extend FIACRE and TINA for the specification and reduction of symmetry. First experimental results are shown.
Document type :
Documents associated with scientific events
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-00876644
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Friday, October 25, 2013 - 11:40:53 AM
Last modification on : Wednesday, June 1, 2022 - 4:15:24 AM
Long-term archiving on: : Friday, April 7, 2017 - 5:39:05 PM

File

Bourdil.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00876644, version 1

Citation

Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn, François Vernadat. Modélisation et vérification d'un réseau de communication embarqué avec FIACRE/TINA. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. ⟨hal-00876644⟩

Share

Metrics

Record views

369

Files downloads

310