Ce travail traite des aspects thermiques dans les composants électroniques, en particulier ceux de composants qui peuvent être thermiquement assimilés à des sources de chaleur localisées sur des milieux solides diffusifs. Dans une première partie, un modèle analytique général d’impédance thermique est développé. Il permet de calculer les températures de jonction de composants électroniques multidoigts sur des supports multicouches. Le modèle est basé sur la résolution tridimensionnelle de l’équation de la chaleur en régime fréquentiel par la méthode des transformées intégrales. Il a été utilisé pour évaluer l’influence des différents paramètres géométriques et structuraux du problème physique. Sa simplicité et la rapidité des temps de calculs en font un outil parfaitement adapté à la simulation des circuits électroniques.La seconde partie de ce travail est consacrée à la reconstitution spatiotemporelle des sources de chaleur par méthode inverse. Pour atteindre l’objectif, la méthode numérique des volumes finis a été programmée, afin d’exprimer sous la forme d’une représentation d’état, le problème en trois dimensions et en régime transitoire du phénomène de transfert de chaleur par conduction. La densité de flux a été discrétisée dans l’espace et le temps. Elle est estimée par la pseudo-inversion de la représentation d’état. Des tests numériques et un dispositif expérimental ont permis de valider la méthode. / This work deals with thermal aspects in electronic components. In particular those of devices that can be assimilated to heat sources located on top of solid mediums. First a general analytical model of thermal impedance is developed. It allows to calculate the junction temperatures of multifingers electronic components on top of a stack of different materials. The model is based on the resolution of the three-dimensional heat transfer equation in AC regime by the method of the integral transforms. It is used to evaluate the influence of the geometrical and structural parameters of the physical problem. Thanks to its simplicity and the low time consuming tasks the model is adapted to an implementation in Simulation Programs with Integrated Circuits Emphasis (SPICE). Afterwards the problem of heat sources reconstruction is treated by inverse method. For this purpose the numerical method of finite volumes has been used to express the three-dimensional problem of heat conduction in transient regime by a matrix equation. In this equation the heat flux is made discrete in space and in time. It is estimated by the use of a peudo–inverse. Numerical tests and experimental measurements validated the method.

Aujourd'hui, nous observons une croissance constante de la complexité des systèmes temps-réel. Les développeurs doivent faire face aux contraintes imposées par le domaine dans pratiquement toutes les classes de logiciels. Pour faire face à ce défi, les spécifications Java pour le temps-réel (RTSJ) ont été proposées. Cependant, ces spécifications introduisent de nombreuses règles et restrictions non-intuitives résultant en un modèle de programmation hautement sujet aux erreurs. La vision qui sous-tend cette thèse tient à réduire l'écart entre la programmation temps-réel et les technologies innovantes issues de l'ingénierie logicielle. Une première contribution de cette thèse consiste en l'introduction de "composants de domaine" permettant de manière unifiée l'expression et la manipulation de préoccupations spécifiques à un domaine tout le long du cycle de vie du logiciel.En second lieu, nous proposons SOLEIL, un canevas de conception orienté composants pour le développement de systèmes RTSJ. Ce canevas introduit un cadre méthodologique allégeant la complexité introduite par le modèle de programmation de RTSJ. Enfin, les concepts capturés par les composants de domaine ainsi que les règles et restrictions inhérentes à RTSJ sont formalisées à l'aide du langage Alloy, permettant de vérifier la compatibilité des logiciels développés avec notre approche avec les spécification RTSJ. / Over the last decade we witness a steady grow of complexities in real-time systems. Today, developers have to face real-time constraints in almost every software system, from embedded software to financial systems, internet services, and computer entertainment industry. To address this widespread challenge, the Real-Time Specification for Java (RTSJ) has been proposed. However, RTSJ itself introduces many nonintuitive rules and restrictions that doom its programming model to be highly error-prone. Moreover, in contrast to the approaches for mainstream software development, the engineering technologies, tools, and frameworks for real-time systems are nowhere near as groundbreaking. The vision behind this dissertation is to ultimately close the gap between real-time programming and today's software technology. Therefore, this dissertation investigates scalable software engineering techniques for RTSJ programming. As the main contribution of this thesis, we introduce Domain Components - an approach to unified expression and manipulation of domain-specific concerns along the software development lifecycle. To validate the approach, we conduct several case studies challenging our proposal from different perspectives. First, performed benchmarks show that the overhead of the Soleil framework is minimal in comparison to manually written object-oriented applications while providing more extensive functionality. Second, considering the state-of-the-art RTSJ programming methods, we achieve better separation of functional and RTSJ concerns, thus increasing efficiency of the development process.

