L’apparition de convertisseurs multicellulaires parallèles entrelacés et magnétiquement couplés a conduit ces dernières années à améliorer les performances des convertisseurs (densité de puissance, efficacité, dynamique,...). Il existe plusieurs topologies d’entrelacement qui utilisent des Transformateurs Interphases. L’objectif principal de cette étude est de trouver parmi ces topologies celles qui sont les mieux adaptées à un contexte d’intégration d’électronique de puissance pour minimiser la taille et réduire les pertes. Une première étape de modélisation a permis d’effectuer une étude comparative de quelques topologies. Un procédé de permutation des phases d’alimentation a été présenté afin de réduire les ondulations du courant de phases et les pertes ohmiques. Les résultats obtenus valident qualitativement l’avantage de la solution retenue par rapport à la solution standard. Enfin, la réalisation pratique d’un prototype de convertisseur modulaire utilisant des Transformateurs Inter-phases est abordé. Il s’agit d’un régulateur chargé d’alimenter les microprocesseurs (1,2V/100A) (Voltage Regulator Module (VRM)) à 5 modules. Les résultats expérimentaux montrent l’avantage de l’utilisation des Transformateurs Inter-phases par rapport à la solution classique / During the last years, using coupled parallel interleaved converters enhances converters performances (power density, efficiency, transient response,...). There are several possible interleaved coupled topologies that use Inter-phases Transformers. The main objective of this study is to find among these topologies the best adapted configuration in a context of power electronics integration in order to minimize converter size and to reduce losses. A model is proposed to compare some topologies. An optimal modified sequence of phase order to reduce current ripple and ohmic losses is presented. The obtained results validate the advantage of the coupled solution compared to the standard solution. At last, the implementation of a modular power converter using Inter-phases Transformers is shown. It is a Voltage Regulator Module (1,2V/100A) that consists of five identical modules. Experimental results show the advantage of using Inter-phases Transformers compared to conventional solution

Avec le développement des communications et de l'Internet, l'échange des informations cryptées a explosé. Cette évolution a été possible par le développement des protocoles de la cryptographie asymétrique qui font appel à des opérations arithmétiques telles que l'exponentiation modulaire sur des grands entiers ou la multiplication scalaire de point de courbe elliptique. Ces calculs sont réalisés par des plates-formes diverses, depuis la carte à puce jusqu'aux serveurs les plus puissants. Ces plates-formes font l'objet d'attaques qui exploitent les informations recueillies par un canal auxiliaire, tels que le courant instantané consommé ou le rayonnement électromagnétique émis par la plate-forme en fonctionnement.Dans la thèse, nous améliorons les performances des opérations résistantes à l'attaque Simple Power Analysis. Sur l'exponentiation modulaire, nous proposons d'améliorer les performances par l'utilisation de multiplications modulaires multiples avec une opérande commune optimisées. Nous avons proposé trois améliorations sur la multiplication scalaire de point de courbe elliptique : sur corps binaire, nous employons des améliorations sur les opérations combinées AB,AC et AB+CD sur les approches Double-and-add, Halve-and-add et Double/halve-and-add et l'échelle binaire de Montgomery ; sur corps binaire, nous proposons de paralléliser l'échelle binaire de Montgomery ; nous réalisons l'implantation d'une approche parallèle de l'approche Right-to-left Double-and-add sur corps premier et binaire, Halve-and-add et Double/halve-and-add sur corps binaire. / The development of online communications and the Internet have made encrypted data exchange fast growing. This has been possible with the development of asymmetric cryptographic protocols, which make use of arithmetic computations such as modular exponentiation of large integer or elliptic curve scalar multiplication. These computations are performed by various platforms, including smart-cards as well as large and powerful servers. The platforms are subject to attacks taking advantage of information leaked through side channels, such as instantaneous power consumption or electromagnetic radiations.In this thesis, we improve the performance of cryptographic computations resistant to Simple Power Analysis. On modular exponentiation, we propose to use multiple multiplications sharing a common operand to achieve this goal. On elliptic curve scalar multiplication, we suggest three different improvements : over binary fields, we make use of improved combined operation AB,AC and AB+CD applied to Double-and-add, Halve-and-add and Double/halve-and-add approaches, and to the Montgomery ladder ; over binary field, we propose a parallel Montgomery ladder ; we make an implementation of a parallel approach based on the Right-to-left Double-and-add algorithm over binary and prime fields, and extend this implementation to the Halve-and-add and Double/halve-and-add over binary fields.

