A Distributed Algorithm for the Validation of Timed State Machines - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

A Distributed Algorithm for the Validation of Timed State Machines

Xavier Rebeuf
  • Function : Author
  • PersonId : 835380
Gerardo Satriano
  • Function : Author


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
Fichier principal
Vignette du fichier
A02-R-267.pdf (318.88 Ko) Télécharger le fichier

Dates and versions

inria-00107592 , version 1 (19-10-2006)


  • 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⟩
80 View
24 Download


Gmail Facebook X LinkedIn More