Dans le cadre des applications transports, et plus particulièrement de "l’avion plus électrique", avec une demande toujours plus présente de réduction d’encombrement et de poids, la tendance est à l’intégration de plus en plus poussée des convertisseurs statiques. L’augmentation de leur densité de puissance et celle des contraintes thermiques, induites par l’environnement dans lequel ces structures sont localisées, deviennent de plus en plus critiques. La gestion thermique de ces dispositifs est assurée par des systèmes de refroidissement sur lesquels sont montés les composants semi-conducteurs via un matériau d’interface thermique. Une gestion performante sera obtenue par la diminution de la résistance thermique globale entre les éléments dissipatifs et le milieu ambiant grâce en autre à l’amélioration du système de refroidissement et des propriétés thermiques des matériaux constituant le module. Or cette interface est un point délicat du transfert de chaleur car elle peut représenter plusieurs dizaines de pourcents de la résistance thermique globale. Elle nécessite donc une connaissance approfondie de son comportement aux sollicitations thermiques. Après un état de l’art sur les matériaux d’interfaces thermiques et les méthodes de caractérisation des propriétés thermophysiques des matériaux, nous proposons la mise en œuvre d’outils expérimentaux et mathématiques permettant de suivre l’éventuelle évolution de matériaux d’interfaces utilisés en électronique de puissance au cours d’un vieillissement par cyclage en température. Pour cela, deux méthodes sont présentées. La première repose sur la mesure de la résistance thermique des interfaces en régime stationnaire avec un transfert de chaleur monodimensionnel alors que la seconde, basée sur une caractérisation transitoire thermique d’un système, permet d’en identifier les constantes de temps et le réseau Résistance-Capacité du système testé. Des travaux de simulations numériques ont été menés sur les deux types de bancs expérimentaux, d’un côté pour pouvoir évaluer les pertes thermiques latérales du banc statiques, de l’autre côté pour montrer qu’il est bien possible de détecter une variation de la résistance thermique d’un matériau d’interface par l’analyse de l’impédance thermique. / In the context of transportation applications, and especially the "more electric aircraft", with an ever present demand for space and weight reduction, the trend is to integrate more extensive of static converters. The increase in power density and the thermal stresses induced by the environment in which these structures are located, are becoming increasingly critical. Thermal management of these devices is provided by cooling systems on which are mounted the semiconductor components via a thermal interface material. Effective management will be achieved by reducing the overall thermal resistance between the dissipative elements and the environment by improving the cooling system and thermal properties of the materials constituting the module. However, this interface is a delicate point of heat transfer because it can represent several tens of percent of the circuit total thermal resistance. It therefore requires a thorough knowledge of their behavior in thermal stresses. After a state of the art on the thermal interface materials and methods for characterizing thermophysical properties of materials, we propose the implementation of experimental and mathematical tools to monitor any change of interface materials used in power electronics during aging by temperature cycling. For this, two methods are presented. The first is based on the measurement of the thermal resistance of the interfaces with a steady one-dimensional heat transfer, while the second, based on a characterization of a transient thermal system, allows to identify the time constants and the resistor and capacitor network of the tested system. Numerical simulations were carried out on two types of experimental benches, on one side in order to assess the lateral heat losses from static bench, on the other side to show that it is possible to detect a change in the thermal resistance of a TIM with the analysis of the thermal impedance.

