Les travaux présentés dans ce mémoire visent à s'assurer que la complexité des parties informatiques et électroniques de systèmes embarqués sur l'automobile ne conduise pas globalement à une dégradation de la sûreté de fonctionnement du véhicule par rapport à un véhicule équipé de commandes mécaniques. La tendance actuelle vers l'intégration des différents systèmes électroniques embarqués nous a conduit à comparer différents réseaux multiplexés du domaine d'automobile au niveau de leur sûreté de fonctionnement. C'est dans cette optique également que nous développons un spectre d'architectures qui nous permet d'illustrer, classifier et comparer différentes possibilités existantes entre une architecture entièrement fédérée à un bout du spectre et une architecture entièrement intégrée à l'autre. Après une comparaison qualitative des architectures présentées (avec un effet de loupe sur l'aspect coût), nous focalisons sur l'évaluation quantitative de leur sûreté de fonctionnement. Parmi les différentes techniques d'évaluation généralement employées nous choisissons la technique d'évaluation probabiliste par Réseaux de Petri Stochastiques Généralisés. L'originalité de la méthode réside dans le fait de modéliser les aspects fonctionnels indépendamment de l'architecture ainsi que de l'activation du véhicule. Nous définissons les mesures de sûreté de fonctionnement à l'aide d'un modèle fonctionnel dont les changements d'état sont dictés par un modèle du calculateur sous-jacent. Plusieurs architectures du calculateur sont modélisées sans changer le modèle fonctionnel. Les résultats obtenus pour deux fonctions, à savoir le coussin gonflable et la direction électronique, permettent en particulier de tirer des conclusions concernant le choix d'une architecture pour une fonction donnée.

L'exploration de l'espace de conception au niveau système est effectuée tôt dans le flot de conception des systèmes embarqués et des systèmes sur puce. L'objectif est d'identifier un partitionnement matériel / logiciel approprié qui réponde à un ensemble de contraintes concernant la fonctionnalité, la performance, la surface de silicium, la consommation d'énergie, etc. Lors des étapes de conception précoces, des modèles de système précis, tels que des modèles RTL, peuvent être encore indisponibles. Par ailleurs, la complexité de ces modèles présente l'inconvénient d'être exigeant et lent dans la vérification. Il est communément admis que le seul remède à ce problème est l'abstraction, ce qui a engendré l'apparition de plates-formes virtuelles basées sur des techniques telles que la modélisation au niveau transactionnel. Étant non fonctionnels, les modèles \textit{approximately timed} vont encore plus loin en faisant l'abstraction de données simplement selon leur présence ou absence et en introduisant des instructions symboliques. La méthodologie DIPLODOCUS et son profil UML correspondant réalisent les abstractions susmentionnées. La méthodologie s'appuie sur l'approche en Y, qui traite des fonctionnalités (appelées application) et leur réalisation (appelée architecture) de manière orthogonale. La sémantique formelle de DIPLODOCUS ouvre conjointement la voie à la simulation et à la vérification formelle, ce qui a été démontré préalablement a ce travail. Cette thèse propose des améliorations à la méthodologie qui permettent la vérification des propriétés fonctionnelles et non fonctionnelles. Au début, nous nous concentrons sur la façon dont les propriétés fonctionnelles sont exprimées. Puisque la vérification des modèles de haut niveau est habituellement réalisée avec la logique temporelle, nous suggérons une façon plus intuitive qui correspond au niveau d'abstraction du modèle qui doit être vérifié. Le langage graphique, mais formel nommé TEPE est la première contribution de ce travail. Pour atteindre un niveau élevé de confiance en vérification dans un délai raisonnable, le modèle doit être exécuté efficacement. La deuxième contribution vise donc une sémantique d'exécution pour les modèles DIPLODOCUS et une stratégie de simulation qui s'appuie sur l'abstraction. L'avantage est qu'une granularité grossière du modèle d'application se traduit directement par une augmentation de la vitesse de simulation. Comme troisième contribution, nous présentons un compromis entre la couverture limitée de la simulation et l'exhaustivité des techniques formelles. Lorsqu'il s'agit de modèles complexes, l'exhaustivité peut être entravée par le problème d'explosion combinatoire. En raison de l'abstraction de données, les modèles d'application DIPLODOCUS comportent des opérateurs non-déterministes. La simulation à couverture élargie vise à exploiter un sous-ensemble, ou bien l'intégralité, des valeurs des variables aléatoires. Par conséquent, une analyse statique des modèles DIPLODOCUS est effectuée et les informations caractérisant la partie significative de l'espace d'état de l'application sont propagées au simulateur. Enfin, nous fournissons des preuves de l'applicabilité des contributions par le biais d'une étude de cas dans le domaine du traitement du signal. Il sera démontré que les propriétés courantes se traduisent aisément en TEPE. Par ailleurs, la simulation rapide et sa couverture élargie fournissent des indications pertinentes qui sont susceptibles d'aider le développeur à configurer une plate-forme radio logicielle.

Ce travail de thèse s'intéresse aux propriétés structurales et optiques de semiconducteurs à grand gap de nitrure d'éléments III (AlxGa1-xN et h-BN), émettant dans l'ultraviolet (4-6 eV). Les propriétés des nano-objets étant modifiées par la réduction de dimensionnalité, un point central de ce travail a consisté à étudier des nanostructures de ces matériaux (nanofils d'AlN et d'AlxGa1-xN, nanotubes et nanofeuillets de BN). Un soin particulier a aussi été apporté à la corrélation à l'échelle nanométrique, entre la structure et la luminescence. Dans un premier temps, les nanofils d'AlxGa1-xN ont été synthétisés par épitaxie par jets moléculaires, sur des nanofils de GaN afin de promouvoir la croissance de nanostructures 1D non coalescées. Nous montrons que le gallium s'incorpore difficilement, aboutissant à des nanofils d'un alliage fortement inhomogène à plusieurs échelles (de l'unité à la centaine de nanomètre). Ces inhomogénéités influencent grandement les propriétés optiques, dominées par des états localisés. L'ensemble des résultats nous a permis de proposer un mécanisme de croissance de ces nanofils. Dans un deuxième temps, les propriétés des nanostructures de BN ont été comparées à celles du matériau massif (le BN hexagonal). Nous montrons que jusqu'à 6 couches les nanofeuillets présentent une luminescence similaire au h-BN. Cela indique une faible influence de la réduction de dimensionnalité dans le h-BN, contrairement aux nanostructures de GaN ou d'AlN. Enfin, nous montrons que les principaux nanotubes étudiés dans ce travail, multiparois, présentent une structure complexe, micro-facettée, et que les défauts sont probablement responsables de la luminescence observée.

