Cette thèse se préoccupe d'améliorer la conception de convertisseur. Le nombre de contraintes augmente avec l'évolution technologique et les restrictions actuelle et amènent à .des solutions informatiques. Dans une première partie nous allons analysé nos connaissances actuelles sur la base de la réalisation d'un Flyback et d'un Forward. De nombreuses difficultés ont été rencontrées et une étude du transformateur en découle. Cette approche ne tien par contre pas conte des problèmes CEM. Dans une deuxième partie nous traitons la modélisation du transformateur. La prédétermination magnétique d'enroulement en fils de Litz est développée et des comparaisons avec des résultats expérimentaux la valide. Une approche analytique 2D permet d'améliorer le calcul * de l'inductru1ce de fuite. La pris en compte du plan de masse * et l'instauration d'une nouvelle méthode d'identification permet d'améliorer le modèle électrostatique du transformateur. La problématique de la CEM dans la conception est aborder dans la troisième partie. Un recensement des modèles * actuellement disponible est effectué. Trois méthodes * de calculs de perturbations en fréquencielle sont étudiées. Une analyse des perturbations, en fonction des paramètres des modèles, permet l'identification des paramètres les plus sensibles et d'agir en conséquence pour améliorer le comportement CEM. Une dernière partie est consacrée à l'expérimentation d'un logicielle de conception de convertisseur en plein développement. Jusque là il n'est pas encore possible d'obtenir des résultats probants cependant de nombreuses erreurs ont pu être éliminer et des modifications significatives sont élaborées pour une prochaine version.

Actuellement, la technologie des services Web évolue rapidement, en étant soutenue par les grands acteurs du domaine des systèmes d'information. Les applications basés sur services Web sont faiblement couplées et utilisables de façon automatique via l'utilisation d'un ensemble de normes basées sur XML. Hormis la description syntaxique des messages, il est nécessaire d'avoir une description sémantique du comportement des services. En effet, lors de la conception d'un service ou lors d'une composition de services, il est important de vérifier la conformité avec un cahier des charges. L'enrichissement des descriptions des services par l'inclusion de leurs comportements est de plus en plus important. Ce comportement peut être décrit par des protocoles métier représentant les séquences possibles d'échanges de messages. Les services Web utilisent des politiques de contrôle d'accès (ACP) pour restreindre l'accès à des consommateurs autorisés. Ces politiques doivent faire partie de la description du service. Dans cette thèse, l'analyse d'interopérabilité en termes de contrôle d'accès après la formalisation des services Web annotés avec les politiques de contrôle d'accès est réalisée. Nous présentons une approche pour intégrer les outils de vérification dans l'architecture de contrôle d'accès de façon à garantir une interaction sans erreurs. Les politiques et les crédits sont présentés comme une ontologie afin de bénéficier de la flexibilité offerte par subsomption sur des concepts. La chorégraphie des services Web est utilisée dans la phase de conception d'applications pair à pair complexes dans lesquelles chaque pair peut être implémenté par un service Web. Par conséquent, la sélection des services Web pour l'implémentation de chorégraphie en utilisant l'approche de vérification de compatibilité avec contrôle d'accès est l'un des objectifs de notre recherche. Dans ce travail, les modèles de protocole métier du service Web sont étendus en ajoutant des informations au message sur chaque transition du service dans lequel ce message sera envoyé ou reçu. Nous définissons et vérifions la compatibilité des services Web afin de voir si (et comment) plusieurs services peuvent avoir des interactions en fonction de leurs protocoles. Cette approche aidera les concepteurs à choisir des services Web de manière simple et à vérifier s'ils peuvent mettre en œuvre la chorégraphie nécessaire en vérifiant la compatibilité avec notre approche.

