Ce mémoire propose une démarche pour définir des politiques de sécurité adaptées aux systèmes d'informations et de communication en santé et social (SICSS). Ces systèmes couvrent l'ensemble des besoins généralement trouvés dans les autres domaines : interopérabilité des systèmes, complexité des organisations, sensibilité des informations et diversité des exigences de sécurité (confidentialité, intégrité, disponibilité et auditabilité).<br />Le but de la méthode présentée est de réaliser un bon compromis entre le respect du principe du moindre privilège et la flexibilité du contrôle d'accès. La première étape consiste à décrire le système, identifier les informations à protéger et caractériser les menaces. La politique de sécurité vient ensuite spécifier comment contrer ces menaces, en exprimant d'une part, un ensemble de propriétés de sécurité qui doivent être satisfaites, et d'autre part, un ensemble de règles permettant de modifier l'état de protection du système. Les politiques de sécurité que nous proposons ont l'originalité de tenir compte du contexte et de l'interopérabilité, et d'être suffisamment souples pour prendre en compte toute amélioration, changement ou mise à jour dans le système.<br />Par ailleurs, un nouveau modèle de contrôle d'accès est ici présenté : le modèle Or-BAC (pour Organization-Based Access Control). Ce modèle permet de prendre en compte des informations de contexte dans l'expression des règles, afin de spécifier un contrôle d'accès fin et adapté. Il est aussi un moyen de spécifier, dans un cadre homogène, plusieurs politiques de sécurité pour des organisations différentes devant coopérer. Or-BAC n'est pas restreint aux permissions, mais permet également de définir des interdictions, des obligations et des recommandations. À cet égard, Or-BAC est capable de spécifier des politiques de sécurité pour les SICSS, comme il peut être appliqué à une gamme très large d'applications complexes, interopérables et distribuées. <br />Or-BAC est d'abord représenté par des diagrammes UML, puis dans un nouveau langage logique fondé sur la logique déontique. Il est par ailleurs intégré dans une modélisation UML d'une démarche sécuritaire globale spécifiant les aspects statiques et dynamiques des phases d'authentification et d'autorisation.<br />Enfin, un prototype a été développé pour illustrer l'application de la politique et du modèle de sécurité dans le cas d'un centre dentaire.

On s'intéresse à la modélisation des matériaux granulaires composé d'agrégats non convexes et cohésifs en vue d'application à la rhéologie des poudres d'UO2 . L'influence du degré de non-convexité des particules est analysé en termes de grandeurs macroscopiques (frottement interne et cohésion de Coulomb) et de paramètres micro-mécaniques tels que l'anisotropie de la texture et la transmission des efforts. Il apparaît en particulier que la compacité évolue d'une manière complexe avec la non-convexité et que la résistance au cisaillement augmente mais sature sous l'effet d'imbrication entre agrégats. Des modèles simples sont introduits pour décrire ces comportements en termes de paramètres micro-mécaniques. De même, des études systématiques par cisaillement, compaction uniaxiale et compression simple montrent que la cohésion interne augmente avec la non-convexité mais est fortement contrôlée par les conditions aux limites et l'apparition de bandes de cisaillement ou de concentrations de contraintes.

