Les systèmes logiciels modernes sont caractérisés par leur complexité croissante et les fortes exigences en termes de continuité et de disponibilité des services. Face à cette problématique, des propositions telles que le génie logiciel à composants et l'approche contractuelle constituent des approches pertinentes pour faciliter la construction des systèmes et augmenter leur fiabilité. En outre, les aspects extrafonctionnels des systèmes à l'exécution doivent être constamment mieux gérés, et des techniques qui permettent aux systèmes logiciels de réagir à divers changements et maintenir des qualités satisfaisantes sont requises. La contribution de cette thèse est ainsi un modèle d'auto-adaptation dynamique pour des systèmes logiciels fondés sur ces deux approches. Notre proposition originale consiste à définir un modèle de négociation automatisé de contrats qui permet aux composants contractualisés de conduire eux-mêmes l'auto-adaptation. Le modèle identifie les différents éléments de base permettant aux composants d'effectuer l'adaptation des composants ou des contrats, et chaque processus de négociation exploite diverses informations fines contenues dans les contrats. Des politiques de négociation différentes sont aussi développées pour orienter et fournir plusieurs possibilités de déroulement de négociation. En particulier, un support compositionnel permet de conduire la négociation dans les hiérarchies de composants. Le modèle de négociation s'appuie sur les principes généraux de la plate-forme à composants hiérarchiques Fractal et du modèle de contrats ConFract, et son intégration est effectuée sur ces deux technologies. Les propositions sont illustrées sur des exemples extraits d'un cas d'étude et les premières expérimentations du modèle sont présentées.

Les logiciels s'orientent de plus en plus vers des architectures évolutives, capables de s'adapter facilement aux changements et d'intégrer de nouvelles fonctionnalités. Ceci est important pour plusieurs classes d'applications qui ont besoin d'évoluer sans que cela implique d'interrompre leur exécution. Des plateformes dynamiques à composants autorisent ce type d'évolution à l'exécution, en permettant aux composants d'être chargés et exécutés sans requérir le redémarrage complet de l'application en service. Toutefois, la flexibilité d'un tel mécanisme introduit de nouveaux défis qui exigent de gérer les possibles erreurs dues à des incohérences dans le processus de mise à jour, ou en raison du comportement défectueux de composants survenant pendant l'exécution de l'application. Des composants tiers dont l'origine ou la qualité sont inconnus peuvent être considérées à priori comme peu fiables, car ils peuvent potentiellement introduire des défauts d'applications lorsqu'il est combiné avec d'autres composants. Nous sommes intéressés à la réduction de l'impact de ces composants considérés comme non fiables et qui sont susceptibles de compromettre la fiabilité de l'application en cours d'exécution. Cette thèse porte sur l'application de techniques pour améliorer la fiabilité des applications dynamiques à composants. Pour cela, nous proposons l'utilisation des frontières d'isolation pouvant fournir du contingentement de fautes. Le composant ainsi isolé ne perturbe pas le reste de l'application quand il est défaillant. Une telle approche peut être vu sous trois perspectives présentées: (i) l'isolement des composants dynamiques, régi par une politique d'exécution reconfigurable, (ii) l'autoréparation de conteneurs d'isolement, et (iii) l'utilisation des aspects pour séparer les préoccupations de fiabilité à partir du code fonctionnel.