Dans la première partie de cette thèse on étudiera la conjecture de généricité: dans le graphe de Cayley du groupe modulaire d'une surface fermée on regarde une boule centrée à l'identité et on s'intéresse à la proportion de sommets pseudo-Anosov dans cette boule. La conjecture de généricité affirme que cette proportion doit tendre vers 1 quand le rayon de la boule tend vers l'infini. On montre qu'elle est bornée inférieurement par un nombre strictement positif et on montre des résultats similaires pour une grande classe de sous-groupes du groupe modulaire. On présente aussi des résultats analogues pour des groupes d'Artin-Tits de type sphérique, en sachant que dans ce cas, être pseudo-Anosov est analogue à agir loxodromiquement sur un complexe delta-hyperbolique convenable. Dans la deuxième partie on donne des résultats sur les sous-groupes paraboliques des groupes d'Artin-Tits de type sphérique: le standardisateur minimal d'une courbe dans le disque troué est la tresse minimale positive qui la fait devenir ronde. On construit un algorithme pour le calculer d'une façon géométrique. Ensuite, on généralise le problème pour les groupes d'Artin-Tits de type sphérique. On montre aussi que l'intersection de deux sous-groupes paraboliques est un sous-groupe parabolique et que l'ensemble de sous-groupes paraboliques est un treillis par rapport à l'inclusion. Finalement, on définit le complexe simplicial des sous-groupes paraboliques irréductibles, et on le propose comme l'analogue du complexe de courbes. / In the first part of this thesis we study the genericity conjecture: In the Cayley graph of the mapping class group of a closed surface we look at a ball of large radius centered on the identity vertex, and at the proportion of pseudo-Anosov vertices among the vertices in this ball. The genericity conjecture states that this proportion should tend to one as the radius tends to infinity. We prove that it stays bounded away from zero and prove similar results for a large class of subgroups of the mapping class group. We also present analogous results for Artin--Tits groups of spherical type, knowing that in this case being pseudo-Anosov is analogous to being a loxodromically acting element. In the second part we provide results about parabolic subgroups of Artin-Tits groups of spherical type: The minimal standardizer of a curve on a punctured disk is the minimal positive braid that transforms it into a round curve. We give an algorithm to compute it in a geometrical way. Then, we generalize this problem algebraically to parabolic subgroups of Artin--Tits groups of spherical type. We also show that the intersection of two parabolic subgroups is a parabolic subgroup and that the set of parabolic subgroups forms a lattice with respect to inclusion. Finally, we define the simplicial complex of irreducible parabolic subgroups, and we propose it as the analogue of the curve complex for mapping class groups.

