Cette thèse porte sur l'étude, la conception matérielle, la validation théorique et pratique, et enfin la comparaison de différents opérateurs arithmétiques pour des cryptosystèmes basés sur les courbes elliptiques (ECC). Les solutions proposées doivent être robustes contre certaines attaques par canaux cachés tout en étant performantes en matériel, tant au niveau de la vitesse d'exécution que de la surface utilisée. Dans ECC, nous cherchons à protéger la clé secrète, un grand entier, utilisé lors de la multiplication scalaire. Pour nous protéger contre des attaques par observation, nous avons utilisé certaines représentations des nombres et des algorithmes de calcul pour rendre difficiles certaines attaques ; comme par exemple rendre aléatoires certaines représentations des nombres manipulés, en recodant certaines valeurs internes, tout en garantissant que les valeurs calculées soient correctes. Ainsi, l'utilisation de la représentation en chiffres signés, du système de base double (DBNS) et multiple (MBNS) ont été étudiés. Toutes les techniques de recodage ont été validées théoriquement, simulées intensivement en logiciel, et enfin implantées en matériel (FPGA et ASIC). Une attaque par canaux cachés de type template a de plus été réalisée pour évaluer la robustesse d'un cryptosystème utilisant certaines de nos solutions. Enfin, une étude au niveau matériel a été menée dans le but de fournir à un cryptosystème ECC un comportement régulier des opérations effectuées lors de la multiplication scalaire afin de se protéger contre certaines attaques par observation. / This PhD thesis focuses on the study, the hardware design, the theoretical and practical validation, and eventually the comparison of different arithmetic operators for cryptosystems based on elliptic curves (ECC). Provided solutions must be robust against some side-channel attacks, and efficient at a hardware level (execution speed and area). In the case of ECC, we want to protect the secret key, a large integer, used in the scalar multiplication. Our protection methods use representations of numbers, and behaviour of algorithms to make more difficult some attacks. For instance, we randomly change some representations of manipulated numbers while ensuring that computed values are correct. Redundant representations like signed-digit representation, the double- (DBNS) and multi-base number system (MBNS) have been studied. A proposed method provides an on-the-fly MBNS recoding which operates in parallel to curve-level operations and at very high speed. All recoding techniques have been theoretically validated, simulated extensively in software, and finally implemented in hardware (FPGA and ASIC). A side-channel attack called template attack is also carried out to evaluate the robustness of a cryptosystem using a redundant number representation. Eventually, a study is conducted at the hardware level to provide an ECC cryptosystem with a regular behaviour of computed operations during the scalar multiplication so as to protect against some side-channel attacks.

Le développement des véhicules hybrides et électriques s’est intensifié ces dernières années, face aux problématiques environnementales et économiques. Afin que les performances de ces derniers soient comparables à celle d’un véhicule à moteur thermique, de nombreuses avancées technologiques sont indispensables. Le déploiement de véhicule entièrement à traction électrique, ne serait être réalisable, sans des infrastructures de recharge adaptées. Cette thèse constitue une contribution à l’étude d’un chargeur de batteries intégré au véhicule électrique, dans le cadre du projet SOFRACI.L'architecture de ce chargeur entièrement réversible sert également pour la traction du véhicule. L’utilisation de tous les éléments y compris le moteur de traction pour les deux fonctions, réduit l’encombrement et le coût de la structure. L’objectif principal consiste à modéliser le système de conversion alternatif-continu du chargeur et à établir les lois de commandes.Lors de la première phase de l’étude, une attention particulière a été portée à l’utilisation des enroulements de la machine en tant qu’inductance de filtrage du convertisseur. Un modèle correspondant à ce fonctionnement a été obtenu et a permis de mettre en évidence un couplage magnétique existant entre les diverses phases.En s’appuyant sur les modèles obtenues, la seconde étape a consisté à définir les stratégies de commande. Deux méthodes ont été employées. La première, par le biais d’une transformation a permis de se ramener dans un repère, où la majorité des termes de couplage ont été éliminés. Pour l’autre méthode, tous les éléments du couplage ont été considérés. Pour chacune de ces stratégies, des correcteurs PI et RST fondés sur le placement de pôles robustes ont été dimensionnés pour garantir la stabilité du système.Une part importante du travail a été consacrée à la réalisation d’un banc d’essai expérimental reconstituant la conversion alternative-continue. Compte tenu des différences de dynamiques des grandeurs asservies, une carte FPGA et un processeur ont été utilisés. L’exploitation de ce moyen d’essai a permis de comparer et de valider les lois de commande développées. / Environmental constraints and reduction of fossil fuels resources have led industrials and laboratories to search for alternative solutions in the transportation domain. For the last few years, several vehicles or planes functions have been gradually electrified, up to their complete electrification. This thesis presents an AC/DC converter integrated in an Electric Vehicle (EV) for the charger application. The conversion is realized by using the electric traction powertrain, in order to reduce the global cost and increase compactness where a specific motor has been design.During the first phase of the study, a model of the motor used as filtering inductances has been obtained and allowed to highlight an existing magnetic coupling between the motor’s phases.The second step was to define control strategies. Two methods were used. The first one, by a transformation allowed eliminating the majority of the coupling term. In the other method, all coupling elements have been considered. For each strategies, IP and RST controllers based on robust pole placement were designed to ensure system stability.An important part of the work was devoted to the realization of an experimental test bench for AC-DC conversion. A FPGA and a processor were used for control implementation. The control laws has been compared and validated thanks to the experimental platform.