La fonctionnalisation directe de liaisons C-H connaît un développement exponentiel depuis maintenant une dizaine d’années. Catalysées par les métaux de transition, ces transformations offrent un avantage en termes de « chimie verte » et de diversité puisqu’elles permettent de s’affranchir de la pré-fonctionnalisation de la liaison à modifier et donc de travailler à partir de précurseurs simples. Associées à des processus domino, ces réactions offrent un accès souvent efficace à de nombreux hétérocycles. C’est dans ce contexte que s’inscrivent mes travaux de thèse consistant en l’élaboration de réactions domino catalysées par des métaux de transitions pour concevoir des hétèrocycles azotés. Nous avons développés une méthode qui permet, en choisissant, judicieusement les précurseurs, une cyclisation, toujours catalysées au cuivre, donnant accès à des composés de type benzimidazole ou quinazoline par fonctionnalisation C-H. Enfin, en intégrant la présence d’une fonction nitrile dans la réaction multi-composante catalysée au cuivre, nous développons une post-cyclisation alternative permettant d’aboutir à la formation de quinazolin-2,4-diamine, de dihydroquinazolin-2-amine ou des benzimidazoquinazoline. Dans cette approche la méthodologie permet de former jusqu’à 4 liaisons chimiques grâce à l’utilisation d’un unique catalyseur. Nous avons donc développé une réaction multicomposantes nous permettant d’accéder à des motifs différents à partir d’une méthodologie simple, économique en coût et temps, utilisant pour la plupart des produits commerciaux. / The direct functionalization of C-H bonds experiencing exponential growth for the past decade. Catalyzed by transition metals, these changes offer an advantage in terms of "green chemistry" and since they allow diversity to overcome the pre-functionalization of the bond to be modified and thus work from simple precursors. Associated with domino process, these reactions often provide efficient access to many heterocycles. It is in this context that fit my thesis work consisting of the development of domino reactions catalyzed by transition metals to design nitrogen heterocycles. We have developed a method which, by choosing wisely precursors, allow a cyclization, catalyzed copper still, giving access to benzimidazole compounds or quinazoline by functionalization C-H. Finally, by integrating the presence of a nitrile function in the multi-component copper catalyzed reaction, we develop an alternative post-cyclization to lead to the formation of quinazolin-2,4-diamine, dihydro-2-amine or benzimidazoquinazoline. In this approach the methodology allows the formation up to 4 chemical bonds through the use of a single catalyst. We have therefore developed a multi-component reaction to access differents structures from a simple methodology, economic cost.

Cette étude concerne l’étude des écoulements diphasiques dans le cadre du refroidissement des composants électroniques en systèmes embarqués. L’étude bibliographique a permis de sélectionner le refroidissement par spray comme technique prometteuse pour dissiper des flux de chaleur au-delà de 100 W/cm2. Une étude hydraulique, utilisant de l’eau et du HFE7100 comme fluides de refroidissement, nous a permis de valider des modèles permettant de déterminer la taille et la vitesse de gouttes provenant d’une sélection de buses de spray. Pour la partie thermique, nous avons conçu une section d’essais (évaporateur) permettant de pulvériser en spray afin d’étudier le refroidissement avec une boucle fermée diphasique.Vu la complexité du système de spray influencé par plusieurs paramètres et phénomènes physiques, nous avons isolé le phénomène d’ébullition nucléée dans une configuration en ébullition nucléée avec un élément chauffant identique à celui employé avec le refroidissement par spray. Pour améliorer les échanges thermiques, 6 surfaces avec différentes structurations (macroscopiques, microscopiques et hybrides) ont été sélectionnées. Les résultats de tests avec ces surfaces ont été comparés avec une surface lisse tant pour le refroidissement par spray que pour le refroidissement en vase.D’une part, avec un refroidissement par spray, les surfaces macrostructurées nous ont permis de dissiper des puissances thermiques de l’ordre de 140 W/cm2 avec d’importants coefficients de transfert thermique. D’autre part, avec un système de refroidissement par immersion, une des surfaces hybrides a montré être la plus performante.Les résultats reportés dans cette thèse ont permis d’approfondir la compréhension des mécanismes de transfert de chaleur en refroidissement par spray. De même, ils ouvrent la voie à l’étude des améliorations et optimisations du système permettant de l’employer en systèmes embarqués. / This dissertation concerns the study of two-phase flow cooling of electronic components in embedded systems. From a literature review, Spray Cooling was selected as a promising technique for dissipating heat fluxes above 100 W/cm2. A hydraulic study, using water and HFE7100 as coolants, has validate models for determining the size and speed of drops from a selection of spray nozzles. Regarding the thermal study, we have designed a test section (evaporator) to study cooling in a two-phase closed loop system.Given the complexity of Spray Cooling systems, which are influenced by several parameters and involve several physical phenomena, the nucleate boiling phenomenon has been isolated in a Pool Boling system with an identical heating element as Spray Cooling experiment. To improve heat exchange, 6 surfaces with different structures (macroscopic, microscopic and hybrid) were selected. The boiling test results with these surfaces have been compared with a smooth surface for both Spray Cooling and Pool Boiling.On one hand, in Spray Cooling tests, the macrostructured surfaces dissipated heat flux up to 140 W/cm2 with significant heat transfer coefficients. On the other hand, in the Pool Boling system, one of the hybrid surfaces has shown to be the most efficient.The results reported in this dissertation contributes on the understanding of the boiling mechanisms of heat transfer in Spray Cooling. Likewise, they open the way to the study of improvements and optimizations of the system for its use in embedded systems.