La théorie de couplage de mode (MCT) est l'une des méthodes les plus utilisées pour étudier les transitions vitreuses dans les fluides classiques. Ses prédictions sont en général en accord semi quantitatif avec les simulations. Sa mise en oeuvre nécessite la détermination de la structure statique, généralement par résolution des équations d'Orsntein-Zernike avec une fermeture adéquate. Partant de fermetures utilisant des fonctions « bridges » déduites de la fonctionnelle de référence du mélange de sphères dures, notre travail a consisté d'abord à étudier l'influence de la qualité de cette structure statique sur les prédictions relatives aux états non ergodiques dans des mélanges binaires dissymétriques. Nous avons ensuite considéré les résultats de la théorie du couplage de modes dans sa version naïf (NMCT ) et complète, afin d'analyser les mécanismes d'arrêt, les comparer au fluide effectif et aux approches stochastiques (équations de Langevin généralisées). Enfin, nous proposons une version pragmatique de cette méthode qui fournit des prédictions en meilleur accord quantitatif avec les résultats des simulations pour une variété de potentiels d'interaction / The mode coupling theory (MCT) is one of the most widely used methods for studying the glass transition in classical fluids. Its predictions are usually in semi-quantitative agreement with simulation. Its implementation requires the determination of the static structure usually from the Ornstein-Zernike equations with a suitable closure. Starting from closures that use bridge functions deduced from the hard-sphere reference functional, our work consisted first in studying the influence of the quality of this static structure on the predictions concerning the non-ergodic states in asymmetric binary mixtures. We next considered the results of the mode coupling theory in its naive and full versions, in order to analyze the arrest mechanisms and compare them to the effective fluid and the stochastic approaches (generalized Langevin equations). Finally, we propose a pragmatic version of this method that provides predictions in better quantitative agreement with simulations for a variety of interaction potentials

Ce travail de thèse concerne la mécanique numérique du contact entre solides déformables. Il s'agit de contribuer à l'amélioration de la performance, de la fiabilité et de la robustesse des algorithmes et des modèles numériques utilisés dans les codes éléments finis en particulier Code_Aster qui est un code libre développé par Électricité De France (EDF) pour ses besoins en ingénierie. L'objectif final est de traiter les problèmes industriels de grande dimension avec un temps de calcul optimisé. Pour parvenir à ces objectifs, les algorithmes et formulations doivent prendre en compte les difficultés liées à la mécanique non régulière à cause des lois de Signorini-Coulomb ainsi que la gestion des non linéarités dûes aux grandes déformations et aux comportements des matériaux étudiés.Le premier axe de ce travail est dédié à une meilleure compréhension de la formulation dite de « Lagrangien stabilisé » initialement implémentée dans le code. Il a été démontré l'équivalence entre cette formulation et la formulation bien connue de « Lagrangien augmenté ». Les caractéristiques mathématiques liées aux opérateurs discrets ont été précisées et une écriture énergétique globale a été trouvée. / This work deals with computational contact mechanics between deformable solids. The aim of this work is to improve the performance, the reliability and the robustness of the algorithms and numerical models set in Code_Aster which is finite element code developped by Électricité De France (EDF) for its engineering needs. The proposed algorithms are used to solve high dimensional industrial problems in order to optimize the computational running times. Several solutions techniques are available in the field of computational contact mechanics but they must take into account the difficulties coming from non-smooth aspects due to Signorini-Coulomb laws coupled to large deformations of bodies and material non linearities. Firstly the augmented Lagrangian formulation so-called « stabilized Lagrangian » is introduced. Successively, the mathematical properties of the discrete operators are highlighted and furthermore a novel energetic function is presented. Secondly the kinematical condition with regard to the normal unknowns are reinforced through unconstrained optimization techniques which result to a novel formulation which is so-called « non standard augmented Lagrangian formulation ». Three types of strategies are implemented in the code. The generalized Newton method is developped : it is a method in which all the non linearities are solved in one loop of iterations. The partial Newton method is an hybrid technique between the generalized Newton one and a fixed point method.