L'objectif principal de cette thèse est de développer un schéma générique et adaptatif basée sur les approches d'apprentissage automatique, intégrant des mécanismes de détection et d'isolation des défauts avec une force d’apparition progressive. Le but de ce schéma est de réaliser le diagnostic en ligne des défauts simple et multiple de type dérive dans les systèmes éoliens, et plus particulièrement dans le système du calage des pales et le convertisseur de puissance. Le schéma proposé est basé sur la décomposition du système éolien en plusieurs composantes. Ensuite, un classifieur est conçu et utilisé pour réaliser le diagnostic de défauts dans chaque composant. Le but de cette décomposition en composants est de faciliter l'isolation des défauts et d'augmenter la robustesse du schéma globale de diagnostic dans le sens que lorsque le classifier lié à un composant est défaillant, les classifieurs liées aux autres composants continuent à réaliser le diagnostic des défauts dans leurs composants. Ce schéma a aussi l'avantage de prendre en compte la dynamique hybride de l’éolienne. / This thesis addresses the problem of automatic detection and isolation of drift-like faults in wind turbines (WTs). The main aim of this thesis is to develop a generic on-line adaptive machine learning and data mining scheme that integrates drift detection and isolation mechanism in order to achieve the simple and multiple drift-like fault diagnosis in WTs, in particular pitch system and power converter. The proposed scheme is based on the decomposition of the wind turbine into several components. Then, a classifier is designed and used to achieve the diagnosis of faults impacting each component. The goal of this decomposition into components is to facilitate the isolation of faults and to increase the robustness of the scheme in the sense that when the classifier related to one component is failed, the classifiers for the other components continue to achieve the diagnosis for faults in their corresponding components. This scheme has also the advantage to take into account the WT hybrid dynamics. Indeed, some WT components (as pitch system and power converter) manifest both discrete and continuous dynamic behaviors. In each discrete mode, or a configuration, different continuous dynamics are defined.

Thèse doctorat : Génie Civil : Villeurbanne, INSA : 2006. / Contient un glossaire. Titre provenant de l'écran-titre. Bibliogr. p. 177-192. Liste de sites Web p. 193.

Reproduction de : Thèse de doctorat : Informatique et télécommunication : Toulouse, INPT : 2004. / Titre provenant de l'écran-titre. Bibliogr. 133 réf.

Thèse doctorat : Génie électrique : Ecully, Ecole centrale de Lyon : 2008. / 28 références.

Thèse doctorat : Génie électrique : Ecully, Ecole centrale de Lyon : 2008. / Titre provenant de l'écran-titre. 28 références.

Thèse de doctorat : Dispositifs de l'Electronique Intégrée : Villeurbanne, INSA : 2002. / Titre provenant de l'écran-titre. Bibliogr. p.149-161.

Face à l'émergence de catalogues de composants de différents types, les environnements professionnels de développement d'applications ont évolué vers une gestion des composants. Ces premiers outils offrent peu de services pour faciliter une recherche appropriée de composants de différentes natures ; ils sont destinés à des experts ayant déjà une connaissance profonde des catalogues de composants. Ces outils restent insuffisants pour des ingénieurs d'applications non experts dont l'objectif est de rechercher les meilleurs composants répondant au problème posé.<br />En partant de ce constat, l'objectif de cette thèse est de s'appuyer sur les techniques de recherche d'information pour d'une part proposer une nouvelle technique de recherche de composants adaptée aux catalogues hétérogènes de composants et d'autre part organiser un environnement d'aide à l'application, la gestion, la recherche et la réutilisation de composants. La gestion des composants est réalisée au niveau d'une base de description de propriétés de composants. Pour des besoins d'évolution et d'adaptation, une telle base est mise en place par des instanciations successives du métamodèle M-Sigma et du modèle de composants C-Sigma. <br />La technique structurelle originale de recherche de composants proposée est basée sur un processus de génération de spécifications formelles à partir de diagrammes de classes décrivant la structure des composants archivés ou recherchés. Ces spécifications sont utilisées pour réaliser des appariements structurels entre composants. Cette technique est exploitable dans le domaine de la recherche de composants et de la réingénierie des systèmes d'information. Une expérimentation a été faite sur une base de composants issue du projet industriel Initiative Centr'ACTOLL.

Notre travail vise à élaborer une solution efficace pour la découverte et la réutilisation des composants logiciels dans les environnements de développement existants et couramment utilisés. Nous proposons une ontologie pour décrire et découvrir des composants logiciels élémentaires. La description couvre à la fois les propriétés fonctionnelles et les propriétés non fonctionnelles des composants logiciels exprimées comme des paramètres de QoS. Notre processus de recherche est basé sur la fonction qui calcule la distance sémantique entre la signature d'un composant et la signature d'une requête donnée, réalisant ainsi une comparaison judicieuse. Nous employons également la notion de " subsumption " pour comparer l'entrée-sortie de la requête et des composants. Après sélection des composants adéquats, les propriétés non fonctionnelles sont employées comme un facteur distinctif pour raffiner le résultat de publication des composants résultats. Nous proposons une approche de découverte des composants composite si aucun composant élémentaire n'est trouvé, cette approche basée sur l'ontologie commune. Pour intégrer le composant résultat dans le projet en cours de développement, nous avons développé l'ontologie d'intégration et les deux services "input/output convertor" et "output Matching".