Sarhane KHALFAOUI 1,2
Hamid DEMMOU 2
Edwige GUILHEM 1
Robert VALETTE 2
1 PSA Peugeot Citroën DINQ/SIPP/EIEV, La Garenne Colombes
{guilhem1, khalfaou}@mpsa.com
2 LAAS CNRS, Toulouse
{hamid, robert}@laas.fr
Presented at:
2002 IEEE International Conference on Systems, Man and Cybernetics
SMC'02, Hammamet (Tunisie), 6-9 October 2002.
To evaluate the reliability of mechatronic systems, the feared scenarios should be known in order to choose the safe architecture of the system, during the development phase. The aim of this work is to propose an algorithm for deriving the critical scenarios from a Petri net model. These scenarios characterise how the system leaves the normal operation to go to the feared state by determining the sequences of actions and state changes leading to a dangerous situation.
Petri net, mechatronic systems, safety, reliability in design.