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

La complexité croissante et la spécificité des systèmes embarqués nécessitent de structurer l'ensemble des activités de développement: vérification, validation, conception et sûreté de fonctionnement. Nous identifions d'abord les formalismes de modélisation supports de la méthodologie, en cohérence avec les particularités hybrides et temps réel des systèmes mécatroniques. Ensuite nous proposons d'exploiter la technique de model-checking pour vérifier et valider le système en complément des tests et simulations habituellement utilisées dans l'industrie. Enfin, nous proposons de construire un graphe de Markov agrégé pour évaluer la fiabilité des systèmes dynamiques hybrides. Les étapes consistent à découpler les dynamiques du système et du processus de défaillance grâce à la théorie des perturbations singulières puis d'identifier et estimer par de simples simulations les grandeurs physiques influençant la dynamique des défaillances. Celles-ci sont alors intégrées dans le graphe agrégé.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 safety analysis. 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 model-checking, to validate and check properties of the model and complement usual methods like tests and simulations. Finally, an aggregated Markov graph is generated to model and assess the reliability of a dynamic hybrid system. The main steps consist in splitting 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 by simulation variables of the system which interact with the failure dynamic. The variables are then integrated in the aggregated Markov graph.NANCY/VANDOEUVRE-INPL (545472102) / SudocSudocFranceF