Les travaux développés durant cette thèse concernent la détection et l'identification des défauts simples et multiples d'ouverture des transistors dans un convertisseur statique associé à une machine asynchrone. Pour aborder cette problématique, nous avons commencé par l'analyse des potentialités, des faiblesses et des incertitudes des techniques qui ont initiés notre démarche. Ensuite, nous avons présenté deux méthodologies permettant d'analyser les performances du moteur asynchrone en présence des défauts dans une ou plusieurs cellules de commutation. Cette étude préliminaire nous a permis ainsi de proposer deux nouvelles stratégies de diagnostic sans référence basées sur l'approche signal. Les signaux électriques (courants ou tensions) disponibles à la sortie du convertisseur statique sont utilisés pour alimenter le processus de diagnostic. La première stratégie retenue est basée sur l'analyse qualitative des tensions de sortie entre phases du convertisseur et des signaux de commande appliqués aux transistors pendant les instants de commutation. Grâce à une représentation instantanée de ces grandeurs, à l'échelle de la période de découpage, nous avons pu mettre en évidence des caractéristiques favorables à la détection des défauts simples et multiples d'ouverture des transistors. L'implémentation pratique de cette première approche a été réalisée au moyen d'une technologie analogique permettant ainsi de minimiser le temps de retard à la détection jusqu'à quelques dizaines de microsecondes. / The main goal of this thesis concerns the detection and identification of simple and multiple open-circuit faults in voltage source inverters (VSIs)-fed induction motor drives. In first step, the potentialities, the weaknesses as well as the uncertainties of the previously published works have been discussed. The second step was dedicated to the study of the inverter faults impact on the induction motor. For this purpose, we have proposed two methodologies permitting the characterization of the electromagnetic torque behaviour as well as the electric variables of the induction motor under the open- and short-circuit faults. These preliminary studies allowed to propose two novel signal-based approaches for open-circuit fault diagnosis in voltage source inverter. The measured outputs inverter voltages and currents have been used as the input quantities for the fault detection and identification (FDI) process. The first approach consists in analyzing the pulse-width modulation (PWM) switching signals and the line-to-line voltage levels during the switching times, under both healthy and faulty operating conditions. For this purpose, we have adopted an instantaneous representation of these variables, which permits their analysis over one switching period. The fault diagnosis scheme is achieved using simple analog device. This circuit allows an accurate single and multiple faults diagnosis, and a minimization of the fault detection time which becomes about a few tens of microseconds.

Le travail présenté s'inscrit dans le contexte de la théorie des systèmes linéaires dans les dioïdes. La motivation initiale de cette étude a été de contribuer à l'analyse et la commande de systèmes linéaires dans max-plus en utilisant spécifiquement une approche géométrique. La contribution de cette thèse est centrée sur deux problèmes. La première partie est dédiée à l'étude de la relation entre les notions d'invariance contrôlée et d'invariance contrôlée par retour d'état dynamique dans un semi-anneau. Cette relation permet de montrer l'équivalence de ces deux notions. La deuxième partie concerne un problème original dans la théorie des systèmes linéaires dans max-plus, il s'agit de la synthèse d'une loi de commande par retour d'état, qui permette de satisfaire un ensemble de spécifications exprimées sous la forme de restrictions sur l'état du système, avec une approche géométrique. Il s'agit plus précisément de commander des systèmes à événements discrets décrits par un modèle linéaire dans max-plus. Nous définissons et caractérisons l'ensemble des conditions initiales admissibles, lesquelles sont à l'origine de solutions non décroissantes. Les restrictions temporelles imposées à l'espace d'état du système sont décrites par le semi-module défini par l'image de l'étoile de Kleene de la matrice associée aux restrictions temporelles. Les propriétés géométriques de ce semi-module permettant de garantir que l'évolution du système en boucle fermée satisfasse les restrictions sont étudiées. Des conditions suffisantes concernant l'existence d'une loi de commande causale par retour d'état statique sont présentées. Le calcul des lois de commande causales est également présenté. Pour illustrer l'application de cette approche, deux problèmes de commande sont présentés. / This work is in the context of the theory of linear Systems in the dioids. The initial motivation of this study was to contribute to the analysis and control of max-plus linear systems, specifically using a geometric approach. The contribution of this thesis focuses on two issues. The first part is dedicated to study of the relationship between the concepts of controlled invariance and dynamic state feedback controlled invariance in a semi-ring. This relationship allows us to show the equivalence of these two concepts. The second part relates to a new problem in the theory of max-plus linear systems, it is the synthesis, with a geometric approach, of a static state feedback control law, in order to satisfy a set of specifications that apply to the state space of the system. This is specifically to control of discrete event systems described by a linear model in max-plus. We define and characterize the set of admissible initial conditions, which are the cause of non-decreasing solutions. Temporal restrictions on the system state space are described by the semi-module defined by the image of the Kleene star of the matrix associated with time restrictions. The geometric properties of this semi-module are studied. Sufficient conditions for the existence of a causal control law by static feedback are presented. Calculating causal control laws is also presented. To illustrate the application of this approach, two control problems are presented.