La décroissance de la consommation électrique des dispositifs électroniques leur a permis une croissance sans précédent. Néanmoins, les éléments de stockage d'énergie (piles et batteries), bien qu'ayant initialement promus ce développement, sont devenus un frein à la prolifération des microsystèmes électroniques, de part leur durée de vie limitée ainsi que des considérations environnementales (recyclage). Pour palier à ce problème, la possibilité d'exploiter l'énergie de l'environnement immédiat du dispositif a été proposée et a fait l'objet de nombreuses recherches au cours des dernières années. En particulier, la récupération d'énergie mécanique exploitant l'effet piézoélectrique est l'une des pistes les plus étudiées actuellement pour la conception de microgénérateurs autonomes capables d'alimenter les dispositifs électroniques. Par ailleurs, dans ce domaine, il a été démontré qu'un traitement non-linéaire de la tension de sortie de l'élément actif permet d'améliorer les capacités de récupération de l'énergie vibratoire. L'une de ces approches, nommée "Synchronized Switch Harvesting on Inductor" (récupération par commutation synchronisée sur inductance) et consistant en une inversion de la tension de manière synchrone avec le déplacement, s'est montrée particulièrement efficace, pouvant augmenter la quantité d'énergie récupérée par un facteur supérieur à 10. Cette dernière conduit à un processus cumulatif qui augmente artificiellement la tension de sortie de l'élément piézoélectrique ainsi qu'à une réduction du déphasage entre tension et vitesse de déplacement ; ces deux effets conduisant à l'augmentation importante des capacités de conversion. Néanmoins, l'étude des microgénérateurs d'énergie s'est quasiment toujours faite en considérant une excitation sinusoïdale, ce qui correspond rarement à la réalité. Peu de travaux expérimentaux, et encore moins théoriques, ont été menés en considérant une excitation large bande ; ceci étant d'autant plus vrai pour les dispositifs incluant un élément non-linéaire. Ainsi l'objectif de cette thèse est d'étudier le comportement des récupérateurs d'énergie piézoélectriques interfacés de manière non-linéaire. Pour ce faire, différentes approches seront envisagées, en considérant le processus de commutation comme un " auto-échantillonnage " du signal, ou en appliquant des théories d'analyse stochastique pour quantifier les performances du dispositif. Ainsi, plusieurs formes d'excitation appliquée au système pourront être analysées, permettant d'étudier la réponse du système sous des conditions plus réalistes. Toujours dans l'optique d'une implémentation réaliste, un autre objectif de cette thèse consistera à évaluer l'impact de la récupération d'énergie par couplage sismique sur la structure hôte, démontrant la nécessité d'envisager le système dans sa globalité afin de disposer de systèmes performants capables de convertir efficacement l'énergie vibratoire sous forme électrique pour un usage ultérieur.

