Les applications modernes embarquées à hautes performances telles que l'on trouve dans les domaines du multimédia, du traitement de signaux biomédicaux et du traitement de données biométriques, sont de plus en plus complexes et exigeantes en termes de ressources. L'augmentation des performances de puces, contenant un seul processeur, n'est plus une solution adoptée. Par conséquent, une solution prometteuse est les systèmes-sur-puce multiprocesseurs (MPSoC). Cependant, la conception de MPSoC dédiés aux traitements d'applications hautes performances est un travail très difficile en raison d'un certain nombre de contraintes à assurer : la correction fonctionnelle, les performances temporelles, l'efficacité énergétique et la taille optimisée de mémoire. Parmi les ingrédients nécessaires pour une construction correcte et optimisée, nous citons premièrement le besoin de modèles de programmation assez expressifs pour décrire le parallélisme potentiel inhérent des applications cibles. Deuxièmement, nous devons trouver des moyens pour éviter des explorations fastidieuses afin de trouver la meilleure configuration d'architecture pour l'exécution d'une application (par exemple le type et la fréquence des processeurs, l'empreinte mémoire), en particulier pour des applications complexes manipulant de grandes quantités de données et exécutées par des architectures massivement parallèles. Troisièmement, plusieurs niveaux d'abstraction doivent être pris en compte afin de mieux traiter la complexité de la conception. En considérant un niveau de simulation unique où tous les détails d'implémentations sont considérés, les résultats obtenus auront une grande précision. Cependant, cette technique de simulation est longue et fastidieuse, voir parfois impossible en raison de la grande complexité de systèmes. Pour cette raison, le commencement du processus de conception, à un haut niveau d'abstraction, où seulement des informations essentielles de systèmes sont décrites, rend plus facile, et à un très faible coût, la prise de décision sur des choix de configuration. Afin de relever les défis mentionnés ci-dessus concernant la conception des applications MPSoC à haute performance, nous proposons dans le cadre de cette thèse, l'utilisation du profil UML/Marte pour la modélisation de fonctionnalité, d'architectures et d'associations des deux dernières. Ce profil est suffisamment expressif pour décrire des applications hautes performances (par exemple les paquetages RSM et GCM et le langage CCSL) et des architectures MPSoC massivement parallèles (par exemple le paquetage HRM). Pour l'analyse et la vérification de systèmes et l'exploration de l'espace de conception, nous définissons une abstraction de modèles obtenue via des horloges abstraites, inspirées de ceux des langages réactifs synchrones. Les traces d'horloges abstraites capturent les comportements de systèmes en représentant l'activité des unités de traitements durant l'exécution de fonctionnalités. Une technique d'analyse, également inspirée de l'approche synchrone, est définie. Cette technique permet de vérifier des contraintes temporelles : dépendances de données induites par un modèle Marte, les taux d'activations entre des composants. En outre, elle permet d'analyser des contraintes non fonctionnelles : estimation de temps d'exécution, le respect des temps d'échéance, estimation de la consommation d'énergie. Ces propriétés sont directement liées au nombre de processeurs impliqués dans l'exécution du système ainsi que la valeur de leurs fréquences associées. D'un point de vue général, la contribution principale de cette thèse est la définition d'un cadre de travail, à base d'horloges abstraites, qui facilite l'exploration de l'espace de conception des MPSoC à un haut niveau d'abstraction. Le travail a été concrétisé dans un environnement, dénommé Gaspard2, dédié à la conception conjointe de systèmes embarqués à hautes performances. Notre solution est validée sur une étude de cas d'un encodeur JPEG, et retournant des résultats prometteurs.