Dans les années 2000, les composants de puissance en carbure de silicium (SiC) font leur apparition sur le marché industriel offrant d'excellentes performances. Elles se traduisent par de meilleurs rendements et des fréquences de découpage plus élevées, entrainant une réduction significative du volume et de la masse des convertisseurs de puissance. Le SiC présente de plus un potentiel important de fonctionnement en haute température (>200°C) et permet donc d'envisager de placer l'électronique dans des environnements très contraints jusqu'alors inaccessibles. Pourtant les parts de marche du SiC restent limitées dans l'industrie vis à vis du manque de retour d'expérience concernant la fiabilité de ces technologies relativement nouvelles. Cette question reste aujourd'hui sans réponse et c'est avec cet objectif qu'a été menée cette étude axée sur le vieillissement et l'analyse des mécanismes de dégradation sur des composants de puissance SiC pour des applications haute température. Les tests de vieillissement ont été réalisés sur des transistors MOSFET SiC car ces composants attirent les industriels grâce à leur simplicité de commande et leur sécurité "normalement bloqué" (Normally-OFF). Néanmoins, la fiabilité de l'oxyde de grille est le paramètre limitant de cette structure. C'est pourquoi l'étude de la dérive de la tension de seuil a été mesurée avec une explication du phénomène d'instabilité du VTH. Les résultats ont montré qu'avec l'amélioration des procédés de fabrication, l'oxyde du MOSFET est robuste même pour des températures élevées (jusqu'à 300°C) atteintes grâce à un packaging approprié. Les durées de vie moyennes ont été extraites grâce à un banc de vieillissement accéléré développé pour cette étude. Des analyses macroscopiques ont été réalisées afin d'observer l'évolution des paramètres électriques en fonction du temps. Des études microscopiques sont conduites dans l'objectif d'associer l'évolution des caractéristiques électriques par rapport aux dégradations physiques internes à la puce. Pour notre véhicule de test, la défaillance se traduit par un emballement du courant de grille en régime statique et par l'apparition de fissures dans le poly-Silicium de la grille. Pour finir, une étude de comparaison avec des nouveaux transistors MOSFET a été réalisée. Ainsi l'analogie entre ces composants s'est portée sur des performances statiques, dynamiques, dérivé de la tension de seuil et sur la durée de vie moyenne dans le test de vieillissement. Le fil rouge de ces travaux de recherche est une analyse des mécanismes de dégradation avec une méthodologie rigoureuse permettant la réalisation d'une étude de fiabilité. Ces travaux peuvent servir de base pour toutes analyses d'anticipation de défaillances avec une estimation de la durée de vie extrapolée aux températures de l'application visée / Since 2000, Silicon Carbide (SiC) power devices have been available on the market offering tremendous performances. This leads to really high efficiency power systems, and allows achieving significative improvements in terms of volume and weight, i.e. a better integration. Moreover, SiC devices could be used at high temperature (>200°C). However, the SiCmarket share is limited by the lack of reliability studies. This problem has yet to be solved and this is the objective of this study : aging and failure mechanisms on power devices for high temperature applications. Aging tests have been realized on SiC MOSFETs. Due to its simple drive requirement and the advantage of safe normally-Off operation, SiCMOSFET is becoming a very promising device. However, the gate oxide remains one of the major weakness of this device. Thus, in this study, the threshold voltage shift has been measured and its instability has been explained. Results demonstrate good lifetime and stable operation regarding the threshold voltage below a 300°C temperature reached using a suitable packaging. Understanding SiC MOSFET reliability issues under realistic switching conditions remains a challenge that requires investigations. A specific aging test has been developed to monitor the electrical parameters of the device. This allows to estimate the health state and predict the remaining lifetime.Moreover, the defects in the failed device have been observed by using FIB and SEM imagery. The gate leakage current appears to reflect the state of health of the component with a runaway just before the failure. This hypothesis has been validated with micrographs showing cracks in the gate. Eventually, a comparative study has been realized with the new generations of SiCMOSFET