Nous étudions le problème de la composition par coordination, dans lequel un groupe de composants de domaines distincts doivent travailler ensemble pour réaliser une application. Sachant que toute connexion directe entre deux composants de deux domaines différents engendre des problèmes d'évolution, nous avons exploré la coordination comme une façon de composer. Nous avons caractérisé le problème de la coordination entre domaines, et montré les modèles de conteneurs comme une solution rudimentaire à ce problème. Nous avons étudié le monde de la coordination, et nous avons introduit la "fédération", comme une architecture logicielle qui permet de structurer les applications comme un ensemble de composants qui coopèrent pour atteindre un but commun. Nous avons défini l'univers commun (les relations entre les composants de domaines distincts) et les contrats de coordination (la matérialisation des règles de jeu), comme les structures de base d'une fédération

L'ingénierie logicielle doit faire face à un besoin toujours croissant en évolutivité des systèmes informatiques pour faciliter leur maintenance et de manière générale leur administration. Cependant, l'évolution d'un système, et plus spécifiquement l'évolution dynamique, ne doit pas se faire au dépend de sa fiabilité, c'est à dire de sa capacité à délivrer correctement les fonctionnalités attendues au cours de sa vie. En effet, des modifications dans un système peuvent laisser ce dernier dans un état incohérent et donc remettre en cause son caractère fiable. L'objectif de cette thèse est de garantir la fiabilité des reconfigurations dynamiques utilisées pour faire évoluer les systèmes pendant leur exécution tout en préservant leur disponibilité, c'est à dire leur continuité de service. Nous nous intéressons plus particulièrement aux systèmes à base de composants logiciels, potentiellement distribués, dont l'architecture peut être le support de reconfigurations dynamiques non anticipées et concurrentes. Nous proposons une définition de la cohérence des configurations et des reconfigurations dans le modèle de composants Fractal à travers une modélisation basée sur des contraintes d'intégrité tels que des invariants structurels. La fiabilité des reconfigurations est garantie par une approche transactionnelle permettant à la fois de réaliser du recouvrement d'erreurs et de gérer la concurrence des reconfigurations dans les applications. Nous proposons enfin une architecture à composants modulaire pour mettre en oeuvre nos mécanismes transactionnels adaptés aux reconfigurations dynamiques dans des applications à base de composants Fractal.

Ce rapport de synthèse présente l'activité de recherche conduite au LEG par<br />Jean-Christophe Crébier sur intégration monolithique autour et au sein des<br />composants de puissance. La première partie présente les grandes lignes de ce<br />thème de recherche à travers la présentation des activités de recherche passées et<br />en cours et leurs positionnements par rapport à la communauté nationale et<br />internationale, scientifique et industrielles. Deux volets traitent par en particulier<br />des thèmes : auto-alimentation des commande de grille et protection réflexe en<br />tension. L'approche système, le contexte particulier de l'intégration monolithique<br />et les forts couplages de l'activité aux procédés technologiques sont abordés en<br />détails. La seconde partie du document de synthèse présente les perspectives de<br />recherche rattachées à cette thématique. On découvre entre autres les évolutions<br />futures envisagées vis à vis des travaux actuels. En particulier, la vision globale<br />des perspectives intégration de l'environnement électronique du composant de<br />puissance est bien détaillée, depuis l'alimentation, l'amplification de l'étage de<br />commande rapprochée jusqu'aux protections et dispositifs d'interfaçages. Un<br />volet particulier aborde le thème de la conception et plus particulièrement celui<br />de la conception assistée et de la capitalisation en intégration des systèmes de<br />puissance sur silicium.