Ce travail constitue une contribution à l'étude de la synergie entre le vieillissement accéléré et l'évolution de la robustesse aux évènements singuliers pour les technologies MOS avancées. Ce manuscrit expose le travail fait autour de la Caractérisations des mécanismes de dégradation NBTI, HCI, TDDB et Electromigration sur les structures de tests conçues dans le véhicule de test NANOSPACE en technologie CMOS LP 65 nm. Il décrit aussi l'évaluation de la robustesse face aux évènements singuliers après un vieillissement de type NBTI sur les chaines de portes logiques (inverseurs, NOR, bascules D). Cette dernière partie nous a permis de démontrer que le vieillissement de type NBTI améliore la robustesse face aux SET dans ce cas d'étude.

L'objectif de ce travail est d'apporter une réponse quant à la robustesse des nouvelles technologies de modules de puissance pour l'application automobile et plus particulièrement les solutions micro-hybrides. Cette thèse, initiée par les travaux menés au sein du projet Européen PIDEA PEPPER, a permis la comparaison d'un point de vue de la durée de vie d'une technologie de report de puce nue classique d'une part et de celle par échauffement local rapide, élaborée dans le cadre de ce projet d'autre part. En s'appuyant sur ces résultats, il a été possible, par la suite, d'extrapoler ce travail afin de l'adapter aux exigences des futures modules de puissance comprenant une évacuation double face. Finalement, une comparaison des deux solutions d'un point de vue de la durée de vie a été réalisée.

Le mémoire porte sur l'étude de la fiabilité des assemblages utilisant des alliages de brasure sans-plomb en environnement sévère pour des applications électroniques. Une méthode de préparation métallographique fiable et reproductible en vue de l'analyse microstructurale est présentée. L'effet du vieillissement thermique statique sur l'évolution microstructurale de billes de brasure en SAC, la tenue à la fatigue mécanique des assemblages brasés et l'étude de l'endommagement thermomécanique sont développés. Le seul effet notable constaté après vieillissement thermique est l'augmentation des épaisseurs des intermétalliques de contact. A la suite de sollicitations mécaniques, les ruptures sont plus souvent observées dans les pistes que dans les brasures, et ne permettent pas d'incriminer des éléments de la microstructure brasée comme facteurs déterminant de propagation des fissures. Les sollicitations thermomécaniques conduisent à une recristallisation, et les fissures se propagent alors le long des joints de grains recristallisés.