Sur des architectures récentes, un programme numérique peut donner des réponses différentes en fonction du hardware et du compilateur. Ces incohérences des résultats viennent du fait que chaque calcul en virgule flottante est effectué avec des précisions différentes. Le but de cette thèse est de prouver formellement des propriétés des programmes opérant sur des nombres flottants en prenant en compte l’architecture et le compilateur. Pour le faire, nous avons proposé deux approches différentes. La première approche est de prouver des propriétés des programmes en virgule flottante qui sont vraies sur plusieurs architectures et compilateurs. Cette approche ne considère que les erreurs d’arrondi qui doivent être validées quels que soient l’environnement matériel et le choix du compilateur. Elle est implantée dans la plate-forme Frama-C pour l’analyse statique de code C. La deuxième approche consiste à prouver des propriétés des programmes en analysant leur code assembleur. Nous nous concentrons sur des problèmes et des pièges qui apparaissent sur des calculs en virgule flottante. L’analyse directe du code assembleur nous permet de considérer des caratéristiques dépendant de l’architecture ou du compilateur telle que l’utilisation des registres en précision étendue. Cette approche est implantée comme une sur-couche de la plate-forme Why pour la vérification déductive. / On some recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. These discrepancies of the results come from the fact that each floating-point computation is calculated with different precisions. The goal of this thesis is to formally prove properties about numerical programs while taking the architecture and the compiler into account. In order to do that, we propose two different approaches. The first approach is to prove properties of floating-point programs that are true for multiple architectures and compilers. This approach states the rounding error of each floating-point computation whatever the environment and the compiler choices. It is implemented in the Frama-C platform for static analysis of C code. The second approach is to prove behavioral properties of numerical programs by analyzing their compiled assembly code. We focus on the issues and traps that may arise on floating-point computations. Direct analysis of the assembly code allows us to take into account architecture- or compiler-dependent features such as the possible use of extended precision registers. It is implemented above the Why platform for deductive verification

La proprioception cervicale joue un rôle important dans le contrôle postural, mais la nature exacte de sa contribution est controversée. Dans certains cas de « coup du lapin », une atteinte posturale a été démontrée, sans que l'atteinte du rachis cervical puisse être tenue pour seule responsable. Malgré la forte prévalence des pathologies cervicales dégénératives, leurs conséquences posturales ont été peu étudiées dans la littérature scientifique. Il n'existe aucune publication centrée sur les deux types de pathologie responsables de névralgies cervicobrachiales : les hernies discales cervicales et l'arthrose cervicale. Cette étude a eu pour but d'évaluer le contrôle postural de deux groupes de patients présentant une pathologie cervicale dégénérative avec et sans stimulation optocinétique avant et après traitement chirurgical. Dix-sept patients présentant une radiculalgie ont été inclus dans cette étude et répartis en deux groupes selon l'origine arthrosique ou discale de la compression neurologique. Tous les patients ainsi que 31 témoins ont été soumis à un examen de posturographie statique comprenant 12 enregistrements : les quatre premiers enregistrements ont été réalisés la tête dans l'axe (à 0°) : yeux fermés, yeux ouverts sans stimulation optocinétique, yeux ouverts avec stimulation optocinétique dans le sens horaire, puis antihoraire. Ces quatre situations sensorielles ont été répétées tête tournée 30° à gauche, puis 30° à droite. Les patients ont à nouveau été soumis à ces 12 enregistrements six semaines après l'intervention. Aucun patient ne s'est plaint de sensations vertigineuses que ce soit en pré ou en postopératoire. Avant intervention, les yeux fermés, le groupe hernie discale était plus stable que le groupe arthrose. Après intervention, la contribution visuelle au contrôle postural avait diminué dans les deux groupes dans un environnement visuel dynamique, alors que dans un environnement visuel stable, elle n'avait diminué que dans le groupe arthrose. L'importance relative des informations visuelles et proprioceptives pour le contrôle postural varie selon le type de pathologie et la chirurgie tend à réduire la contribution visuelle surtout pour les patients présentant une arthrose cervicale / Cervical proprioception plays a key role in postural control, but its specific contribution is controversial. Postural impairment was shown in whiplash injuries without demonstrating the sole involvement of the cervical spine. The consequences of degenerative cervical spine diseases are underreported in posture-related scientific literature in spite of their high prevalence. No report has focused on the two different mechanisms underlying cervicobrachial pain: herniated discs and spondylosis. This study aimed to evaluate postural control of two groups of patients with degenerative cervical spine diseases with or without optokinetic stimulation before and after surgical treatment. Seventeen patients with radiculopathy were recruited and divided into two groups according to the spondylotic or discal origin of the nerve compression. All patients and a control population of 31 healthy individuals underwent a static posturographic test with 12 recordings; the first four recordings with the head in 0° position: eyes closed, eyes open without optokinetic stimulation, with clockwise and counter clockwise optokinetic stimulations. These four sensorial situations were repeated with the head rotated 30° to the left and to the right. Patients repeated these 12 recordings 6 weeks postoperatively. None of the patients reported vertigo or balance disorders before or after surgery. Prior to surgery, in the eyes closed condition, the herniated disc group was more stable than the spondylosis group. After surgery, the contribution of visual input to postural control in a dynamic visual environment was reduced in both cervical spine diseases whereas in a stable visual environment visual contribution was reduced only in the spondylosis group. The relative importance of visual and proprioceptive inputs to postural control varies according to the type of pathology and surgery tends to reduce visual contribution mostly in the spondylosis group