La connaissance précise des champs électromagnétiques rayonnés par les dispositifs hyperfréquences nécessite des outils instrumentaux permettant la mesure directe ou indirecte de ces champs. La technique du scan champ proche fait partie de ces outils. Ce manuscrit décrit les travaux de caractérisation des sondes électromagnétiques pour une plate-forme de scan champ proche développée au laboratoire LAPLACE. L'accent a été mis sur la simulation électromagnétique des dispositifs de test utilisés dans le travail de déconvolution du facteur d'antenne des sondes de champs magnétiques ou électriques. Ces dispositifs comprennent aussi bien des structures planaires telles que des interconnexions en ligne micro ruban que des composants en guide d'ondes tels que des guides ouverts de formes rectangulaire ou circulaire. Pour analyser ces structures des logiciels commerciaux basés sur la méthode des différences finis ont été utilisés. Dans le cas des structures rayonnantes un programme basé sur la méthode de l'opérateur transverse a été développé, permettant la détermination de l'admittance de rayonnement et les champs rayonnés en zones proche et lointaine. Les résultats obtenus ont été validés par des simulations avec des outils commerciaux, et par des mesures réalisés au laboratoire.

La compatibilité électromagnétique (CEM) est l'une des contraintes majeures de la conception des structures de l'électronique de puissance. Pour le cas des convertisseurs statiques, la commutation des semi-conducteurs et leurs interactions avec les éléments parasites liés à l'environnement sont la source principale des perturbations conduites. Cette interaction ne cesse d'augmenter notamment avec l'industrialisation des nouvelles générations de semi-conducteurs à grand gap qui deviennent de plus en plus impressionnantes grâces à leurs faibles pertes en commutation et à leur rapidité croissante. Malheureusement, l'étude de ces perturbations est souvent considérée comme le dernier obstacle à la commercialisation et elle n'est pas prise comme contrainte de conception. L'estimation a priori de ces perturbations par la simulation peut permettre un gain considérable tant sur le plan économique que sur le temps de traitement. Dans ce mémoire, nous mettons l'accent sur les modèles de composants semi-conducteurs et leurs effets sur les perturbations conduites dans les convertisseurs statiques. Cette étude mettra aussi en évidence les problèmes liés aux simulations temporelles ou fréquentielles et l'utilité de chacune. Ensuite, nous proposons des modèles pour le MOSFET et pour la diode Shottky en technologie carbure de silicium et nous analysons l'influence de leurs paramètres sur les perturbations conduites dans un circuit de hacheur. Nous exposons aussi une approche permettant d'obtenir des temps de simulation plus raisonnables en introduisant le principe de contrôle des signaux parasites et des cycles de fonctionnement. Finalement, nous introduisons une nouvelle méthode de description des commutations par des sources équivalentes. Nous montrons qu'il est possible à partir de l'étude de la loi de commande de proposer une méthode de synthèse d'une cellule de commutation permettant de reconstruire ses grandeurs électriques de sortie.

Le développement de la technologie des semi-conducteurs dans les trente dernières années a augmenté le nombre des nouvelles applications dans lesquelles les dispositifs d'électronique de puissance sont utilisés. L'augmentation de la rapidité de commutation des transistors a permis que la conversion de puissance se produise de façon de plus en plus performante. Cet avantage apporte un nouveau challenge dans la phase de conception, lié à la Compatibilité Électromagnétique. En effet, les impulsions rapides de tension et courant dans les convertisseurs de puissance sont une source d'émissions électromagnétiques conduites indésirables. Des méthodologies de modélisation précises, qui prennent en compte une grande partie des effets parasites, ont été développées pour évaluer le niveau de ces émissions conduites. Lorsque ces méthodologies sont confrontées aux mesures, les résultats sont en concordance dans une large gamme de fréquence, elles peuvent donc être considérées comme des outils fiables de pronostic. Néanmoins, la plupart des paramètres du modèle d'un système électronique ne peuvent pas réellement être déterminés précisément : les conditions d'opération sont souvent mal connues (variations de température ou d'humidité) ; les paramètres caractéristiques des composants présentent une certaine dispersion de production ; des interférences externes sont imprévisibles. Dans ce contexte, il est intéressant de développer des méthodologies de modélisation qui soient capables de prendre en compte des incertitudes paramétriques. Dans cette thèse, deux méthodologies d'analyse d'incertitudes, adaptées aux convertisseurs de puissance, sont proposées. Les incertitudes paramétriques sont modélisées en utilisant des fonctions de densité de probabilité et l'objectif de l'analyse proposée est de déterminer les moments statistiques, la fonction de densité de probabilité ou la limite supérieure probabiliste des émissions conduites d'un convertisseur de puissance quelconque. Des techniques pour aborder les difficultés liées aux non-linéarités, au temps de simulation important et au nombre élevé de dimensions sont discutées. Les méthodologies proposées sont appliquées à des problèmes test et à des problèmes réels, et les résultats sont comparés aux méthodologies classiques. La précision des résultats des méthodologies proposées est similaire aux techniques classiques, mais le temps de calcul est considérablement réduit. Finalement, ce travail ouvre des possibilités de développements nouveaux pour l'analyse des incertitudes des systèmes non-linéaires et à grande échelle.