Ces travaux s'intègrent dans la recherche de solutions alternatives aux alliages de brasure pour les assemblages de puissance. De par les propriétés intrinsèques de l'argent et les premiers travaux publiés, le frittage de pâte d'argent a été sélectionné comme technique d'assemblage pour être étudiée et évaluée. Après avoir effectué un état de l'art sur la structure d'un module de puissance, sur les différentes techniques d'assemblage, la fiabilité des assemblages et le frittage, différents essais ont été menés en partenariat avec les projets FIDEA et ASPEEC. Ils nous ont permis de définir des procédés d'assemblages, de caractériser thermiquement et mécaniquement les assemblages frittés et d'évaluer la fiabilité de ces assemblages par des essais expérimentaux et des simulations numériques. Ces travaux nous ont permis au final de réaliser un prototype d'assemblage double face fonctionnel aux propriétés thermomécaniques supérieures à celles d'un assemblage brasé.

Dans le développement des technologies microélectroniques, l'analyse de défaillance permet par l'étude des mécanismes de défaillance potentiels de définir des solutions correctives. La mise en œuvre des techniques de localisation et d'observation des défauts requiert une méthodologie, dont l'étape clé est la préparation d'échantillons. Celle-ci doit continuellement évoluer pour s'adapter aux innovations technologiques qui introduisent de nouveaux matériaux, et augmentent la complexité des composants assemblés. Cette thèse s'est intéressée à la méthodologie de préparation d'échantillons pour l'analyse de défaillance de deux familles de produits : les produits discrets et IPAD, et les micro-batteries. Pour les produits discrets et IPAD, une optimisation de la méthodologie existante a été réalisée en intégrant de nouvelles approches, développées pour résoudre des cas jusqu'alors en échec. Pour les micro-batteries, les matériaux utilisés et leur architecture ont nécessité une remise en question complète de la méthodologie de préparation d'échantillon.

Les cellules photovoltaiques proposent une solution au problème énergétique en raison de leur source inépuisable: le soleil. Plusieurs types de cellules, qu'elle soient inorganiques ou organiques, sont étudiées, avec comme objectif d'obtenir de hauts rendements pour de faibles coûts. Dans ce contexte, ce travail de thèse se propose d'étudier des cellules solaires hybrides nanostructurées à base de nanofils de silicium et de matériaux organiques afin de bénéficier des avantages de ces différents matériaux. La morphologie controlée de la croissance des nanofils de silicium par dépôt chimique en phase vapeur assisté par plasma (PECVD) via un procédé Vapeur-Liquide-Solide est présentée. Le mélange de matériaux organiques est ensuite déposé sur les nanofils de silicium par un procédé d'enduction par centrifugation. Dans ce type de cellules hybrides, les nanofils de silicium jouent le rôles de matériaux accepteurs ou aident à l'absorption de la lumière. Pour améliorer les performance de ces cellules, il est nécessaire d'optimiser la qualité du réseau de nanofils par une gravure chimique visant à éliminer les traces de catalyseur résiduelles ainsi que l'oxyde natif du silicium. Cet effet de la gravure a été largement étudié et discuté. De plus les propriétés d'accepteur d'électrons des nanofils de silicium à base de catalyseurs de Bismuth ont été étudiées. Les résultats montrent clairement le potentiel de ce type de cellules, notamment 1) l'augmentation de la conversion de lumière par l'amélioration de l'efficacité du rendement quantique pour les grandes longueurs d'onde, 2) l'utilisation d'une grande variété de nanofils avec des morphologies et propriétés électriques finement controlées.