Les domaines de recherche actuels, tels que l'informatique ubiquitaire et l'informatique en nuage (cloud computing), considèrent que ces environnements d'exécution sont en changement continue. Les applications dynamiques ; où les composants peuvent être ajoutés, supprimés pendant l'exécution, permettent a un logiciel de s'adapter et de s'ajuster à l'évolution des environnements, et de tenir compte de l'évolution du logiciel. Malheureusement, les applications dynamiques soulèvent des questions de conception et de développement qui n'ont pas encore été pleinement explorées. <br> Dans cette thèse, nous montrons que le dynamisme est une préoccupation transversale qui rompt avec un grand nombre d'hypothèses que les développeurs d'applications classiques sont autorisés à prendre. Le dynamisme affecte profondément la conception et développement de logiciels. S'il n'est pas manipulé correctement, le dynamisme peut " silencieusement " corrompre l'application. De plus, l'écriture d'applications dynamiques est complexe et sujette à erreur. Et compte tenu du niveau de complexité et de l'impact du dynamisme sur le processus du développement, le logiciel ne peut pas devenir dynamique sans (de large) modification et le dynamisme ne peut pas être totalement transparent (bien que beaucoup de celui-ci peut souvent être externalisées ou automatisées). <br> Ce travail a pour but d'offrir à l'architecte logiciel le contrôle sur le niveau, la nature et la granularité du dynamisme qui est nécessaire dans les applications dynamiques. Cela permet aux architectes et aux développeurs de choisir les zones de l'application où les efforts de programmation des composants dynamiques seront investis, en évitant le coût et la complexité de rendre tous les composants dynamiques. L'idée est de permettre aux architectes de déterminer l'équilibre entre les efforts à fournir et le niveau de dynamisme requis pour les besoins de l'application.

Les systèmes de production manufacturiers sont une classe des systèmes à événements discrets. Leur taille nécessite de distribuer le logiciel de contrôle sur une architecture industrielle de plusieurs ordinateurs reliés en réseau. Dans ce contexte, il devient essentiel d'être capable d'évaluer l'impact d'une architecture réseau spécifique sur les services des systèmes manufacturiers en termes de la performance et la qualité. Les performances du réseau sous-jacent peuvent notamment nuire à la productivité du système. Dans la méthodologie traditionnelle proposée dans la littérature, cet aspect n'est pas pris en compte au niveau conception. Cependant, la modélisation de tels systèmes est importante pour vérifier certaines propriétés. Dans cette thèse, nous proposons une approche de modélisation par composants à l’aide des réseaux de Petri haut niveau pour la modélisation de certains protocoles de réseaux afin d'évaluer les systèmes manufacturiers comme étant des systèmes distribués. La sélection des réseaux de Petri est justifiée par leur pouvoir d'expression en ce qui concerne la modélisation des systèmes distribués et concurrents. L’approche par composants permet de diminuer la complexité de la modélisation et encourage la généricité, la modularité et la réutilisabilité des composants prêt-à-utiliser. Cela permet de construire facilement de nouveaux modèles et de réduire les coûts de développement de systèmes. En outre, cela peut aider à une meilleure gestion des services et des protocoles et à changer facilement/modifier un élément du système. Notre modélisation permet enfin d'évaluer ces systèmes par le biais de simulations centralisées / Manufacturing systems belong to the class of distributed discrete event systems. Their size requires distributing the software to control them on architecture of several industrial computers connected by networks. In this context, it becomes crucial to be able to evaluate the impact of a specific architecture on the manufacturing systems services both in terms of performance and quality. The performance of the underlying network can notably affect the productivity of the system. In traditional methodology proposed in literature, this aspect is not taken into account in the design stage. Thus, modeling such systems is important to verify some properties at that stage. In this thesis, we propose a component-based modeling approach with High Level Petri nets based method for modeling some network protocols in order to evaluate the manufacturing systems as being distributed systems. The selection of Petri nets is justified by their expression power with regard to the modeling of distributed and concurrent systems. Component-based approach can decrease modeling complexity and encourages genericity, modularity and reusability of ready-to-use components. This allows building new models easily and reducing the systems development cost. Moreover, this can help in better managing services and protocols and to easily change/modify a system element. Finally, this modeling enables us to evaluate discrete event systems by means of centralized simulations