Les technologies d'écran ont connu récemment une évolution rapide. De la télévision 3D à l'Ultra Haute Définition, la tendance est maintenant aux écrans HDR (pour ''High Dynamic Range'') permettant de reproduire une gamme de luminance bien plus élevée que les écrans classiques. L'émergence de cette technologie implique de nouveaux travaux de standardisation dans le domaine de la compression vidéo. Une question essentielle pour la distribution à grande échelle de contenu HDR est celle de la rétro-compatibilité. Tandis que la future génération d'écrans de télévision sera adaptée à ce nouveau format, il est nécessaire de permettre aux équipements plus anciens de décoder et afficher une version du même contenu dont la dynamique a été préalablement réduite par un procédé appelé ''tone mapping''. Cette thèse vise à explorer les schémas de compression HDR rétro-compatibles. Dans une première approche, un algorithme de tone mapping spécifié par l'encodeur est appliqué à l'image HDR. L'image générée, alors appelée LDR (pour ''Low Dynamic Range''), peut être encodée et décodée dans un format classique. L'encodeur transmet par ailleurs une quantité réduite d'information permettant à un décodeur HDR d'inverser l'opération de tone mapping et de reconstruire une version HDR. L'étude de ces schémas est axée sur la définition de méthodes de tone mapping optimisées pour les performances de compression. La suite de la thèse se concentre sur l'approche scalable dans laquelle les deux versions sont fournies à l'encodeur sans connaissance à priori sur l'opérateur de tone mapping utilisé. Le producteur garde donc le contrôle sur la création du contenu LDR. Cette version LDR est d'abord compressée comme une première couche. L'image reconstruite est utilisée par le codeur scalable pour compresser plus efficacement la couche HDR grâce à un mécanisme de prédiction inter-couches. Notre approche locale et non linéaire nous permet d'améliorer les performances de codage par rapport aux méthodes scalables existantes, en particulier dans le cas où un tone mapping complexe est utilisé pour générer la version LDR. / In recent years, the display technologies have been rapidly evolving. From 3D television to Ultra High Definition, the trend is now towards High Dynamic Range (HDR) displays that can reproduce a luminance range far beyond the capabilities of conventional displays. The emergence of this technology involves new standardization effort in the field of video compression. In terms of large scale content distribution, the question of backward compatibility is critical. While the future generation of television displays will be adapted to this new format, it is necessary to enable the older equipment to decode and display a version of the same content whose dynamic range has been previously reduced by a process called “tone mapping”. This thesis aims at exploring the backward compatible HDR compression schemes. In a first approach, a tone mapping operator specified by the encoder is applied to the HDR image. The resulting image, called Low Dynamic Range (LDR), can then be encoded and decoded in a conventional format. The encoder additionally transmits a small amount of information enabling a HDR capable decoder to inverse the tone mapping operator and retrieve the HDR version. The study of these schemes is directed towards the definition of tone mapping operators optimized for the compression performance. We then focus on scalable approaches, where both versions are given to the encoder without prior knowledge on the tone mapping operator used. The producer thus keeps full control on the LDR content creation process. This LDR version is compressed as a first layer. The reconstructed image is used by the scalable encoder to compress the HDR layer efficiently by performing inter-layer predictions. Thanks to a local and non-linear approach, the proposed schemes improve the coding performance compared to the existing scalable methods, especially in the case where a complex tone mapping is used for generating the LDR version.