Ce travail de thèse s’articule autour de la problématique du respect des gabarits spectraux d’émission imposés par les règlementations et les normes dans le domaine des émetteurs radio impulsionnels ultra-large bande. Le choix a été fait de réaliser un capteur in-situ venant extraire les informations nécessaires à une estimation sur puce de la densité spectrale de puissance. Un algorithme d’estimation embarqué peut alors permettre de détecter les gabarits violés et pouvoir rétroagir sur le dispositif. La grande diversité constatée parmi les règlementations et les normes en vigueur ainsi que dans les différentes architectures de générateurs d'impulsions a alors motivé la réalisation d'un système de calibration universel à tous les émetteurs par prise d'informations en sortie. Le manuscrit s'est alors employé à représenter une impulsion à partir de son enveloppe instantanée et de sa fréquence instantanée, ces deux grandeurs temporelles pouvant être extraites pour tout type d'impulsions. Il a été également proposé dans le chapitre une première technique de calibration basée sur la modification de l'enveloppe à des instants précis qui permet de faire rentrer le spectre dans le gabarit tout en maximisant l'occupation de celui-ci. Enfin, l'extraction de l'enveloppe instantanée et de la fréquence instantanée a été abordée en proposant une technique d'extraction par transposition de l'information en bande de base. La conception des dispositifs électroniques nécessaires a été présentée et ceux-ci ont été implémentés sur la même puce qu'un générateur d'impulsions dans le but de réaliser un démonstrateur qui a validé l'utilisation du système étudié. / This thesis focusses on the power emission constraints defined by regulations and standards for every kinds of ultra-wide band impulse radio transmitters. In fact, these power emission constraints have to be respected all along the device life. Also, an integrated sensor able to extract the essential information for an on-chip estimation of the power spectral density has been realized. Then, an embedded algorithm is added to the system and detects if a power limit is broken. If necessary, it acts on the transmitter to solve the problem. In the first chapter, a large variety of power constraints shapes and several architectures of impulse generators have been observed and studied. Therefore, the aim of this thesis is to realise a calibration system which would be universal to all impulse radio transmitters. After its extraction at the output of the transmitter, information have to be downconverted in order to reduce the constraints on conversion stage but without using a local oscillator and a mixer. A model for the impulse signal based on the instantaneous envelop and on the instantaneous frequency has been proposed in the second chapter. A new calibration method based on these two signals is also presented. The last chapter concentrates on detailing the extraction of the instantaneous envelop and the instantaneous frequency. The design of the electronic devices essential to this extraction is presented and a chip has been realised and the viability of the solution shown.