L'objectif du projet CONCIGI-HT (CONvertisseur alternatif-continu Compact à Isolement Galvanique Intégré Haute Tension) est d'augmenter le rendement des chaînes de traction tout en réduisant la masse et le volume de la fonction de conversion Alternatif/Continu. Pour cela, l'ensemble transformateur basse fréquence - redresseur est remplacé par une structure multi-convertisseurs, directement connectée à la caténaire haute tension et intégrant des transformateurs fonctionnant en moyenne fréquence (plusieurs kHz). Cette thèse concerne plus particulièrement la caractérisation et la mise en œuvre de composants semi-conducteurs haute tension dans des structures de conversion statiques à étage intermédiaire moyenne fréquence. L'étude est effectuée sur la base d'une chaîne de traction de 2 MW fonctionnant sur un réseau 25 kV/50 Hz. Le premier chapitre présente l'état de l'art de l'Automotrice à Grande Vitesse (AGV) récemment produite par ALSTOM. C'est la chaîne de traction de cet engin qui sert de référence pour l'étude des nouvelles topologies à transformateur moyenne fréquence. Le deuxième chapitre décrit tout d'abord la structure d'une chaîne de traction classique et présente ensuite deux topologies multicellulaires à transformateur moyenne fréquence applicables en traction électrique ferroviaire (la structure indirecte à redresseur de courant MLI et convertisseur DC/DC à résonance ainsi que la topologie directe associant des convertisseurs duaux). Les avantages et inconvénients de ces topologies sont mis en évidence. Le troisième chapitre concerne la mise en œuvre et la caractérisation en commutation douce de composants Silicium 6,5 kV dans les deux topologies présentées précédemment. Deux bancs de test, représentant un étage élémentaire de conversion, ainsi que des allumeurs spécifiques dédiés à la commutation douce, ont été réalisés. Ils permettent l'étude des semi-conducteurs en régime permanent dans des conditions nominales de fonctionnement (3,6 kV / 100 A). Le quatrième chapitre présente la mise en œuvre et la caractérisation de composants en carbure de silicium (SiC). Pour cela des modules de puissance à base de puces 10 kV (MOSFET et Diodes) ont été réalisés. Les résultats expérimentaux, obtenus sur les bancs de test réalisés au chapitre précédent, mettent en évidence une réduction significative des pertes et démontrent la viabilité de la topologie à convertisseurs duaux pour une application en 25 kV/50 Hz. La conclusion présente un premier design d'un bloc élémentaire et les gains en masse et volume ainsi que les économies d'énergies qui pourront être obtenus par rapport à une structure classique. / The objective of the CONCIGI-HT project (Compact AC/DC converter with Integrated High Voltage Galvanic Insulation) is to increase the efficiency of traction drives while reducing the mass and volume of the AC/DC conversion. To do that, the part low-frequency transformer - rectifier is replaced by a multi-converter topology, directly connected to the high voltage power supply and incorporating medium frequency transformers (several kHz). This thesis relates more particularly to the characterization and implementation of high voltage semiconductors in conversion topologies with intermediate medium frequency link. The study is performed on the basis of a traction drive of 2 MW operating on a 25 kV/50 Hz power supply. The first chapter presents the state of the art of the Automotrice à Grande Vitesse (AGV) recently produced by ALSTOM. The traction drive of this vehicle is used as a reference for the study of new topologies with medium frequency transformer. The second chapter first describes the structure of a conventional traction drive and then presents two multicellular topologies with medium frequency transformer applicable to railway traction (the indirect structure with PWM rectifier and DC/DC resonant converter and the direct topology combining dual converters). The advantages and disadvantages of these topologies are highlighted. The third chapter deals with the implementation and soft switching characterization of 6.5 kV Silicon components in both topologies presented above. Two test benches, representing a basic conversion stage, as well as specific drivers dedicated to the soft switching, has been made. They allow the study of semiconductors in nominal operating conditions (3.6 kV / 100 A). The fourth chapter presents the implementation and characterization of silicon carbide components (SiC). For this, power modules based on 10 kV chips (MOSFET and Diodes) have been achieved. The experimental results obtained on test benches made in the previous chapter, show a significant reduction in losses and demonstrate the viability of the dual converter topology for a 25 kV/50 Hz application. The conclusion presents the first design of an elementary block and gains in mass and volume as well as the energy savings that can be achieved compared to a conventional structure.