ESA PetriNet: Petri net Based Tool for Reliability Analysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

ESA PetriNet: Petri net Based Tool for Reliability Analysis

Résumé

This paper describes the critical (feared) scenarios derivation tool ESA PetriNet (Extraction Scenarios Algorithm from Petri Net) available from : http://www.laas.fr/ESA. ESA PetriNet allows to derive scenarios leading to critical (feared) situation in embedded systems. The system model is given by a Petri net. To derive critical scenarios and to avoid the state space explosion, the solution is to use directly the Petri net model. Linear logic (which does not appears in this paper)offers a theoretical framework to interpret the Petri net model and to extract the scenarios. ESA PetriNet provides all minimal scenarios which contain strictly necessary and sufficient events to reach a specified state. ESA PetriNet can be used with classical Petri net modelling or in its objects oriented version.
Fichier principal
Vignette du fichier
SMC2009_Outil_Final.pdf (270.52 Ko) Télécharger le fichier
SMC_SanAntonio_v1.ppt (1.54 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre
Loading...

Dates et versions

hal-00766146 , version 1 (19-12-2012)

Identifiants

  • HAL Id : hal-00766146 , version 1

Citer

Romaric Guillerm, Hamid Demmou, Nabil Sadou. ESA PetriNet: Petri net Based Tool for Reliability Analysis. 2009 IEEE International Conference on Systems, Man, and Cybernetics, Oct 2009, San Antonio, Texas, United States. 6p. ⟨hal-00766146⟩
303 Consultations
472 Téléchargements

Partager

Gmail Facebook X LinkedIn More