Sarhane KHALFAOUI 1,2
Edwige GUILHEM 1
Hamid DEMMOU 2
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
Présenté au :
13e colloque Européen de sûreté de fonctionnement
(ESREL 2002), Lyon 19-21 mars 2002, p.455-461.
The paper is in French
This paper deals with safety in design of mechatronic systems. For this purpose, it is important to characterize feared behaviors (which are critical) in the early design stage. In order to help designers taking into account safety constraints, the feared behaviors have to be directly derived from a system model. A qualitative and quantitative analysis of these behaviors are necessary to select good architectures. The qualitative analysis points out all the behaviors leading to states in which the motorist and the passengers safety is no longer guaranteed. We are proposing a method based on a qualitative analysis of a Petri net model of the system. It allows to derive feared scenarios by determining the sequences of actions and state changes leading to the feared state. Finally we present a comparison between Fault trees and the results obtained by our approach.