Les injections de fautes laser induisent des fautes transitoires dans les circuits intégrés en générant localement des courants transitoires qui inversent temporairement les sorties des portes illuminées. L'injection de fautes laser peut être anticipée ou étudiée en utilisant des outils de simulation à différents niveaux d'abstraction: physique, électrique ou logique. Au niveau électrique, le modèle classique d'injection de fautes laser repose sur l'ajout de sources de courant aux différents nœuds sensibles des transistors MOS. Cependant, ce modèle ne prend pas en compte les grands composants de courant transitoire également induits entre le VDD et le GND des circuits intégrés conçus avec des technologies CMOS avancées. Ces courants de court-circuit provoquent un significatif IR drop qui contribue au processus d'injection de faute. Cette thèse décrit notre recherche sur l'évaluation de cette contribution. Il montre par des simulations et des expériences que lors de campagnes d'injection de fautes laser, le IR drop induite par laser est toujours présente lorsque l'on considère des circuits conçus dans des technologies submicroniques profondes. Il introduit un modèle de faute électrique amélioré prenant en compte le IR drop induite par laser. Il propose également une méthodologie qui utilise des outils CAD standard pour permettre l'utilisation du modèle électrique amélioré pour simuler des fautes induits par laser au niveau électrique dans des circuits à grande échelle. Sur la base de simulations et de résultats expérimentaux supplémentaires, nous avons constaté que, selon les caractéristiques de l'impulsion laser, le nombre de fautes injectées peut être sous-estimé par un facteur aussi grand que 3 si le IR drop induite par laser est ignorée. Cela pourrait conduire à des estimations incorrectes du seuil d'injection des fautes, ce qui est particulièrement pertinent pour la conception de techniques de contre-mesures pour les systèmes intégrés sécurisés. De plus, les résultats expérimentaux et de simulation montrent que même si l'injection de fautes laser est une technique d'injection de fautes très locale et précise, les IR drops induites ont un effet global se propageant à travers le réseau d'alimentation. Cela donne des preuves expérimentales que l'effet de l'illumination laser n'est pas aussi local que d'habitude. / Laser fault injections induce transient faults into ICs by locally generating transient currents that temporarily flip the outputs of the illuminated gates. Laser fault injection can be anticipated or studied by using simulation tools at different abstraction levels: physical, electrical or logical. At the electrical level, the classical laser-fault injection model is based on the addition of current sources to the various sensitive nodes of MOS transistors. However, this model does not take into account the large transient current components also induced between the VDD and GND of ICs designed with advanced CMOS technologies. These short-circuit currents provoke a significant IR drop that contribute to the fault injection process. This thesis describes our research on the assessment of this contribution. It shows by simulation and experiments that during laser fault injection campaigns, laser-induced IR drop is always present when considering circuits designed in deep submicron technologies. It introduces an enhanced electrical fault model taking the laser-induced IR-drop into account. It also proposes a methodology that uses standard CAD tools to allow the use of the enhanced electrical model to simulate laser-induced faults at the electrical level in large-scale circuits. On the basis of further simulations and experimental results, we found that, depending on the laser pulse characteristics, the number of injected faults may be underestimated by a factor as large as 3 if the laser-induced IR-drop is ignored. This could lead to incorrect estimations of the fault injection threshold, which is especially relevant to the design of countermeasure techniques for secure integrated systems. Furthermore, experimental and simulation results show that even though laser fault injection is a very local and accurate fault injection technique, the induced IR drops have a global effect spreading through the supply network. This gives experimental evidence that the effect of laser illumination is not as local as usually considered.

Il s'agit de déterminer l'influence d'une rotation solide sur la structure de la turbulence homogène incompressible. Les résultats du modèle spectral EDQNM étant probants en turbulence purement isotrope, la discrétisation spatiale devient un facteur limitant dans le cas anisotrope. Dans le cas où le nombre de Rossby est faible, un développement asymptotique en temps est possible. Le rôle joué par les surfaces résonantes étant dominant, le nouveau modèle conduit à une équation intégro-différentielle fermée pour l'énergie spectrale. Par un traitement numérique précis, un code parallélisé donne des résultats quantitatifs. Il apparaît que l'énergie se concentre avec le temps vers le plan perpendiculaire au vecteur rotation. De plus, le spectre intégré suit une loi de pente -3 dans la zone inertielle, sans que cela soit dû aux seuls vecteurs d'ondes horizontaux. Il n'y a donc pas de vraie bidimensionnalisation, mais les vecteurs proches du plan horizontal ont une dynamique spécifique.

