ESA PetriNet version Hybride : Outil d'Analyse de Fiabilité des Systèmes Hybrides - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

ESA PetriNet version Hybride : Outil d'Analyse de Fiabilité des Systèmes Hybrides

Abstract

Ce papier pr'esente une nouvelle version d'ESA PetriNet (http ://www.laas.fr/ESA), un outil de g'en'eration de scénarii redout'es. L'outil permet toujours de dériver les scénarii qui conduisent le système dans un état redouté ou critique, en considérant, cette fois, directement le modèle hybride du système (Réseaux de Petri Prédicat-Transitions Différentiels (RdP PTD)). Ainsi, l'abstraction temporelle faite pour les versions précédentes d'ESA PetriNet n'est plus nécessaire, puisque l'algorithme implémenté traite directement le modèle hybride (association des réseaux de Petri avec des équations différentielles). De plus, l'outil délivre les scénarii minimaux, c'est-à-dire qu'il fournit l'information strictement nécessaire pour le concepteur..
Not file

Dates and versions

hal-00446438 , version 1 (12-01-2010)

Identifiers

  • HAL Id : hal-00446438 , version 1

Cite

Romaric Guillerm, Hamid Demmou, Nabil Sadou. ESA PetriNet version Hybride : Outil d'Analyse de Fiabilité des Systèmes Hybrides. Evaluation des performances et maîtrise des risques technologiques pour les systèmes industriels et énergétiques, May 2009, Le Havre, France. pp.NC. ⟨hal-00446438⟩
106 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More