Skip to Main content Skip to Navigation

Méthode de recherche des scénarios redoutés pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile

Abstract : New cars include more and more electronic embedded systems that enhance considerably their performances. These systems are composed of mechanic, hydraulic, electronic and computing parts, and called mechatronic systems. For the designer, their benefit lies in the large software flexibility to implement new functions. However, this flexibility contributes to increase their complexity and may add safety problems. That is why it is necessary to make reliability studies in order to guaranty a high safety level. In order to reduce costs and duration of the development phase, these studies must be done as soon as possible. In fact, we detect and correct conception errors in the early design stage. Classical methods of safety, as fault trees, are not sufficient to deal with this kind of complex and hybrid systems because they are inherently static. This motivates the car maker PSA Peugeot Citroën and the Laboratory LAAS to make together research about a new methodology for designing safe mechatronic systems. My thesis focuses on qualitative analysis of mechatronic systems safety in order to derive feared scenarios. Identifying these scenarios allows us to evaluate their occurrence probabilities and helps then designers to select the safe architecture. The hybrid aspect of mechatronic systems leads us to choose a model that associates Petri nets and differential equations. The Petri net model describes the operation modes, the failures and the reconfiguration mechanisms. The differential equations represent the evolution of continuous variables of the energetic part of the system. Based on a clear separation between continuous and discrete parts, this model allows us to make a causality based analysis (thanks to Linear logic) to point out the sequences of actions and state changes that lead to a feared situation. The advantage of our approach is that we can express partial order of transition firings and focus the search on the parts of the model that are interesting for sa fety analysis, without generating the reachability graph. We avoid then the combinatorial explosion problem. Finally, we developed an algorithm which makes automatic derivation of feared scenarios.
Document type :
Complete list of metadata

Cited literature [88 references]  Display  Hide  Download
Contributor : Emilie Marchand <>
Submitted on : Tuesday, November 22, 2005 - 10:45:14 AM
Last modification on : Friday, January 10, 2020 - 9:08:09 PM
Long-term archiving on: : Friday, April 2, 2010 - 11:10:39 PM


  • HAL Id : tel-00011077, version 1


Sarhane Khalfaoui. Méthode de recherche des scénarios redoutés pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile. Automatique / Robotique. Institut National Polytechnique de Toulouse - INPT, 2003. Français. ⟨tel-00011077⟩



Record views


Files downloads