La révolution technologique que connaît le secteur automobile avec la multiplication des<br />systèmes électroniques et informatiques embarqués n'est pas près de s'essouffler. Il est<br />manifeste que la complexité croissante et la spécificité des systèmes embarqués justifieront de<br />plus en plus le besoin de structurer l'ensemble des activités de développement. Vérification,<br />validation, conception et bien entendu sûreté de fonctionnement font partie intégrante d'un<br />même processus. Nous cherchons tout d'abord à définir un formalisme de modélisation<br />fonctionnelle et comportementale, support de la méthodologie, et en cohérence avec les<br />spécificités des systèmes mécatroniques. En particulier, les aspects hybrides et temps réel<br />doivent pouvoir être représentés. Ensuite, sur le plan de la vérification et de la validation,<br />nous proposons d'exploiter les méthodes formelles, telles que le model-checking, en<br />complément des tests et des simulations habituellement utilisées dans l'industrie. Enfin nous<br />attachons une importance centrale à la sûreté de fonctionnement. Afin de pallier aux<br />insuffisances et aux limites des méthodes habituellement utilisées, nous proposons une<br />approche basée sur la construction d'un graphe de Markov agrégé. L'originalité tient dans sa<br />capacité de répondre à un problème de représentation et d'évaluation de la fiabilité des<br />systèmes dynamiques hybrides. Les principales étapes consistent à découpler la dynamique du<br />système et la dynamique du processus de défaillance grâce à la théorie des perturbations<br />singulières, puis d'identifier et estimer les grandeurs du système influençant la dynamique des<br />défaillances. Ces grandeurs sont évaluées par de simples simulations dans le but de pouvoir<br />traiter des systèmes complexes. Ceux-ci sont alors intégrés dans le graphe agrégé.