Durant le développement de grandes lignes de produits logiciels, un ensemble de techniques d’implémentation traditionnelles, comme l’héritage ou les patrons de conception, est utilisé pour implémenter la variabilité. La notion de feature, en tant qu’unité réutilisable, n’a alors pas de représentation de première classe dans le code, et un choix inapproprié de techniques entraîne des incohérences entre variabilités du domaine et de l’implémentation. Dans cette thèse, nous étudions la diversité de la majorité des techniques d’implémentation de la variabilité, que nous organisons dans un catalogue étendu. Nous proposons un framework pour capturer et modéliser, de façon fragmentée, dans des modèles techniques de variabilité, la variabilité implémentée par plusieurs techniques combinées. Ces modèles utilisent les points de variation et les variantes, avec leur relation logique et leur moment de résolution, pour abstraire les techniques d’implémentation. Nous montrons comment étendre le framework pour obtenir la traçabilité de feature avec leurs implémentations respectives. De plus, nous fournissons une approche outillée pour vérifier la cohérence de la variabilité implémentée. Notre méthode utilise du slicing pour vérifier partiellement les formules de logique propositionnelles correspondantes aux deux niveaux dans le cas de correspondence 1–m entre ces niveaux. Ceci permet d’obtenir une détection automatique et anticipée des incohérences. Concernant la validation, le framework et la méthode de vérification ont été implémentés en Scala. Ces implémentations ont été appliquées à un vrai système hautement variable et à trois études de cas de lignes de produits. / When large software product lines are engineered, a combined set of traditional techniques, such as inheritance, or design patterns, is likely to be used for implementing variability. In these techniques, the concept of feature, as a reusable unit, does not have a first-class representation at the implementation level. Further, an inappropriate choice of techniques becomes the source of variability inconsistencies between the domain and the implemented variabilities. In this thesis, we study the diversity of the majority of variability implementation techniques and provide a catalog that covers an enriched set of them. Then, we propose a framework to explicitly capture and model, in a fragmented way, the variability implemented by several combined techniques into technical variability models. These models use variation points and variants, with their logical relation and binding time, to abstract the implementation techniques. We show how to extend the framework to trace features with their respective implementation. In addition, we use this framework and provide a tooled approach to check the consistency of the implemented variability. Our method uses slicing to partially check the corresponding propositional formulas at the domain and implementation levels in case of 1–to–m mapping. It offers an early and automatic detection of inconsistencies. As validation, we report on the implementation in Scala of the framework as an internal domain specific language, and of the consistency checking method. These implementations have been applied on a real feature-rich system and on three product line case studies, showing the feasibility of the proposed contributions.

