Skip to Main content Skip to Navigation
Conference papers

A Distributed Algorithm for the Validation of Timed State Machines

Xavier Rebeuf 1 Gerardo Satriano Françoise Simonot-Lion 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we propose an a priori validation technique for time critical systems modelized thanks to timed automata. We validate the model of a given system using a hybrid method combining exhaustive exploration and simulation. For critical parts of the state machine, the exhaustive exploration produces a deterministic proof and a symbolic computation of the resulting clocks and constraints with regard to the initial ones. We can perform simulations of the complete state machine substituting these critical parts with the corresponding symbolic computation. In this paper, we propose an algorithm to automatically partition the automata into independent parts. Therefore, it is possible to parallelize the exhaustive analysis. || Dans ce papier, nous proposons une technique de validation a priori pour les systèmes temps critiques modélisés par des automates temporisés. Nous validons le modèle d'un système en utilisant une méthode hybride qui combine l'exploration exhaustive et la
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:02:29 AM
Last modification on : Friday, February 4, 2022 - 3:30:42 AM
Long-term archiving on: : Wednesday, March 29, 2017 - 1:18:17 PM


  • HAL Id : inria-00107592, version 1



Xavier Rebeuf, Gerardo Satriano, Françoise Simonot-Lion. A Distributed Algorithm for the Validation of Timed State Machines. 6th International Conference On Principles Of DIstributed Systems - OPODIS'02, 2002, Reims/France, 12 p. ⟨inria-00107592⟩



Record views


Files downloads