Skip to Main content Skip to Navigation

Définition d'une méthodologie de conception des systèmes mécatroniques sûrs de fonctionnement

Abstract : The introduction of embedded electronic in car industry induced a technological revolution that will last for years. Embedded electronic systems are more and more complex and their features involve the adaptation and structuring of the whole design activities. Verification, validation, design, and of course safety analysis should be integrated in a same process. First, we identify a class of formalism able to represent the functional and behavioral aspects of the system, and suited for hybrid and real time features. This model is the support of the methodology. Then, we propose an exploitation of formal methods, such as model-checking, to validate and check properties of the model and complement usual methods like tests and simulations. Finally, we particularly emphasize the dependability aspects. A method, based on the construction of an aggregated Markov graph, is developed. The advantage of this approach is to be able to model and assess the reliability of a dynamic hybrid system. The main steps consist in spliting up the dynamic of the system and the dynamic of the failure process by the mean of the singular perturbation method. Then, we identify and we evaluate variables of the system which interact with the failure dynamic. Simulation is used to estimate these variables, because of its ability to handle complex systems. The variables are then integrated in the aggregated Markov graph.
Document type :
File URL :
Complete list of metadatas
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:37:01 PM
Last modification on : Tuesday, August 25, 2020 - 10:56:53 AM


  • HAL Id : tel-01750067, version 1



Jean-François Schoenig. Définition d'une méthodologie de conception des systèmes mécatroniques sûrs de fonctionnement. Autre. Institut National Polytechnique de Lorraine, 2004. Français. ⟨NNT : 2004INPL085N⟩. ⟨tel-01750067⟩



Record views