Les applications modernes embarquées à hautes performances telles que l'on trouve dans les domaines du multimédia, du traitement de signaux biomédicaux et du traitement de données biométriques, sont de plus en plus complexes et exigeantes en termes de ressources. L'augmentation des performances de puces, contenant un seul processeur, n'est plus une solution adoptée. Par conséquent, une solution prometteuse est les systèmes-sur-puce multiprocesseurs (MPSoC). Cependant, la conception de MPSoC dédiés aux traitements d'applications hautes performances est un travail très difficile en raison d'un certain nombre de contraintes à assurer : la correction fonctionnelle, les performances temporelles, l'efficacité énergétique et la taille optimisée de mémoire. Parmi les ingrédients nécessaires pour une construction correcte et optimisée, nous citons premièrement le besoin de modèles de programmation assez expressifs pour décrire le parallélisme potentiel inhérent des applications cibles. Deuxièmement, nous devons trouver des moyens pour éviter des explorations fastidieuses afin de trouver la meilleure configuration d'architecture pour l'exécution d'une application (par exemple le type et la fréquence des processeurs, l'empreinte mémoire), en particulier pour des applications complexes manipulant de grandes quantités de données et exécutées par des architectures massivement parallèles. Troisièmement, plusieurs niveaux d'abstraction doivent être pris en compte afin de mieux traiter la complexité de la conception. En considérant un niveau de simulation unique où tous les détails d'implémentations sont considérés, les résultats obtenus auront une grande précision. Cependant, cette technique de simulation est longue et fastidieuse, voir parfois impossible en raison de la grande complexité de systèmes. Pour cette raison, le commencement du processus de conception, à un haut niveau d'abstraction, où seulement des informations essentielles de systèmes sont décrites, rend plus facile, et à un très faible coût, la prise de décision sur des choix de configuration. Afin de relever les défis mentionnés ci-dessus concernant la conception des applications MPSoC à haute performance, nous proposons dans le cadre de cette thèse, l'utilisation du profil UML/Marte pour la modélisation de fonctionnalité, d'architectures et d'associations des deux dernières. Ce profil est suffisamment expressif pour décrire des applications hautes performances (par exemple les paquetages RSM et GCM et le langage CCSL) et des architectures MPSoC massivement parallèles (par exemple le paquetage HRM). Pour l'analyse et la vérification de systèmes et l'exploration de l'espace de conception, nous définissons une abstraction de modèles obtenue via des horloges abstraites, inspirées de ceux des langages réactifs synchrones. Les traces d'horloges abstraites capturent les comportements de systèmes en représentant l'activité des unités de traitements durant l'exécution de fonctionnalités. Une technique d'analyse, également inspirée de l'approche synchrone, est définie. Cette technique permet de vérifier des contraintes temporelles : dépendances de données induites par un modèle Marte, les taux d'activations entre des composants. En outre, elle permet d'analyser des contraintes non fonctionnelles : estimation de temps d'exécution, le respect des temps d'échéance, estimation de la consommation d'énergie. Ces propriétés sont directement liées au nombre de processeurs impliqués dans l'exécution du système ainsi que la valeur de leurs fréquences associées. D'un point de vue général, la contribution principale de cette thèse est la définition d'un cadre de travail, à base d'horloges abstraites, qui facilite l'exploration de l'espace de conception des MPSoC à un haut niveau d'abstraction. Le travail a été concrétisé dans un environnement, dénommé Gaspard2, dédié à la conception conjointe de systèmes embarqués à hautes performances. Notre solution est validée sur une étude de cas d'un encodeur JPEG, et retournant des résultats prometteurs.

Ces travaux de thèse traitent de l'étude d'un système alterno-démarreur polyphasé, pour une application automobile micro hybride. Ce système est composé d'une machine synchrone, à griffes, 7-phases, avec aimants interpolaires (entre les griffes), et bobinage à pas fractionnaire. Cette machine est alimentée par un onduleur de tension 7 bras. Le premier chapitre présente un état de l'art sur les véhicules automobiles hybrides, ainsi que sur la modélisation des machines électriques polyphasées en vue de leur commande. Les méthodes développées au L2EP, spécifiquement pour l'étude des machines polyphasées, sont utilisées. Elles sont basées sur la transformation de Concordia généralisée et utilisent la notion de machines fictives. Le formalisme graphique REM (Représentation Energétique Macroscopique), développé également au L2EP, apporte une aide pour la représentation du modèle, et permet de systématiser la définition des structures de commande du système. Le deuxième chapitre s'attache à examiner comment des modèles développés initialement pour les machines à bobinage non fractionnaire, à pôles lisses, et non saturées, peuvent s'étendre à la machine étudiée, à bobinage à pas fractionnaire, fonctionnant en régime saturé, et présentant des variations d'entrefer. Par ailleurs, une démarche générique, basée sur une analyse harmonique des machines polyphasées, est mise en place afin de mettre en évidence les interactions entre structure et commande. Enfin, une méthode d'identification adaptée aux machines polyphasées basse tension est développée. Avec le troisième chapitre, deux types de commande sont comparées : commande pleine onde, puis commande par Modulation de Largeur d'Impulsion (MLI) utilisant des asservissements des courants associés aux machines fictives. Des essais expérimentaux, accompagnés de simulations numériques, permettent de tester les modèles proposés, puis les deux types de commande étudiés. On montre ainsi, pour le prototype considéré, les avantages et limites de chacune de ces commandes : les performances en terme de qualité de couple (vibration/bruit) associées à la rusticité de la commande pleine onde sont à mettre en balance avec la complexité (et le coût) d'une commande en MLI permettant une meilleure maitrise de la qualité du couple. Pour conclure, le système alterno-démarreur étudié offre des fonctions hybrides simples, en limitant fortement le surcoût lié à l'hybridation. L'architecture polyphasée permet d'accroitre la puissance du système, mais nécessite certaines précautions pour la conception et la commande de la machine électrique. Ce mémoire développe des méthodes pour faciliter conjointement la mise en œuvre de ces deux étapes, pour ce type de système automobile hybride.