L’objectif de ce travail de Thèse est d’évaluer les capacités de composants numérique de type Système-sur-Puce (SoC en anglais) pour l’implantation de Simulateurs Temps Réel Embarqués (ERTS en anglais) de systèmes électromécaniques et d’électronique de puissance. En effet, l’utilisation de ces simulateurs n’est pas seulement limitée aux validations matériel dans la boucle (en anglais Hardware-in-the-Loop ou HIL) du système mais doivent également être embarqués avec le contrôleur afin d’assurer plusieurs fonctionnalités additionnelles comme l'observation, l'estimation, commande sans capteur (ou sensorless), le diagnostic ou la surveillance de la santé, commande tolérante aux défauts, etc.La réalisation de ces simulateurs doit néanmoins considérer plusieurs contraintes à plusieurs niveaux de développement : durant la modélisation de la partie du système à simuler en temps-réel, durant la réalisation numérique et enfin durant l’implantation sur le composant numérique utilisé. Ainsi, le travail réalisé durant cette Thèse s’est focalisé sur ce dernier niveau et l’objectif était d’évaluer les capacités temps/ressources des composants de type SoC pour l’implantation de modules ERTS. Ce type de plateformes intègrent dans un même composant de puissants processeurs, un circuit logique programmable (de type Field-Programmable Gate Array ou FPGA), et d’autres périphériques, ce qui offre plusieurs opportunités d’implantation.Afin de pallier les limitations liées au codage VHDL de la partie FPGA, il existe des outils High-Level Synthesis (HLS) qui permettent de programmer ces dispositifs en utilisant des langages à haut niveau d'abstraction comme C, C++ ou SystemC. De plus, en incluant des directives et contraintes au code source, ces outils peuvent produire des implémentations matérielles différentes (architecture totalement combinatoire, « pipeline », architecture parallélisées ou factorisées, arranger les données et leurs formats pour une meilleure utilisation des ressources de mémoire, etc.).Dans le but d’évaluer ces différentes implantations, deux cas d’études ont été choisis : le premier se compose d’un Générateur Asynchrone à Double Alimentation (GADA) et le second d’un Convertisseur Modulaire Multiniveau (ou Modular Multi-level Converter - MMC). Vu que la GADA a une dynamique basse/moyenne (dynamiques électriques et mécaniques), deux versions d’implantations ont été évaluées : (i) une implantation full-software en utilisant seulement les processeurs ARM; et (ii) une implantation full-hardware en utilisant l’outil HLS pour programmer la partie FPGA. Ces deux versions ont été évaluées avec différentes optimisations du compilateur et trois formats de données: 64/32-bit en virgule flottante, et 32-bit en virgule flottante. L’approche mixe software/hardware a également été évaluée à travers la caractérisation des transferts de données entre le processeur et l’IP ERTS implantée dans la partie FPGA. Quant au convertisseur MMC, sa complexité et sa forte dynamique (dynamique de commutation) impose une implantation exclusivement full-hardware. Celle-ci a également été réalisée à base d’outils HLS.Enfin pour la validation expérimentale de ce travail de Thèse, une maquette à base de convertisseur MMC a été construite dans le but de comparer des mesures du système réel avec les résultats fournis par l’IP ERTS. / This Doctoral Thesis is a detailed study of how suitable System-on-Chip (SoC) devices are for implementing Embedded Real-Time Simulators (ERTS) of electromechanical and power electronic systems. This emerging class of Real-Time Simulators (RTS) are not only expected for Hardware-in-the-Loop (HIL) validations of systems; but they also have to be embedded within the controller to play several roles like observers, parameter estimation, diagnostic, health monitoring, fault-tolerant and sensorless control, etc.The design of these Intellectual Properties (IP) must rigorously consider a set of constraints at different development stages: (i) during the modeling of the system to be real-time simulated; (ii) during the digital realization of the IP; and also (iii) during its final implementation in the digital platform. Thus, the conducted work of this Thesis focuses specially on this last stage and its aim is to evaluate the time/resource performances of recent SoC devices and study how suitable they are for implementing ERTSs. These kind of digital platforms combine powerful general purpose processors, a Field-Programmable Gate Array (FPGA) and other peripherals which make them very convenient for controlling and monitoring a complete system.One of the limitations of these devices is that control engineers are not particularly familiarized with FPGA programming, which needs extensive expertise in order to code these highly sophisticated algorithms using Hardware Description Languages (HDL). Notwithstanding, there exist High-Level Synthesis (HLS) tools which allow to program these devices using more generic programming languages such as C, C++ or SystemC. Moreover, by inserting directives and constraints to the source code, these tools can produce different hardware implementations (e.g. full-combinatorial design, pipelined design, parallel or factorized design, partition or arrange data for a better utilisation of memory resources, etc.).This dissertation is based on the implementation of two representative applications that are well known in our laboratory: a Doubly-fed Induction Generator (DFIG) commonly used as wind turbines; and a Modular Multi-level Converter (MMC) that can be arranged in different configurations and utilized for many different energy conversion purposes. Since the DFIG has low/medium system dynamics (electrical and mechanical ones), both a full-software implementation using solely the ARM processor and a full-hardware implementation using HLS to program the FPGA will be evaluated with different design optimizations and data formats (64/32-bit floating-point and 32-bit fixed-point). Moreover, it will also be investigated whether a system of these characteristics is interesting to be run as a hardware accelerator. Different data transfer options between the Processor System (PS) and the Programmable Logic (PL) have been studied as well for this matter. Conversely, because of its harsh dynamics (switching dynamics), the MMC will be implemented only with a full-hardware approach using HLS tools, as well.For the experimental validation of this Thesis work, a complete MMC test bench has been built from scratch in order to compare the real-world results with its SoC ERTS implementation.

