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