Ce travail de thèse porte sur l'élaboration de modèles de haut-niveau de systèmes pluridisciplinaires à base d'électronique. L'objectif est de réaliser des prototypes virtuels de ces systèmes et de vérifier formellement leur comportement dès les premières étapes du cycle de conception. Grâce à une approche descendante et au formalisme HiLeS, nous réalisons des représentations hiérarchiques qui associent des réseaux de Petri à un ensemble de blocs et de canaux interagissant mutuellement. Nous avons développé l'outil HiLeS Designer pour rendre utilisable le formalisme avec plusieurs améliorations opérationnelles telles que le couplage avec un outil d'analyse de réseaux de Petri (TINA) et la compatibilité avec VHDL-AMS. Nous proposons donc, une plate-forme de conception amont autour de l'outil HiLeS Designer avec des passerelles vers TINA et VHDL-AMS. L'utilisation de cette plate-forme nous a permis d'identifier plusieurs perspectives de développement, notamment vers la conduite de projet.

Afin de contribuer à étendre le champ d'applications des microsystèmes à des nouvelles applications à haute valeur ajoutée mais faible série, il apparait nécessaire d'estimer et d'analyser la fiabilité d'un microsystème en prenant en compte les conditions d'utilisation. C'est pour répondre à cette problématique que les travaux de cette thèse ont été réalisés en vue de mettre en place une méthodologie d'étude de la fiabilité des microsystèmes par le biais de la modélisation. En effet, en réalisant un prototype virtuel complet d'un microsystème, on peut non seulement prédire son comportement dans n'importe quelles conditions environnementales d'utilisation mais aussi l'optimiser avant de lancer sa fabrication. Pour démontrer la faisabilité de cette méthode, les travaux ont été menés sur les actionneurs électrothermiques. Pour cela, nous avons (1) mis en place un modèle analytique du comportement idéal de la structure en utilisant la méthode des éléments finis mais surtout le langage VHDL-AMS, (2) fabriqué et caractérisé des véhicules de tests pour valider ce modèle, (3) réalisé des tests de vieillissement pour mettre en évidence les mécanismes de défaillance et enfin (4) avons mis en place des modèles empiriques de ce vieillissement pour compléter la description analytique.

Ce travail de thèse porte sur la problématique de conception et de réalisation dun microsystème multicapteurs communicant pour une application Génie Civil. Il présente et définit la problématique de recherche et de développement de nouvelles générations doutils pour la conception système et traite conjointement un exemple dapplication proposant notamment une solution de mesure de micro-déplacement sur site. Il a associé le LAAS-CNRS et EDF R&D. Nous faisons dabord le point sur la dynamique de développement microsystème et rappelons les méthodes de conception et dintégration de systèmes à base de composants COTS. Le projet qui nous concerne est ensuite présenté et analysé par la méthode de lanalyse du besoin pour établir un cahier des charges, porte dentrée de la démarche générale de conception. Cette étude montre, sur lexemple proposé, les étapes que nous avons conduites pour atteindre le stade des spécifications validées. La méthodologie de conception amont proposée associe la démarche Top-Down et SysML pour réduire au maximum le lien entre le cahier des charges et la première représentation modélisée du système. Cette modélisation amont, indépendante de limplémentation, est effectuée sous loutil HiLeS et ouvre la voie de la première vérification du système, par le biais de la logique temporelle. Ensuite, les choix dagrégation, de sélection et dimplémentation des composants sont décrits et permettent daboutir à la modélisation fonctionnelle sous VHDL-AMS et au prototypage virtuel. Enfin, ce travail présente les étapes dintégration et les choix de composants qui mènent au prototype réel. Une première validation de ce prototype réalisé est effectuée par des mesures sur site.

La complexité des microsystèmes, leur multidisciplinarité, l'hétérogénéité des matériaux utilisés et les interfaces avec l'environnement extérieur rendent difficiles l'évaluation et la maîtrise de leur fiabilité indispensables pour l'exploitation des nombreuses possibilités innovantes qu'ils offrent. L'approche que nous avons proposée dans ce travail, afin de prédire la fiabilité des microsystèmes, se fonde sur l'usage intensif de la modélisation et de la simulation, dans les conditions d'usage du microsystème (profil de mission), en associant donc l'évaluation de la fiabilité à la démarche de conception : avant d'entreprendre une modélisation fonctionnelle de type VHDL-AMS, les objectifs de fiabilité sont exprimés explicitement dans le cahier des charges du microsystème, au même titre que les objectifs plus habituels de performances. Afin de supporter nos travaux, nous avons appliqué cette démarche de prédiction de la fiabilité sur deux types de microsystèmes : - des micro-actionneurs électrothermiques. - des commutateurs RF capacitifs à actionnement électrostatique.