L’appropriation d’algorithmes existants, la création d’outils numériques et des recherches conceptuelles ont mené à la création de deux installations audiovisuelles interactives. La première, Deep Duo, met en scène des réseaux de neurones artificiels contrôlant des synthétiseurs modulaires. La deuxième, Morphogenèse, l’œuvre d’envergure de ce mémoire, met en relation le spectateur avec des modèles profonds génératifs et le place face à des représentations artificielles de sa voix et de son visage. Les installations et leurs fonctionnements seront décrits et, à travers des exemples de stratégies créatives et des concepts théoriques en lien avec l’interactivité et l’esthétique des comportements, des pistes pour favoriser l’utilisation d’algorithmes d’apprentissage automatique à des fins créatives seront proposées. / The appropriation of existing algorithms, the creation of digital tools and conceptual research have led to the creation of two interactive audiovisual installations. The first, Deep Duo, features artificial neural networks controlling modular synthesizers. The second, Morphogenesis, the major work of this dissertation, connects the viewer with generative deep models and places them in front of artificial representations of their voice and face. We will describe these installations and their functioning and, through examples of creative strategies and theoretical concepts related to interactivity and the aesthetics of behaviour, we will propose ways to promote the use of machine learning algorithms for creative purposes.

Actuellement, l'usage d'un système d'aide à la navigation est devenu de plus en plus indispensable dans la vie quotidienne. Cependant, les systèmes existants ne sont pas adaptés à la navigation des personnes à mobilité réduite (PMR) utilisatrices d'un fauteuil roulant. De nombreux projets ont été créés, comme Wegoto en France ou Route4U en Hongrie. Au Canada, le projet multidisciplinaire MobiliSIG a été lancé en 2013. Ce projet vise à concevoir et développer des technologies géospatiales de navigation selon les principes de la conception cognitive pour assister les PMR dans leurs déplacements quotidiens et leur accès à l'environnement. L'objectif global du présent projet est la conception d'un système mobile de planification de trajet et de guidage pendant la navigation, multimodal et adapté aux différents profils de personnes à mobilité réduite utilisatrices de fauteuil roulant. Pour commencer, nous avons passé en revue la littérature relative aux concepts liés à notre problématique. Ensuite, nous avons proposé une approche d'aide à la navigation qui combine des éléments de guidage pas à pas avec des informations sur des repères ainsi que de différents éléments pertinents (points d'intérêts, obstacles/facilitateurs, ...) pour la description d'un trajet personnalisé et adapté au profil des PMR. Finalement, en nous appuyant sur les principes de la conception modulaire et sur le concept des applications mobiles riches (AMR), nous avons conçu et développé une solution mobile composée de trois modules : un module profil pour gérer le profil et les préférences de l'utilisateur, un module de planification qui gère la planification adaptée des itinéraires et un module de navigation pour fournir un guidage multimodal (visuel, vocal et haptique) pendant la navigation en tenant compte de profil de l'utilisateur. / Currently, the use of a navigation aid system has become more and more essential in daily life. However, the existing systems are not adapted to the navigation of people with reduced mobility (PRM) using a wheelchair. Many projects have been created, such as Wegoto in France or Route4U in Hungary. In Canada, the multidisciplinary project MobiliSIG was launched in 2013. This project aims to design and develop geospatial navigation technologies according to the principles of cognitive design to assist PRMs in their daily travel and access to the environment. The overall objective of this project is the design of a mobile route planning and guidance system during navigation, multimodal and adapted to the different profiles of wheelchair users with reduced mobility. To begin, we reviewed the literature related to the concepts of our problem. Then, we proposed a navigation aid approach that combines step-by-step guidance elements with information on landmarks and different relevant elements (points of interest, obstacles/facilitators, ...) for the description of a personalized path adapted to the profile of PRM. Finally, based on the principles of modular design and the concept of rich mobile applications (RMAs), we designed and developed a mobile solution composed of three modules: a profile module to manage the user's profile and preferences; a planning module to manage the adapted route planning; and a navigation module to provide multimodal guidance (visual, voice and haptic) during navigation taking into account the user's profile.

En vue des divers facteurs pesant sur le choix, développement d'un modèle dont la fonction-objectif est le coût de construction ; optimisation par programmation dynamique d'un système d'équations, prenant le trace et les débits comme données, résoluble sur microordinateur (IBM-PC), en rapport aux réglementations techniques en vigueur. 4 chapitres: - chap. 1 : méthodologie du choix des matériaux constitutifs des réseaux - chap. 2 : étude hydraulique des canalisations - chap. 3 : contrôle de stabilité des tuyaux enterrés - chap. 4 : caractéristiques fonctionnelles du modèle général.

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect. / One of the main goals of software engineering is to enable the construction of large, complex and reliable software in timely fashion. Object-oriented (OO) technology has provided modeling and programming principles and techniques that allow developing complex software systems both in academic and industrial areas. In return, experience gained in OO system development has allowed discovering some limitations of object technology (e.g., code scattering and poor traceability problems). Aspect Oriented (AO) Technology is a post-object-oriented technology emerged to overcome limitations of Object Oriented (OO) Technology, such as the crosscutting concern problem. Crosscutting concerns are scattered and tangled concerns. Major goals of Aspect Oriented Programming (AOP) include improving modularity, cohesion, and overall software quality. Aspect Oriented Programming results in the evolution of programming activities to fullblown software engineering processes, to preserve modularity and traceability, which are two important properties of high-quality software. Yet, there are also many challenges in AO Technology. Reasoning, specification, and verification of AO programs present unique challenges especially as such programs evolve over time. Consequently, modular reasoning of such programs is highly attractive as it enables tractable evolution, otherwise necessitating that the entire program be reexamined each time a component is changed or is added. It is well known in the literature, however, that modular reasoning about AO programs is difficult due to the fact that the aspects applied often alter the behavior of the base components [47]. The same modular reasoning difficulties are also present in the specification and verification phases of software development process. To the best of our knowledge, AO modular specification and verification is a weakly covered subject and constitutes an interesting open research field. Also, aspect interaction is a major concern in the aspect-oriented community. To deal with these problems, we choose to use category theory and algebraic specification techniques. To achieve the above thesis goals, we use the work of Wiels [110] and other contributions such as the one described in [25]. We assume at the beginning that the system under development is already decomposed into aspect and class components. The first contribution of our thesis is the extension of the algebraic specification technique to the notion of aspect. Secondly, we define a logic, LA that is used in specification bodies to describe the behavior of these components. The third contribution concerns the defini tion of the weaving operator corresponding to the weaving interconnection relationship between aspect modules and class modules. The fourth contribution consists of the design of a prevention policy that is used to prevent or avoid undesirable aspect interactions in aspect-oriented systems.

Cette thèse est dédiée à la conception optimale de la machine synchrone à rotor bobiné modulaire sans balais pour les systèmes embarqués. Cette machine est basée sur une structure POKIPOKITM développée par Mitsubishi Electric Coopération avec les convertisseurs de puissance intégrée pour augmenter la capacité de tolérance aux défauts. L'analyse électromagnétique est utilisée pour étudier les différentes machines synchrones à rotor bobiné et donc, pour sélectionner la structure qui offre la meilleure tolérance aux défauts et les performances les plus élevées. D’abord, le choix des nombres de phases, d’encoches et de pôles est un point critique. Ensuite, quelques machines sont analysées et comparées selon les critères tels que la densité de couple, le rendement, l'ondulation de couple. La machine avec 7 phases, 7 encoches et 6 pôles est alors choisie. Cette machine est ensuite comparée à la machine synchrone à aimant permanent monté en surface. Le résultat démontre que la machine synchrone à rotor bobiné modulaire sans balais possède le potentiel de remplacer la machine synchrone à aimant permanent dans notre application parce qu’elle présente des performances similaires avec une capacité de tolérance aux défauts élevée. Dans un second temps, une fois la structure 7phases/7encoches/6pôles choisie, cette machine est optimisée en utilisant NOMAD (qui est un logiciel d'optimisation de boîte noire) afin de minimiser le volume externe sous les contraintes électromagnétiques, thermiques et mécaniques. Comme ce problème d'optimisation est extrêmement difficile à résoudre, quelques relaxations ont été effectuées pour tester les différents algorithmes d'optimisation : fmincon (de Matlab) et NOMAD. Nous remarquons que NOMAD est plus efficace que fmincon pour trouver des solutions à ce problème de conception où certaines contraintes sont calculées par des simulations numériques (ANSYS Maxwell ; code éléments finis). En utilisant la méthode NOMAD basée sur l’algorithme Mesh Adaptive Direct Search, nous obtenons des résultats optimaux qui satisfont toutes les contraintes proposées. Il est nécessaire de valider ce design optimisé en vérifiant toutes les contraintes par des simulations électromagnétiques et thermiques en 3D. Les résultats montrent que le couple moyen obtenu par la simulation en 3D est inférieur à la valeur souhaitée. Par conséquent, en augmentant la longueur de la machine, une nouvelle machine corrigée est ainsi obtenue. Nous observons que les pertes de fer obtenues en 3D sont plus élevées qu'en 2D en raison du flux de fuite dans la tête de bobinage. En prenant les valeurs des pertes analysées par la simulation en 3D, la température de surface de la nouvelle machine analysée par la méthode Computational Fluid Dynamics est plus élevée que celle calculée dans l’optimisation. Enfin, un prototype de machine est construit et quelques tests expérimentaux est réalisés. Le résultat montre que la force électromotrice à vide a une forme d'onde similaire par rapport à la prédiction numérique en 3D et la différence de couple statique maximum entre les tests expérimentaux et les simulations par éléments finis en 3D est faible. / This thesis is dedicated to the design and the optimization of modular brushless wound rotor synchronous machine for embedded systems. This machine is constructed based on POKIPOKITM structure with integrated drive electronics. Finite element analysis based optimization becomes more popular in the field of electrical machine design because analytical equations are not easily formalized for the machines which have complicate structures. Using electromagnetic analysis to comparatively study different modular brushless wound rotor synchronous machines and therefore, to select the structure which offers the best fault tolerant capability and the highest output performances. Firstly, the fundamental winding factor calculated by using the method based on voltage phasors is considered as a significant criterion in order to select the numbers of phases, stator slots and poles. After that, 2D finite element numerical simulations are carried out for a set of 15 machines to analyze their performances. The simulation results are then compared to find an appropriate machine according to torque density, torque ripple and machine efficiency. The 7phase/7-slot/6-pole machine is chosen and compared with a reference design surfacemounted permanent magnet synchronous machine in order to evaluate the interesting performance features of the wound rotor synchronous machine. In the second design stage, this machine is optimized by using derivative-free optimization. The objective is to minimize external volume under electromagnetic, thermal and mechanical constraints. Given that an accurate finite element analysis for machine performance takes a long time. Moreover, considering that the average torque can be obtained by simulating the model with only four rotor positions instead of one electric period, optimization strategy is proposed to reduce computational time and therefore, obtain a fast convergence ability by defining relaxed problems which enable minimizing the external volume of the machine under only several constraints such as average torque, torque ripple and copper losses. By testing relaxed problems, two different optimization methods (NOMAD and fmincon) are compared in order to select an appropriate method for our optimization problem. Using NOMAD method based on Mesh Adaptive Direct Search, we achieve optimal results which satisfy all of the constraints proposed. In the third design stage, all constraints are validated by 3D electromagnetic and thermal simulations using finite element and computational fluid dynamics methods. The 3D results show that the average torque obtained is lower than the desired value. By increasing the length of the machine, a new corrected machine is thus obtained. It can be observed that the iron losses obtained in 3D are higher than that in 2D due to the leakage flux in the end-winding. Then, the machine temperature is analyzed by using ANSYS Fluent. Note that the surface temperature is higher than that calculated in the optimization and the coil temperature is 8.48°C higher than the desired value (105°C). However, some dissipation by the shaft and the bearings of the machine are expected to reduce the machine temperature. Finally, a machine prototype is built and some experimental tests are carried out. The results show that the electromotive force has a similar waveform compared to 3D prediction and the difference of the measured and predicted maximum static torques is small.