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
Type de document :
Communication dans un congrès
6th International Conference On Principles Of DIstributed Systems - OPODIS'02, 2002, Reims/France, 12 p, 2002
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107592
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:02:29
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:18:17

Identifiants

  • HAL Id : inria-00107592, version 1

Collections

Citation

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, 2002. 〈inria-00107592〉

Partager

Métriques

Consultations de la notice

151

Téléchargements de fichiers

40