L'Imagerie par Résonance Magnétique (IRM) est une modalité d'imagerie médicale reposant sur l'utilisation de champs électromagnétiques pour acquérir des images tomodensitométriques du corps humain. Bien qu'appartenant à la catégorie des rayonnements non-ionisants (RNI), des effets transitoires peuvent être ressentis par les personnels travaillant à proximité d'une IRM. Ces travailleurs sont dits exposés aux champs électromagnétiques, même si les différents comités d’experts s’accordent pour dire qu’aucun effet d’accumulation de dose ou d’effet à long terme n’a été trouvé. Ces effets à court terme, allant d’un goût métallique au niveau de la bouche à la stimulation nerveuse et à l'échauffement, sont connus et identifiés. Ils peuvent néanmoins provoquer une gêne, voire un danger, pour le travailleur. Ces préoccupations concernent spécifiquement le champ magnétique permanent (de 1,5 T à 7 T) utilisé par l'IRM. Un groupement d'experts mandatés par l'Organisation Mondiale de la Santé (OMS) a ainsi déterminé l'évaluation de l'exposition des travailleurs au champ magnétique statique comme une priorité importante. Les travaux de cette thèse ont permis de répondre à cette demande en définissant et en implémentant un dispositif de mesure autonome et léger permettant la mesure de cette exposition ainsi que la caractérisation des mouvements du travailleur. La justesse de la mesure d'induction magnétique réalisée par le dispositif est garantie par une méthode de correction numérique prenant en compte les défauts de linéarité et d'orthogonalité du capteur. Basée sur les données du capteur, une méthode d'ajustement de la mesure d'induction magnétique a ensuite été définie. Cette méthode permet, à partir d'une mesure réalisée au niveau du torse du travailleur, d'extrapoler la valeur d'induction magnétique au niveau de la tête de celui-ci. Enfin, une validation pratique du dispositif de mesure a été effectuée à travers un suivi de l'exposition des travailleurs IRM de trois centres d'imagerie médicale : imagerie clinique, imagerie interventionnelle et IRM ultra hauts champs (7~T). Des méthodes d'extraction de métriques permettant l'analyse précise et la comparaison de l'exposition des travailleurs au champ magnétique statique ont été proposées. Les travaux présentés dans cette thèse ont ouvert des perspectives intéressantes, permettant de réaliser le suivi à long terme de l'exposition des travailleurs au champ magnétique statique de façon quasi autonome. De plus, une industrialisation des outils et méthodes définis a pu être réalisée et est actuellement en cours de validation / The Magnetic Resonance Imaging (MRI) is a medical imaging modality using electromagnetic fields (EMF) in order to perform human body tomodensitometric images. Even if these fields are Non-Ionizing Radiations (NIR), some transitory effects can be felt by the staff working in the vicinity of the MRI. Such workers are qualified as “exposed” to EMF, even if all expert comities agree to say that no accumulative or long term effects have been identified yet. Short term effects are known and identified, from metallic taste in the mouth, nerve and muscle stimulation, to biologic tissue heating, which can be troublesome or dangerous. The main exposure concern comes from the MRI permanent static magnetic field (ranging from 1.5 T to 7 T). An expert comity, mandated by the World Health Organization (WHO), has therefore defined the evaluation of the exposure of the MRI workers to the static magnetic field as a priority. This was the focus of this PhD thesis. A light and autonomous static magnetic field monitor (called "exposimeter") has been developed. It allows the recording of the three-dimensional magnetic fields as well as workers’ movements. Its magnetic induction measurement accuracy has been ensured by a specific calibration, which takes into account non-linearity and non-orthogonality of the magnetic sensors. Based on exposimeter data, a magnetic induction extrapolation method has then been developed. This method allows the estimation of the EMF exposure at the head with sensors placed on the torso. Finally, a practical validation of the device has been performed in multiple MRI clinical and research centers, included clinical MRIs (1.5 T and 3 T), an interventional MRI (1.5 T) and an ultra-high field MRI (7 T). Metrics have been defined in order to precisely analyze and compare workers exposure. All the works presented in this PhD thesis open new perspectives such as long term static magnetic field exposure follow-up. Moreover, industrial transfer of the device has been performed and is currently being validated