Le principal objectif de nos travaux était l'établissement de modèles suffisamment précis pour étudier le comportement des machines électriques en présence d'un défaut de court-circuit entre spires et d'en déduire les signatures pertinentes pour la détection de ce type de défaut. L'autre objectif était de dimensionner des machines électriques à courant de court-circuit d'amplitude limitée pour réduire le risque de propagation du défaut. La première approche de modélisation consiste à effectuer une étude complète en utilisant la méthode d'éléments finis pas à pas dans le temps. Les résultats obtenus par ce modèle "éléments finis" concernant une MSAP et une MAS, saines et aussi en présence de plusieurs défauts "entre spires" de niveaux de sévérité différents, concordent avec ceux obtenus expérimentalement sur deux bancs d'essai. La seconde approche a consisté à mettre au point un modèle "circuits électriques" dont la complexité dépend du type de structure magnétique et du type de bobinage de la machine étudiée. Nous avons proposé deux méthodes de détermination des paramètres : 1- des méthodes numériques (éléments finis) ; 2- l'établissement des nouvelles expressions analytiques. Dans le dernier chapitre, une méthode basée sur la segmentation des aimants sous un pôle qui n'est en fait qu'une démultiplication du nombre de pôles au rotor sans modification du bobinage statorique est proposée est utilisé pour réduire le courant de défaut..

Les environnements virtuels collaboratifs sont des espaces 3D permettant à plusieurs utilisateurs de travailler ensemble pour réaliser une tâche commune. Pour concevoir de tels environnements, qui supportent les interactions homme-homme, il est important d'étudier comment les hommes développent un référentiel commun pour collaborer. Notre travail a consisté à explorer la notion de référentiel commun sur laquelle s'appuie toute activité collaborative. Cette notion favorise la compréhension mutuelle des tâches communes entre partenaires à travers un échange permanent d'informations, explicites et implicites. L'objectif de ce travail a donc été de faciliter et d'enrichir l'activité d'élaboration du référentiel commun dans les environnements virtuels collaboratifs en tirant parti des caractéristiques de ces derniers. En effet, la conception des éléments liés au référentiel commun (mode de communication, construction de l'environnement et interactions) est primordiale pour assurer le fonctionnement collaboratif de l'activité. Deux études expérimentales ont été réalisées autour de deux situations concrètes. La première étude montre que l'ajout d'indices visuels permet d'améliorer l'élaboration du référentiel commun dans le cadre d'une tâche de manipulation d'objets. La deuxième étude montre que la communication haptique permet d'améliorer la construction du référentiel commun autour d'une tâche d'apprentissage d'un geste technique. Ces résultats contribuent à donner des recommandations pour la conception d'environnement virtuel qui supportent la collaboration. Ceci est une première étape dans la définition d'une méthodologie de conception pour ce type de systèmes.

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.

Dans cette thèse nous présentons une étude des pertes de puissance en haute fréquence dans les rotors des machines synchrones à aimants permanent. Dans le cas des champs harmoniques temporels au rotor, nous avons montré par calcul éléments finis en 3D que la règle de segmentation des aimants présente une anomalie. Par conséquent, nous avons développé une étude sur l'efficacité de la segmentation à deux dimensions des aimants permanents, avec l'optimisation de la de segmentation des aimants afin de minimiser les pertes par courants de Foucault. Un simple critère est proposé mettant en évidence l'influence de l'effet de peau dans le calcul des pertes à haute fréquence. En deuxième lieu nous avons étudié les pertes rotoriques dues à la modification du champ fondamental par la denture statorique, Dans ce but nous avons proposé un modèle analytique représentant cette modification par un champ homogène dans une maquette 2D/3D. Ce modèle met en évidence l'influence des paramètres géométriques de la machine sur les pertes de puissance dans le rotor. Il était validé par calcul en éléments finis dans une couche mince. Le modèle analytique a donné les résultats acceptables en absence de l'effet de peau dans le cas des aimants longs. Par contre il reste à améliorer pour le calcul de pertes par denture dans les tôles du rotor.

