Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet

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

1 LAAS-ISI - Équipe Ingénierie Système et Intégration
2 IETR - Institut d'Électronique et des Technologies du numéRique

Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It consists in determining a sequence of events represented by transition firings in the Petri net model that leads the system from normal working to critical situation. ESA PetriNet allows deriving only pertinent scenarios. Minimality of these scenarios (composed by the necessary events) is introduced to facilite the analysis step.

Mots clés: Petri net; dependability analysis; embedded system; feared scenario; minimality

Domaines: Génie logiciel [cs.SE]

Romaric Guillerm, Nabil Sadou, Hamid Demmou. Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p. ⟨hal-00380707⟩