La compatibilité électromagnétique (CEM) est l’une des contraintes majeures de la conception des structures de l’électronique de puissance. Pour le cas des convertisseurs statiques, la commutation des semi-conducteurs et leurs interactions avec les éléments parasites liés à l’environnement sont la source principale des perturbations conduites. Cette interaction ne cesse d’augmenter notamment avec l’industrialisation des nouvelles générations de semi-conducteurs à grand gap qui deviennent de plus en plus impressionnantes grâces à leurs faibles pertes en commutation et à leur rapidité croissante. Malheureusement, l’étude de ces perturbations est souvent considérée comme le dernier obstacle à la commercialisation et elle n’est pas prise comme contrainte de conception. L’estimation a priori de ces perturbations par la simulation peut permettre un gain considérable tant sur le plan économique que sur le temps de traitement. Dans ce mémoire, nous mettons l’accent sur les modèles de composants semi-conducteurs et leurs effets sur les perturbations conduites dans les convertisseurs statiques. Cette étude mettra aussi en évidence les problèmes liés aux simulations temporelles ou fréquentielles et l’utilité de chacune. Ensuite, nous proposons des modèles pour le MOSFET et pour la diode Shottky en technologie carbure de silicium et nous analysons l’influence de leurs paramètres sur les perturbations conduites dans un circuit de hacheur. Nous exposons aussi une approche permettant d’obtenir des temps de simulation plus raisonnables en introduisant le principe de contrôle des signaux parasites et des cycles de fonctionnement. Finalement, nous introduisons une nouvelle méthode de description des commutations par des sources équivalentes. Nous montrons qu’il est possible à partir de l’étude de la loi de commande de proposer une méthode de synthèse d’une cellule de commutation permettant de reconstruire ses grandeurs électriques de sortie. / Electromagnetic compatibility (EMC) is one of the major constraints involved in the design of power electronics structures. In the case of static power converters, the switching of semiconductors and their interactions with the parasitic elements related to the environment are the main source of conducted disturbances. This interaction is increasing especially with the industrialization of new generations of wide band gap semiconductors that become increasingly impressive thanks to their low switching losses and their rapidity. Unfortunately, the study of the disturbances is often considered as the last obstacle to the marketing and it is not taken as a design constraint. An early estimation of these disturbances by simulation can provide a reduction in processing time and a considerable economic gain. In this manuscript, we focus on semiconductors models and their effects on conducted interference in static converters. This study will also reveal problems related to time or frequency simulations and usefulness of each one. Then, we propose models for silicon-carbide MOSFET and Schottky diode and we analyze the influence of their parameters on the conducted disturbances in a chopper circuit. We also expose an approach to obtain more reasonable simulation time by controlling parasitic signals and operating cycles. Finally, we introduce a new method to describe switching’s by using equivalent sources. We show that by studying the command law, it is possible to propose a synthesizing method of a switching cell able to rebuild its electrical outputs.