Cette thèse traite du développement d'outils informatiques pour faciliter et améliorer la planification d'une intervention en chirurgie orthognatique. Cette composante de la chirurgie maxillofaciale a pour problématique la correction de dysharmonies dento-maxillofaciales par le repositionnement des mâchoires supérieure et inférieure. Une première partie est consacrée à la définition d'un protocole complet de chirurgie orthognatique assistée par ordinateur. En particulier, un nouvel outil de céphalométrie tridimensionnelle est présenté pour l'étude des anomalies du squelette facial. La contribution principale de ce travail porte ensuite sur l'évaluation des modifications de la morphologie du patient induites par des repositionnements osseux. Pour cela, un modèle biomécanique des tissus mous de la face a été développé, basé sur la méthode des éléments finis. Le premier problème abordé est la construction d'un modèle spécifique à chaque patient. Les contraintes rencontrées en pratique clinique, notamment de temps, rendent inadaptée l'utilisation des méthodes traditionnelles de génération de maillages. Une nouvelle approche a donc été proposée. Elle consiste à adapter un maillage générique de la face à la morphologie de chaque patient, l'aide d'un algorithme de mise en correspondance élastique et de données d'imagerie scanner pré-opératoires. Cette méthode a été évaluée sur sept patients, en étudiant de manière qualitative et quantitative l'adéquation du modèle généré à la morphologie réelle du patient. Le modèle d'un patient est ensuite utilisé pour simuler les déformations des tissus mous consécutives à des repositionnements osseux. Des hypothèses simples, loi de comportement linéaire et petites déformations, sont retenues dans un premier temps pour caractériser les tissus mous. Un protocole d'évaluation, basé sur des données d'imagerie post-opératoire, permet de reproduire avec précision les gestes effectivement réalisés pendant une intervention, puis de comparer quantitativement les simulations biomécaniques avec la morphologie post-opératoire réelle du patient. Ce protocole d'évaluation a été appliqué à deux cas cliniques, et les premières conclusions sur la qualité des simulations sont présentées.

Dans ce mémoire, nous proposons une méthode permettant de modéliser, de façon globale, tout type de mouvement par des combinaisons linéaires de polynômes orthogonaux. Pour cela, nous projetons chaque champ de déplacement représentant le mouvement étudié sur une base orthogonale composée des polynômes de Legendre. Nous obtenons alors une expression polynomiale du mouvement considéré. Une modélisation d'ordre faible permet d'interpréter physiquement le mouvement dominant de séquences d'images. Cette caractéristique trouve un intérêt particulier dans des applications telles que la vidéo-surveillance, l'indexation ou l'étude du comportement. Nous montrons également que notre méthode permet de modéliser des mouvements complexes tels que des écoulements fluides. La représentation du mouvement sous forme polynomiale, les faibles temps de calcul ainsi que les taux de compression élevés sont alors des atouts importants pour traiter ce type de données.

Les systèmes de géolocalisation permettent la surveillance en temps réel des déplacements d'objets mobiles. Aujourd'hui, les données produites par ces capteurs sont reçues et stockées dans des bases de données spatio-temporelles. Un processus de fouille de données appliqué sur ces bases de données spatio-temporelles permet d'extraire le comportement des objets mobiles (patrons spatio-temporels) et d'analyser en temps réel les trajectoires d'objets mobiles suivant un même itinéraire. En utilisant ces modèles, des situations inhabituelles peuvent être détectés. Cette thèse définit à la fois des patrons spatio-temporels ainsi que des outils de comparaison et de qualification de trajectoires en utilisant un indice de similarité basée sur des mesures spatiales et temporelles et la logique floue. Ces outils peuvent être utilisés pour faciliter la surveillance du trafic maritime.

Cette these presente des travaux sur les aspects theoriques de la transformation en ondelettes et quelques applications en imagerie et en calcul de surface. Nous presentons trois approches de construction d'une base d'ondelettes, a savoir l'approche theorie des groupes. l'approche analyse multiresolution et l'approche banc de filtres. Les applications de la transformee en ondelettes portent sur la compression d'image, la representation de courbes discretes et le calcul de l'approximation d'une surface par les fonctions radiales. Nous commencons par un survol de differentes techniques de compression. Nous montrons graphiquement et numeriquement que les transformations en ondelettes, comparativement aux autres methodes pyramidales (Brt et Adelson) permettent d'anvisager de tres bons resultats de compression. On montre que parmi les representations hierarchiques, la representation par ondelettes est celle qui permet de preserver au mieux les indices visuels dans le cadre de la construction d'un modele numerique de terrain par exemple. En ce qui concerne la representation des courbes discrete, nous avons mis au point un algorithme d'analyse et de synthese multi-echelles. Ce nouvel algorithme s'applique a des directions elementaires correspondant a une suite de Freeman representant un contour discret ou une courbe discrete. On montre que l'ondelette de Haar permet d'obtenir une bonne representation multi-echelle d'une courbe discrete avec une taille memoire faible et un cout de calcul minimal. Enfin, apres avoir pose dans le cadre general le probleme d'interpolation par les fonctions radiales et presente une analyse des conditions d'existence de la solution, nous proposons une nouvelle approche de resolution de systeme lineaire qui definit les parametres du probleme. Notre approche est fondee sur la transformation en ondelettes et permet de rendre creuse la matrice du systeme. nous montrons la performance de cette approche surtout quand le nombre de donnees est important. Les resultats d'interpolation d'une surface par une spline de type plaque mince ou multiquadratique sont presentes. En particulier, nous avons teste les ondelettes splines, les ondelettes a support compact et les ondelettes biorthogonales. Les resultats graphiques sont accompagnes des estimations numeriques des erreurs, ceci permettant une meilleure appreciation des demarches proposees.