Cette thèse explore les possibilités algorithmiques offertes par la synthèse de haut niveau de circuits dans le cadre de la logique synchrone et à destination d'une Mémoire Active Programmable. Une chaîne de compilation expérimentale permettant de générer automatiquement un circuit reconfigurable à partir d'une spécification de haut niveau y est présentée. Le langage de haut niveau est DSL (Design Source Language). DSL est basé sur le langage fonctionnel Jazz. DSL permet de décrire tout type de circuit dans le modèle de la logique synchrone, d'en faire la simulation et la synthèse, puis de l'exécuter sur une Mémoire Active Programmable. Le compilateur procède par étapes successives pour synthétiser un circuit à partir de son code-source de haut niveau. Chacune des étapes de la compilation génère des annotations qui précisent les propriétés du circuit jusqu'à une forme synthétisable. Les annotations sont pour la plupart ajoutées automatiquement par le compilateur mais sont partie intégrante de la syntaxe de DSL et peuvent ainsi être précisées par le concepteur. DSL prend en charge la génération automatique de l'ensemble des routines systèmes qui permettent au circuit de communiquer avec son hôte. Ce système de prototypage et d'accélération matérielle automatique sur PAM est testé sur des circuits variés, comme des algorithmes de tramage, d'estimation de mouvement et de détection des points de Harris.

De nos jours, les technologies de l'information offrent aux utilisateurs la possibilité de travailler avec n'importe qui, à n'importe quel moment, de n'importe où et avec plusieurs dispositifs hétérogènes. Cette évolution favorise un nouveau modèle distribué de collaboration de confiance où les utilisateurs peuvent travailler sur des documents partagés avec qui ils ont confiance. La collaboration multi-synchrone est largement utilisée pour soutenir le travail collaboratif en maintenant des flux simultanés de l'activité des utilisateurs qui divergent et convergent continuellement. Cependant, ce modèle n'offre pas de support concernant l'expression et la vérification de restriction d'usage des données. Cette thèse présente C-PPC, un modèle de collaboration basé sur les contrats et sur la confiance. Dans ce modèle, des contrats sont utilisés comme des règles d'utilisation des données et les utilisateurs collaborent en fonction des niveaux de confiance qu'ils attribuent aux autres en accord avec le respect des contrats. Nous formalisons les contrats en utilisant des concepts déontiques: permission, obligation et prohibition. Les contrats sont inclus dans les historiques d'opérations des données partagées. Le modèle C-PPC fournit un mécanisme pour la fusion des modifications des données et des contrats. N'importe quel utilisateur peut auditer les historiques à n'importe quel moment et les résultats de l'audit sont utilisés pour actualiser les niveaux de confiance en se basant sur une métrique de confiance. Nous proposons une solution reposant sur des authentificateurs basés sur les chaînes de hachage pour garantir l'intégrité des historiques et la responsabilité des utilisateurs. Nous fournissons des algorithmes pour construire les authentificateurs et vérifier les historiques puis nous prouvons leur correction. Des résultats expérimentaux montrent la faisabilité du modèle C-PPC.

Les travaux consignés dans cette thèse concernent un système endulaire de récupération de l'énergie des vagues en forte puissance (de l'ordre du MW) (SEAREV). Ils ont été menées en vue de la conception optimale de la chaîne électrique de récupération. Dans cet objectif, il a fallu prendre en compte les différents couplages hydrodynamique - mécanique - électrique - contrôle, ceci dans un contexte de sollicitations fluctuantes. Grâce à une collaboration avec le LMF de l'école Centrale de Nantes, nous avons pu disposer des modèles hydrodynamiques adaptés, et ainsi développer une méthodologie de dimensionnement de la chaîne de récupération sur cycles complexes. Différents modes de contrôle du système pendulaire ont été étudiés et comparés, notamment celui à amortissement optimal avec écrêtage de la puissance qui permet un meilleur dimensionnement de la chaîne électrique. Ces travaux ont permis de déterminer les profils de couple et vitesse du pendule et donc de la machine permettant le dimensionnement d'une architecture électromagnétique à flux radial et à aimants permanents en surface. Les résultats sont principalement présentés sous forme de front de Pareto : coût des parties actives / pertes énergétiques sur cycle. Des études de sensibilité de quelques paramètres (machine et ressource) ont été menées et analysées afin de conserver un regard critique sur les résultats.