L'augmentation du nombre de fonctions électriques disponibles dans les systèmes embarqués amène de nouvelles contraintes d'encombrement et de masse de leurs alimentations. Pour adresser ces problèmes, la miniaturisation et l'intégration des convertisseurs statiques sont donc des thématiques importantes de recherche qui aboutissent à de nombreuses évolutions technologiques et structurelles dont l'apparition de convertisseurs statiques à fréquence de fonctionnement élevée permettant la réduction des éléments passifs du convertisseurs.Ces avancées s'accompagnent cependant d'une augmentation des niveaux de perturbations électromagnétiques générés par le système. Afin de les diminuer, l'insertion de filtres CEM dans le système est nécessaire. Leurs performances sont fortement liées au contrôle de leurs éléments parasites. Les modèles développés jusqu'à présent concernent pour la plupart les effets conduits et l'évaluation de l'impact des phénomènes rayonnés est souvent ignoré ou au mieux basé sur des modèles simplistes. Un des objectifs de cette thèse est donc d'apporter un degré de complexification plus élevé des modèles de rayonnement des composants magnétiques utilisés dans les filtres CEM, tant par une approche par modélisation numérique que par la mise en oeuvre d'un modèle analytique.Dans un premier temps, une étude poussée du rayonnement magnétique de composants simples, les inductances toriques de mode différentiel, a été réalisée. Cette étude a débouché sur la mise en évidence des paramètres critiques déterminant la topologie du champ magnétique rayonné dans l'environnement proche du composant. Le résultat majeur de cette étude est l'importance de la répartition du bobinage autour du circuit magnétique sur le champ magnétique rayonné. De nouveaux modèles ont été proposés pour permettre la prédiction des champs proches rayonnés pour une gamme de fréquence inférieure à la résonance propre du composant.Par la suite, un modèle analytique fin du rayonnement magnétique des inductances de mode commun a été proposé. Ce modèle permet de déterminer \emph{a priori} le rayonnement magnétique proche du composant. Les études menées par la suite ont permis de relier les effets observés en rayonné au phénomènes conduits qui apparaissent dans ces composants notamment pour expliquer certains effets de transfert de mode (commun/différentiel).Dans une dernière partie, une étude de ces composants en susceptibilité électromagnétique (EM) a été menée. Elle a permis de rendre compte de l'influence d'une onde incidente de champ magnétique sur les composants étudiés et de valider les modèles proposés via une approche basée sur la réciprocité EM: la direction privilégiée de rayonnement est aussi celle de couplage facile pour un champ magnétique externe. / The number of electronic devices in embedded systems is constantly increasing and their contribution to volume and weight is a major concern. In order to solve these issues, a large research effort is devoted to volume reduction and power converters' integration. This lead to constant technological evolution including the appearance of high frequency power electronic converters allowing the reduction of the volume of passive components.However, due to the increase of operating frequencies and the minimization of inter-components distances, the electromagnetic radiations generated by these systems become more important. In order to decrease this interference, EMI filters are often necessary. Their performances are often related to the value of parasitic elements in the filter which must therefore be controlled. Nonetheless most of the existing models focus on conducted electromagnetic interference (EMI) and the impact of radiated phenomena is often ignored or greatly simplified. This work will therefore focus on developing highly accurate radiation models for magnetic components commonly used in EMI filters using both numeric and analytic tools.First, the magnetic fields radiated by differential mode (MD) toroidal coils, which belong to the basic magnetic components, will be thoroughly studied. This study highlighted the critical parameters determining the near-field topology. The main result is the discovery of the impact of the winding's layout around the magnetic core on the radiated magnetic field. New models have been developed in order to predict the radiated near field.Then, an accurate analytic model of the the magnetic radiation of common-mode (CM) chokes has been developed. It allows the prediction of the magnetic near-field. The application of the model lead to the correlation between radiated phenomena and conducted effects existing in these components. The importance of the winding on CM to DM mode coupling has therefore been highlighted.Finally, the electromagnetic (EM) susceptibility of these components has been studied. This work describes the influence of an external magnetic field on the components and validates the radiation models developed using the principle of EM reciprocity. It has been shown that the easy directions are the same for both the radiated and the coupled phenomena.