Dans ce travail, une approche pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés est proposée. Il s'agit d'une approche dirigée par les modèles fidèle aux principes de MDA définis par l'OMG. Elle permet au développeur de s'abstraire des difficultés liées à l'implémentation en travaillant sur les modèles de haut niveau, indépendants de la plateforme ou de la technologie d'implémentation cible. Les modèles sont réalisés à l'aide du langage de modélisation UML. Plus précisément, une extension à UML nommée UML-S est proposée pour adapter le langage au domaine de la composition de services. Les modèles UML-S sont suffisamment expressifs et précis pour être directement transformés en code exécutable tout en conservant leur lisibilité. Ces modèles peuvent également être transformés en descriptions formelles LOTOS afin de procéder à leur vérification formelle. L'approche proposée contribue à réduire les temps et les coûts de développement tout en assurant la fiabilité des services composés.

Dans ses publications, la Commission européenne indique régulièrement des différences entre les objectifs définis par les Directives environnementales européennes et leur mise en œuvre dans les Etats membres. Tandis que, du point de vue juridique de cette institution, de tels déficits dans la mise en œuvre (‘implementation gaps') sont non désirables, d'un point de vue économique normatif, ils peuvent être justifiés, dans certains cas, par des considérations d'efficacité si la politique initiale comporte des inefficacités. La thèse porte sur la mise en œuvre (implémentation) des Directives environnementales européennes. Plus précisément, elle évalue de manière approfondie l'efficacité de la Directive 89/429/CEE relative aux émissions atmosphériques des incinérateurs des déchets municipaux existants et le coût-efficacité de sa mise en œuvre en France, en Allemagne, aux Pays-Bas et au Royaume Uni. L'un des axes directeurs de ce travail a consisté à déterminer si des inefficacités potentielles de la politique auraient pu justifier, d'un point de vue économique, l'existence d'un ‘implementation gap' et si la mise en œuvre a (en partie) amélioré l'efficacité de la politique. Une revue des origines fréquentes de déficits dans la mise en œuvre de la politique environnementale européenne proposées par la littérature des sciences politiques souligne deux caractéristiques de la politique européenne: la séparation des compétences entre la définition d'une politique et sa mise en œuvre, qui se traduit potentiellement par un manque de prise en compte des problèmes de mise en œuvre par les décideurs pendant la conception d'une politique; et l'hétérogénéité des situations nationales qui sont difficiles à appréhender par une politique commune. Les deux caractéristiques sont importantes par rapport aux coûts de mise en œuvre, dans la mesure où un enseignement de la théorie économique préconise que la minimisation des coûts agrégés d'une politique nécessite de prendre correctement en compte les situations locales. L'étude de l'efficacité économique de la Directive relative aux incinérateurs des déchets municipaux par rapport à la répartition des tâches entre le niveau européen et celui des Etats membres, et par rapport au coût-efficacité de la différenciation des objectifs indique que cette politique n'a probablement pas été optimale. Par conséquent, nous analysons à partir d'études de cas, si et dans quelle mesure la mise en œuvre a réduit ces inefficacités. Pour la France, la thèse comporte également une analyse économétrique des déterminants du comportement des inspecteurs en charge du contrôle et de l'implémentation sur le terrain. Les résultats indiquent que deux pays ont réussi à réduire leurs coûts pendant la mise en œuvre, et au moins dans un cas la mise en œuvre a en effet amélioré le rapport coût-efficacité de la Directive européenne. En revanche, savoir si l'efficacité globale de cette politique a été améliorée reste une question ouverte.

L'objectif de cette recherche est de bâtir un répertoire descriptif généralisé des structures interrogatives directes du français. Le travail est pluridisciplinaire : linguistique, informatique, documentation. La partie linguistique consiste à dresser un répertoire descriptif formel dans lequel toutes les propriétés pertinentes concernent l'interrogation. Ces propriétés doivent être suffisamment abstraites pour que n'importe quel formalisme puisse les incorporer au besoin. L'implémentation sous forme d'un répertoire vise ensuite l'incorporation des contraintes apportées par la description linguistique. Enfin, nous proposons une consultation de bases de données à visée linguistique, qui est reliée par interface à l'analyse informatique.

La découverte dans les années 90 des Turbo-codes et, plus généralement du principe itératif appliqué au traitement du signal, a révolutionné la manière d'appréhender un système de communications numériques. Cette avancée notable a permis la re-découverte des codes correcteurs d'erreurs inventés par R. Gallager en 1963, appelés codes Low Density Parity Check (LDPC). L'intégration des techniques de codage dites avancées, telles que les Turbo-codes et les codes LDPC, se généralise dans les standards de communications. Dans ce contexte, l'objectif de cette thèse est d'étudier de nouvelles structures de codage de type LDPC associées à des architectures de décodeurs alliant performances et flexibilité.<br />Dans un premier temps, une large présentation des codes LDPC est proposée incluant les notations et les outils algorithmiques indispensables à la compréhension. Cette introduction des codes LDPC souligne l'intérêt qu'il existe à concevoir conjointement le système de codage/décodage et les architectures matérielles. Dans cette optique, une famille de codes LDPC particulièrement intéressante est décrite. En particulier nous proposons des règles de construction de codes pour en contraindre le spectre des distances de Hamming. Ces contraintes sont intégrées dans la définition d'un nouvel algorithme de définition de codes travaillant sur une représentation compressée du code par un graphe.<br />Les propriétés structurelles du code sont ensuite exploitées pour définir l'algorithme de décodage. Cet algorithme, caractérisé par le fait qu'il considère une partie du code comme un code convolutif, converge plus rapidement que les algorithmes habituellement rencontrés tout en permettant une grande flexibilité en termes de rendements de codage. Différentes architectures de décodeurs sont alors décrites et discutées. Des contraintes sur les codes sont ensuite exposées pour exploiter pleinement les propriétés des architectures.<br />Dans un dernier temps, une des architectures proposées est évaluée par l'intégration d'un décodeur sur un composant programmable. Dans différents contextes, des mesures de performances et de complexité montrent l'intérêt de l'architecture proposée.

L'objet est de comparer des algorithmes de multiplication de matrices à coefficients intervalles et leurs implémentations.Le premier axe est la mesure de la précision numérique. Les précédentes analyses d'erreur se limitent à établir une borne sur la surestimation du rayon du résultat en négligeant les erreurs dues au calcul en virgule flottante. Après examen des différentes possibilités pour quantifier l'erreur d'approximation entre deux intervalles, l'erreur d'arrondi est intégrée dans l'erreur globale. À partir de jeux de données aléatoires, la dispersion expérimentale de l'erreur globale permet d'éclairer l'importance des différentes erreurs (de méthode et d'arrondi) en fonction de plusieurs facteurs : valeur et homogénéité des précisions relatives des entrées, dimensions des matrices, précision de travail. Cette démarche conduit à un nouvel algorithme moins coûteux et tout aussi précis dans certains cas déterminés.Le deuxième axe est d'exploiter le parallélisme des opérations. Les implémentations précédentes se ramènent à des produits de matrices de nombres flottants. Pour contourner les limitations d'une telle approche sur la validité du résultat et sur la capacité à monter en charge, je propose une implémentation par blocs réalisée avec des threads OpenMP qui exécutent des noyaux de calcul utilisant les instructions vectorielles. L'analyse des temps d'exécution sur une machine de 4 octo-coeurs montre que les coûts de calcul sont du même ordre de grandeur sur des matrices intervalles et numériques de même dimension et que l'implémentation par bloc passe mieux à l'échelle que l'implémentation avec plusieurs appels aux routines BLAS. / This work aims at determining suitable scopes for several algorithms of interval matrices multiplication.First, we quantify the numerical quality. Former error analyses of interval matrix products establish bounds on the radius overestimation by neglecting the roundoff error. We discuss here several possible measures for interval approximations. We then bound the roundoff error and compare experimentally this bound with the global error distribution on several random data sets. This approach enlightens the relative importance of the roundoff and arithmetic errors depending on the value and homogeneity of relative accuracies of inputs, on the matrix dimension, and on the working precision. This also leads to a new algorithm that is cheaper yet as accurate as previous ones under well-identified conditions.Second, we exploit the parallelism of linear algebra. Previous implementations use calls to BLAS routines on numerical matrices. We show that this may lead to wrong interval results and also restrict the scalability of the performance when the core count increases. To overcome these problems, we implement a blocking version with OpenMP threads executing block kernels with vector instructions. The timings on a 4-octo-core machine show that this implementation is more scalable than the BLAS one and that the cost of numerical and interval matrix products are comparable.