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

Romaric Guillerm (1) , Hamid Demmou (1) , Nabil Sadou (2)

1 LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 IETR - Institut d'Électronique et des Technologies du numéRique

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..

Domaines: Automatique; Systèmes embarqués

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⟩