La miniaturisation des circuits intégrés se poursuit de nos jours avec le développement de technologies toujours plus fines et denses. Elle permet une intégration des circuits toujours plus massive, avec des performances plus élevées et une réduction des coûts de production. La réduction de taille des circuits s'accompagne aussi d'une augmentation de leur sensibilité électrique. L'électronique automobile est un acteur majeur dans la nouvelle tendance des véhicules autonomes. Ce type d'application a besoin d'analyser des données et d'appliquer des actions sur le véhicule en temps réel. L'objectif à terme est d'améliorer la sécurité des usagers. Il est donc vital de garantir que ces modules électroniques pourront effectuer leurs tâches correctement malgré toutes les perturbations auxquelles ils seront exposés. Néanmoins, l'environnement automobile est particulièrement sévère pour l'électronique. Parmi tous les stress rencontrés, les décharges électrostatiques (ESD - Electrostatic Discharge) sont une importante source d'agression électrique. Ce type d'évènement très bref est suffisamment violent pour détruire des composants électroniques ou les perturber pendant leur fonctionnement. Les recherches présentées ici se concentrent sur l'analyse des défaillances fonctionnelles. À cause des ESD, des fonctions électroniques peuvent cesser temporairement d'être opérantes. Des méthodes d'analyse et de prédiction sont requises au niveau-circuit intégré afin de détecter des points de faiblesses susceptibles de générer des fautes fonctionnelles pendant l'exposition à un stress électrostatique. Différentes approches ont été proposées dans ce but. Une méthode hiérarchique de modélisation a été mise au point afin d'être capable de reproduire la forme d'onde ESD jusqu'à l'entrée du circuit intégré. Avec cette approche, chaque élément du système est modélisé individuellement puis son modèle ajouté au schéma complet. Un cas d'étude réaliste de défaillance fonctionnelle d'un circuit intégré a été analysé à l'aide d'outils de simulation. Afin d'obtenir plus de données sur cette faute, une puce de test a été développée, contenant des structures de surveillance et de mesure directement intégrées dans la puce. La dernière partie de ce travail de recherche est concentrée sur le développement de méthodes d'analyse dans le but d'identifier efficacement des fautes par simulation. Une des techniques développées consiste à modéliser chaque bloc d'une fonction individuellement puis permet de chaîner ces modèles afin de déterminer la robustesse de la fonction complète. La deuxième méthode tente de construire un modèle équivalent dit boite-noire d'une fonction de haut-niveau d'un circuit intégré. Ces travaux de recherche ont mené à la mise au point de prototypes matériels et logiciels et à la mise en évidence de points bloquants qui pourront constituer une base pour de futurs travaux. / Miniaturization of electronic circuits continues nowadays with the more recent technology nodes being applied to diverse fields of application such as automotive. Very dense and small integrated circuits are interesting for economic reasons, because they are cheaper to manufacture in mass and can pack more functionalities with elevated performances. The counterpart of size reduction is integrated circuits becoming more fragile electrically. In the automotive world, the new trend of fully autonomous driving is seeing tremendous progress recently. Autonomous vehicles must take decisions and perform critical actions such as braking or steering the wheel. Those decisions are taken by electronic modules, that have now very high responsibilities with regards of our safety. It is important to ensure that those modules will operate no matter the kind of disturbances they can be exposed to. The automotive world is a quite harsh environment for electronic systems. A major source of electrical stress is called the Electrostatic Discharge (ESD). It is a very sudden flow of electricity of large amplitude capable of destroying electronic components, or disturb them during their normal operation. This research focuses on functional failures where functionality can be temporarily lost after an ESD with various impact on the vehicle. To guarantee before manufacturing that a module and its components will perform their duty correctly, new analysis and prediction methods are required against soft-failures caused by electrostatic discharges. In this research, different approaches have been explored and proposed towards that goal. First, a modelling method for reproducing the ESD waveforms from the test generator up to the integrated circuit input is presented. It is based on a hierarchical approach where each element of the system is modelled individually, then added to the complete setup model. A practical case of functional failure at silicon-level is analyzed using simulation tools. To acquire more data on this fault, a testchip has been designed. It contains on-chip monitoring structures to measure voltage and current, and monitor function behavior directly at silicon-level. The last part of this research details different analysis methods developed for identifying efficiently functional weaknesses. The methods rely heavily on simulation tools, and prototypes have been implemented to prove the initial concepts. The first method models each function inside the chip individually, using behavioral models, then enables to connect the models together to deduce the full function's robustness. It enables hierarchical analysis of complex integrated circuit designs, to identify potential weak spots inside the circuit that could require more shielding or protection. The second method is focused on constructing equivalent electrical black box models of integrated circuit functions. The goal is to model the IC with a behavioral, black-box model capable of reproducing waveforms in powered conditions during the ESD. In summary, this research work has led to the development of several hardware and software prototypes. It has also highlighted important modelling challenges to solve in future works to achieve better functional robustness against electrostatic discharges.

Les services web gagnent de l'importance en tant que cadre facilitant l'intégration d'applications au sein et en dehors des frontières des entreprises. Il est accepté que la description d'un service ne devrait pas seulement inclure l'interface, mais aussi le protocole métier supporté par le service. Dans le cadre de ce travail, nous avons formalisé la catégorie des protocoles incluant des contraintes de temps (appelés protocoles temporisés) et étudié l'impact du temps sur l'analyse de compatibilité et de remplaçabilité. Nous avons formalisé les contraintes suivantes : les contraintes Clnvoke définissent des fenêtres de disponibilités tandis que les contraintes Mlnvoke définissent des délais d'expiration. Nous avons étendu les techniques pour l'analyse de compatibilité et de remplaçabilité entre protocoles temporisés à l'aide d'un mapping préservant la sémantique entre les protocoles temporisés et les automates temporisés, ce qui a défini la classe des automates temporisés de protocoles (PTA). Les PTA possèdent des transitions silencieuses qui ne peuvent pas être supprimées en général, et pourtant ils sont fermés par calcul du complément, ce qui rend décidable les différents types d'analyse de compatibilité et de remplaçabilité. Enfin, nous avons mis en oeuvre notre approche dans le cadre du projet ServiceMosaic, une plate-forme pour la gestion du cycle de vie des services web.