les travaux de recherche de Jean-François Nezan s'inscrivent dans le cadre général des méthodes et outils d'aide à la conception de systèmes embarqués. Plus particulièrement, les travaux présentés visent les systèmes électroniques constitués de plusieurs processeurs (MPSoC) et dédiés aux applications de compression/décompression vidéo. L'approche choisie se situe dans le cadre AAA (Adéquation Algorithme Architecture) qui utilise des modèles de descriptions haut-niveau des algorithmes et des architectures parallèles pour automatiser les processus de placement/ordonnancement et pour générer un code optimisé. La présentation montrera les apports à cette problématique issus des travaux encadrés par Jean-François Nezan, précisera également la manière dont ces travaux distincts s'intègrent dans un processus de développement cohérent et évolutif, et enfin donnera les perspectives attendues dans les années à venir.

Si l'utilisation d'un véhicule autonome présente un intérêt certain, l'utilisation simultanée de plusieurs robots, potentiellement différents permet d'améliorer la qualité des acquisitions et la rapidité avec lesquelles elles sont effectuées. Le déploiement de plateformes multi-capteurs sous-entend donc qu'il est nécessaire de mettre en œuvre une commande et une stratégie de commande coordonnée de la formation. Les difficultés de localisation et de communication rendent d'emblée la tâche difficile. Dès lors, il n'est plus concevable de mettre en œuvre une flottille d'engins autonomes sans avoir testé au préalable la faisabilité de la mission, le comportement logico-temporel du contrôleur des engins, l'efficacité des algorithmes employés et le bon fonctionnement de tous les sous-systèmes. Ceci est d'autant plus vrai lorsque les engins sont hétérogènes, proviennent d'organisations ou d'institutions différentes et sont rassemblés pour l'accomplissement d'une mission commune.<br />La complexité des architectures de contrôle d'une part et les difficultés soulevées par le choix de stratégies de contrôle multi-véhicules d'autre part, rendent nécessaires la création de nouveaux outils de simulation permettant de tester et valider lois de commande et architectures de contrôle tout en détectant les inconsistances préliminaires des scenarios envisagés. L'objet de cette thèse est donc l'étude d'un outil de simulation collaboratif appelé THETIS.<br />Il s'agit d'un simulateur conçu avant tout pour aborder les problèmes liés au contexte de la flottille. Il est multi-véhicules hétérogènes puisqu'il permet de simuler par exemple, un scenario dans lequel un AUV (Autonomous Underwater Vehicle) et un ASV (Autonomous Surface Vehicle) interviennent simultanément. Les véhicules peuvent communiquer entre eux au sein de la simulation et les contraintes liées au milieu de propagation (interférences, bande passante, atténuation...) d'une part et à l'utilisation de matériel spécifique (temps de réveil, conflit émission/réception...) d'autre part sont prises en compte. L'architecture du simulateur est ouverte pour faciliter l'intégration et la mise à disposition pour tous, du travail de modélisation des différentes équipes possédant des compétences propres, tout en favorisant la réutilisabilité et la modularité de ces modèles. La capacité du système proposé à réaliser des simulations Hardware-In-The-Loop permet de tester et valider le comportement temporel du contrôleur. Par ailleurs ce simulateur est distribué afin de pouvoir étendre dynamiquement la puissance de calcul nécessitée par l'augmentation du nombre de véhicules et/ou la complexification des modèles, tout en respectant les contraintes temps-réel et le découplage temporel entre la commande et l'évolution des modèles dynamiques.<br />THETIS est donc un des seuls outils à l'heure actuelle répondant aux contraintes liées au contexte de la simulation de robots marins en flottille. Nous présentons des tests préliminaires mettant en œuvre un AUV de classe Taipan (développée au LIRMM en France) d'une part et un ASV Charlie (développé par l'ISSIA en Italie) d'autre part qui possèdent des architectures de contrôle différentes, et démontrons ainsi la faisabilité et la validité de notre approche.

