Hamid DEMMOU 1
Sarhane KHALFAOUI 1,2
Edwige GUILHEM 2
Robert VALETTE 1
1 LAAS CNRS, Toulouse
{hamid, robert}@laas.fr
2 PSA Peugeot Citroën DINQ/SIPP/EIEV, La Garenne Colombes
{edwige.guilhem, sarhane.khalfaoui}@mpsa.com
Published in:
Reliability Engineering and System Safety 84
(2004) 33-44
Available online at www.sciencedirect.com
ELSEVIER
This paper deals with safety in design of mechatronic systems. We propose a method based on a qualitative analysis of a Petri net model of the system. It allows deriving feared scenarios by determining the sequences of actions and state changes leading to the feared state in which the passenger's safety is no longer guaranteed. The Petri net model of the system takes into account normal behaviour, failures and reconfiguration mechanisms. Our approach uses linear logic as formal framework and is based on a backward and a forward reasoning. It derives feared scenarios as causal relationships between normal states and the feared one.
Reliability in design; Feared scenarios; Mechatronic systems; Petri net; Linear logic; Hybrid systems