L’analyse comportementale traditionnelle opère en général au niveau de l’implantation de comportements malveillants. Pourtant, elle s’intéresse surtout à l’identification de fonctionnalités données et elle se situe donc plus naturellement à un niveau fonctionnel. Dans cette thèse, nous définissons une forme d’analyse comportementale de programmes qui opère non pas sur les interactions élémentaires d’un programme avec le système mais sur la fonction que le programme réalise. Cette fonction est extraite des traces d’un pro- gramme, un procédé que nous appelons abstraction. Nous définissons de façon simple, intuitive et formelle les fonctionnalités de base à abstraire et les comportements à détecter, puis nous proposons un mécanisme d’abstraction applicable à un cadre d’analyse statique ou dynamique, avec des algorithmes pratiques à complexité raisonnable, enfin nous décrivons une technique d’analyse comportementale intégrant ce mécanisme d’abstraction. Notre méthode est particulièrement adaptée à l’analyse des programmes dans des langages de haut niveau ou dont le code source est connu, pour lesquels l’analyse statique est facilitée : applications mobiles en .NET ou Java, scripts, extensions de navigateurs, composants off-the-shelf.Le formalisme d’analyse comportementale par abstraction que nous proposons repose sur la théorie de la réécriture de mots et de termes, les langages réguliers de mots et de termes et le model checking. Il permet d’identifier efficacement des fonctionnalités dans des traces et ainsi d’obtenir une représentation des traces à un niveau fonctionnel; il définit les fonctionnalités et les comportements de façon naturelle, à l’aide de formules de logique temporelle, ce qui garantit leur simplicité et leur flexibilité et permet l’utilisation de techniques de model checking pour la détection de ces comportements ; il opère sur un ensemble quelconque de traces d’exécution ; il prend en compte le flux de données dans les traces d’exécution; et il permet, sans perte d’efficacité, de tenir compte de l’incertitude dans l’identification des fonctionnalités. Un cadre d’expérimentation a été mis en place dans un contexte d’analyse dynamique comme statique / Traditional behavior analysis usually operates at the implementation level of malicious behaviors. Yet, it is mostly concerned with the identification of given functionalities and is therefore more naturally defined at a functional level. In this thesis, we define a form of program behavior analysis which operates on the function realized by a program rather than on its elementary interactions with the system. This function is extracted from program traces, a process we call abstraction. We define in a simple, intuitive and formal way the basic functionalities to abstract and the behaviors to detect, then we propose an abstraction mechanism applicable both to a static or to a dynamic analysis setting, with practical algorithms of reasonable complexity, finally we describe a behavior analysis technique integrating this abstraction mechanism. Our method is particularly suited to the analysis of programs written in high level languages or with a known source code, for which static analysis is facilitated: mobile applications for .NET or Java, scripts, browser addons, off-the-shelf components.The formalism we propose for behavior analysis by abstraction relies on the theory of string and terms rewriting, word and tree languages and model checking. It allows an efficient identification of functionalities in traces and thus the construction of a represen- tation of traces at a functional level; it defines functionalities and behaviors in a natural way, using temporal logic formulas, which assure their simplicity and their flexibility and enables the use of model checking techniques for behavior detection; it operates on an unrestricted set of execution traces; it handles the data flow in execution traces; and it allows the consideration of uncertainty in the identification of functionalities, with no complexity overhead. Experiments have been conducted in a dynamic and static analysis setting