Cette étude porte sur le calcul numérique du champ acoustique rayonné par des écoulements subsoniques turbulents présentant des inhomogénéités de température. Des méthodes hybrides sont développées grâce à un développement de Janzen-Rayleigh des équations de Navier-Stokes. L'écoulement est résolu par un calcul quasi incompressible puis les perturbations acoustiques sont propagées selon deux méthodes : les équations d'Euler linéarisées (EEL) et l'approximation à faible nombre de Mach perturbée (PLMNA). Les méthodes sont validées sur des cas simples puis appliquées à une couche de mélange isotherme et anisotherme en développement spatial.

Les applications du traitement du signal (TDSI) sont maintenant largement utilisées dans des domaines variés allant de l'automobile aux communications sans fils, en passant par les applications multimédias et les télécommunications. La complexité croissante des algorithmes implémentés, et l'augmentation continue des volumes de données et des débits applicatifs, requièrent souvent la conception d'accélérateurs matériels dédiés. Typiquement l'architecture d'un composant complexe du TDSI utilise des éléments de calculs de plus en plus complexes, des mémoires et des modules de brassage de données (entrelaceur/désentrelaceur pour les Turbo-Codes, blocs de redondance spatiotemporelle dans les systèmes OFDM/MIMO, ...), privilégie des connexions point à point pour la communication inter éléments de calcul et demande d'intégrer dans une même architecture plusieurs configurations et/ou algorithmes (systèmes (re)configurables). Aujourd'hui, le coût de ces systèmes en terme d'éléments mémorisant est très élevé; les concepteurs cherchent donc à minimiser la taille de ces tampons afin de réduire la consommation et la surface total du circuit, tout en cherchant à en optimiser les performances. Sur cette problématique globale, nous nous intéressons à l'optimisation des interfaces de communication entre composants. On peut voir ce problème comme la synthèse (1) d'interfaces pour l'intégration de composants virtuels (IP cores), (2) de composants de brassage de données (type entrelaceur) pouvant avoir plusieurs modes de fonctionnements, et (3) de chemins de données, potentiellement configurables, dans des flots de synthèse de haut niveau. Nous proposons une méthodologie de conception permettant de générer automatiquement un adaptateur de communication (interface) nommé Space-Time AdapteR (STAR). Notre flot de conception prend en entrée (1) des diagrammes temporels (fichier de contraintes) ou (2) une description en langage C de la règle de brassage des données (par exemple une règle d'entrelacement pour Turbo-Codes) et des contraintes utilisateur (débit, latence, parallélisme...) ou (3) en ensemble de CDFGs ordonnés et assignés. Ce flot formalise ensuite ces contraintes de communication sous la forme d'un Graphe de Compatibilité des Ressources Multi-Modes (MMRCG) qui permet une exploration efficace de l'espace des solutions architecturales afin de générer un composant STAR en VHDL de niveau transfert de registre (RTL) utilisé pour la synthèse logique. L'architecture STAR se compose d'un chemin de données (utilisant des FIFOs, des LIFOs et/ou des registres) et de machines d'état finis permettant de contrôler le système. L'adaptation spatiale (une donnée en peut être transmise de n'importe quel port d'entrée vers un ou plusieurs ports de sortie) est effectuée par un réseau d'interconnexion adapté et optimisé. L'adaptation temporelle est réalisée par les éléments de mémorisation, en exploitant leur sémantique de fonctionnement (FIFO, LIFO). Le composant STAR exploite une interface LIS (Latency Insensitive System) offrant un mécanisme de gel d'horloge qui permet l'asservissement par les données. Le flot de conception proposé génère des architectures pouvant intégrer plusieurs modes de fonctionnement (par exemple, plusieurs longueurs de trames pour un entrelaceur, ou bien plusieurs configurations dans une architecture multi-modes). Le flot de conception est basé sur quatre outils : - StarTor prend en entrée la description en langage C de l'algorithme d'entrelacement, et les contraintes de l'utilisateur (latence, débit, interface de communication, parallélisme d'entréesortie...). Il en extrait l'ordre des données d'entrée-sortie en produisant d'une trace à partir de la description fonctionnelle. Ensuite, l'outil génère le fichier de contraintes de communication qui sera utilisé par l'outil STARGene. - StarDFG prend en entrée un ensemble de CDFGs générés par un outil de synthèse de haut niveau. Ces CDFGs doivent être ordonnancés et les éléments de calculs doivent avoir été assignés. L'outil en extrait ensuite l'ordre des échanges de données. Enfin, il génère le fichier de contraintes de communication qui sera utilisé par l'outil STARGene. - STARGene, basé sur un flot à cinq étapes, génère l'architecture STAR : (1) construction des graphes de compatibilité des ressources MMRCG, à partir du fichier de contraintes, correspondant à chacun des modes de fonctionnement du design, (2) fusion des modes de fonctionnement, (3) assignation des structures de mémorisation (FIFO, LIFO ou Registre) sur le MMRCG (4) optimisation de l'architecture et (5) génération du VHDL niveau transfert de registre (RTL) intégrant les différents modes de communication. Le fichier de contraintes utilisé dans la première étape peut provenir de l'outil StarTor, comme nous l'avons indiqué, ou peut être généré par un outil de synthèse de haut niveau tel que l'outil GAUT développé au laboratoire LESTER. - StarBench génère un test-bench basé sur les contraintes de communication et permet de valider les architectures générées en comparant les résultats de simulation de l'architecture avec la spécification fonctionnelle. Les expérimentations que nous présentons dans le manuscrit ont été réalisées pour trois cas d'utilisation du flot STAR. En premier lieu, nous avons utilisé l'approche STAR dans le cadre de l'intégration et l'interconnexion de blocs IPs au sein d'une même architecture. Cette première expérience pédagogique permet de démontrer la validité de l'approche retenue et de mettre en avant les possibilités offertes en terme d'exploration de l'espace des solutions architecturales. Dans une seconde expérience, le flot STAR a été utilisé pour générer une architecture de type entrelaceur Ultra-Wide Band. Il s'agit là d'un cas d'étude industriel dans le cadre d'une collaboration avec la société STMicroelectronics. En utilisant notre flot, nous avons prouvé que nous pouvions réduire le nombre de points mémoires utilisés et diminuer la latence, par rapport aux approches classiques basées sur des bancs mémoires. De plus, lorsque nous utilisons notre flot, le nombre de structures à piloter est plus petit que dans l'architecture de référence, qui a été obtenue à l'aide d'un outil de synthèse de haut niveau du commerce. Actuellement, la surface totale de notre architecture d'entrelacement est environ 14% plus petite que l'architecture de référence STMicrolectronics. Enfin, dans une troisième série d'expériences, nous avons utilisé le modèle STAR dans un flot de synthèse de haut niveau ciblant la génération d'architectures reconfigurables. Cette approche a été expérimentée pour générer des architectures multi-débits (FFT 64 à 8 points, FIR 64 à 16 points...) et multi-modes (FFT et IFFT, DCT et produit de matrices...). Ces expériences nous ont permis de montrer la pertinence de l'association de l'approche STAR, pour l'optimisation et la génération de l'architecture de multiplexage et de mémorisation, à des algorithmes d'ordonnancement et d'assignation multi-configurations à l'étude dans GAUT (Thèse Caaliph Andriamissaina). Nous avons notamment obtenu des gains pouvant aller jusqu'à 75% en terme de surface par rapport à une architecture naïve et des gains pouvant aller jusqu'à 40% par rapport aux surfaces obtenues avec des méthodologies centrées sur la réutilisation d'opérateur (SPACT-MR).