Les développeurs des systèmes informatiques, y compris critiques, font souvent appel à des systèmes d'exploitation sur étagère. Cependant, un mauvais fonctionnement d'un système d'exploitation peut avoir un fort impact sur la sûreté de fonctionnement du système global, d'où la nécessité de trouver des moyens efficaces pour caractériser sa sûreté de fonctionnement. Dans cette thèse, nous étudions l'étalonnage de la sûreté de fonctionnement des systèmes d'exploitation par rapport aux comportements défectueux de l'application. Nous spécifions les propriétés qu'un étalon de sûreté de fonctionnement doit satisfaire. Après, nous spécifions les mesures et la mise en oeuvre des trois étalons destinés à comparer la sûreté de fonctionnement de différents systèmes d'exploitation. Ensuite, nous développons les prototypes des trois étalons. Ces prototypes servent à comparer les différents systèmes d'exploitation des familles Windows et Linux, et pour montrer la satisfaction des propriétés identifiées.

Ce projet a été réalisé dans le cadre d'une thèse CIFRE avec le laboratoire IRCOM-SIC à Poitiers et l'entreprise GABILLY située à Limoges. Cette société fabrique des chaussures orthopédiques grâce aux mesures sur le pied effectuées manuellement par un podo-orthésiste. La précision est de +/- 4 mm. Cette société souhaite développer un système de métrologie du pied pour obtenir une précision de 1 mm. Les informations fournies par un tel système doivent aussi donner des indications de pression du pied. Ce système dépend des contraintes imposées par la prise de mesure sur le patient, par la difficulté de numériser et modéliser l'objet entier, par le choix du système d'acquisition et de la modélisation. Le système à développer doit être le plus simple possible, entièrement automatique, le moins cher possible et doit être géré par un ordinateur PC standard. Il doit permettre d'extraire à partir du pied humain un nuage de points. Le projet a été envisagé sous un axe vision à l'aide de caméras couleur. Une technique d'étalonnage particulière avec une simple mire plane a été mise en place pour faciliter la prise en main du système. La détection de la mire est effectuée par la transformée de Hough. Le système d'acquisition en trois dimensions pour le pied humain est un système de vision passive. Les méthodes mises en oeuvre doivent permettre de traiter n'importe quel type de pied donc de peau, quelque soit la couleur, la forme ou la texture. Dans un premier temps, une étude sur la peau humaine a permis de choisir un espace de représentation de la couleur et une couleur particulière pour le fond du système. Les images du pied sont segmentées par une méthode spécifique afin d'éliminer tous les pixels n'appartenant pas au pied. La segmentation est effectuée dans l'espace Teinte-Luminance-Saturation et par une opération de dilatation géodésique. Les points de pression sont obtenus par un traitement spécifique de l'histogramme de l'image de la Teinte segmentée. Ensuite, plu-sieurs méthodes de reconstruction 3D ont été mises en place pour extraire un nuage de points 3D appartenant à la surface du pied. La première méthode est une technique de reconstruction par projection et la deuxième est basée sur la stéréovision dont la mise en correspondance des points est faite par corrélation. La modélisation ou reconstruction de surface du nuage de points obtenu n'est pas le premier objectif mais elle permet de valider les méthodes d'extraction de nuages de points, plusieurs méthodes de reconstruction de surfaces ont été expérimentées sur des nuages de points organisés et non organisés. Finalement, deux systèmes d'acquisition ont été développés : 2D et 3D. Le système 2D est inclus dans le système 3D et il permet la fabrication des semelles orthopédiques qui représentent cinquante des cas rencontrés. Les informations extraites sont les contours de la plante du pied, la métrologie et les points de pression. Les fichiers de nuage de points obtenus sont directement exploitables par les logiciels de conception assistée par ordinateur.

La polarimétrie consiste à étudier les transformations de polarisation d'une onde électromagnétique engendrées par un système physique. La réponse optique de ce système étant très sensible à l'état de polarisation de la lumière incidente ainsi qu'à sa longueur d'onde, une classe évoluée de polarimètres capables de mesurer la réponse polarimétrique d'un échantillon sur une large bande spectrale a vu le jour permettant ainsi d'accroître de façon conséquente le nombre d'informations le concernant. Nous avons mis au point un tel polarimètre capable de fonctionner avec une source impulsionnelle. Un grand soin a été porté à la réduction des erreurs systématiques grâce à l'utilisation d'un modèle original pour décrire les lames de phase utilisées. Cet étalonnage a débouché sur la réalisation d'un banc de caractérisation de lames de phase compensées. Une étude statistique nous a ensuite permis de minimiser et quantifier le résiduel d'erreurs inhérentes à une mesure. Mots clés : Polarisation, Polarimètre large bande, Formalisme de Stokes Mueller, Étalonnage, Erreurs systématiques et statistiques.

La spectrométrie des neutrons rapides est une technique essentielle dans plusieurs domaines notamment pour les expériences de détection d'évènements rares, telles que celles de détection directe de la matière noire, et pour les centres de recherches nucléaires. La détection des neutrons rapides se fait habituellement de manière indirecte. Les neutrons sont d'abord ralentis par des matériaux modérateurs pour être détectés ensuite dans une gamme d'énergie plus basse. Ces techniques de détection sont cependant complexes à mettre en place et sont limitées en résolution en énergie. Un nouveau type de spectrométrie de neutrons rapides a été développée à l'Institut d'Astrophysique Spatiale (IAS) dans le but d'avoir une meilleure connaissance des fonds de neutrons : il associe la technique bolométrique à des cristaux à base de lithium sensibles aux neutrons. Le lithium-6 est en effet un élément ayant une des plus grandes sections efficaces de capture neutronique avec la réaction 6Li(n,)3H. La réaction libère 4.78 MeV signant ainsi énergétiquement chaque capture de neutron et lors de l'interaction avec un neutron rapide, l'énergie totale mesurée par le bolomètre devrait être la somme de cette énergie de réaction et de l'énergie cinétique du neutron rapide incident. Afin de valider ce principe, un prototype de spectromètre à neutrons rapides, compact et semi portable, a été construit à l'IAS. Ce détecteur cryogénique, fonctionnant entre 300 et 400 mK, consiste en un cristal de 0.5 g de 6LiF enrichi à 95%, associé un thermomètre en Ge-NTD. Cette thèse a porté sur l'étude des caractéristiques de ce spectromètre, des premières mesures à l'IAS, aux mesures dans le centre de recherche de l'Institut Paul Scherrer (PSI), jusqu'au calibrage final sur l'installation Amande de l'Institut de Radioprotection et de Sûreté Nucléaire (IRSN).

L'Iran couvre une grande superficie en longitude entre les méridiens 44°E et 64°E et en latitude entre les parallèles 25°N et 40°N. la cartographie de champ de pesanteur sur l'Iran est de premiére importance pour des considérations d'ordre géodésique, géophysique et geodynamique. Dans cette thèse, les mesures de pesanteur sont utilisées pour déterminer le géoïde gravimétrique sur l'Iran. Ce géoïde est couplé à la mesure de hauteur GPS et d'altitude (nivellement) pour réaliser une surface verticale opérationnelle sur le territoire Iranien. La contribution aux principaux travaux géodésiques et gravimétriques réalisés ces dernières années porte sur l'établissement: 1) du réseau national de gravimétrique absolu de l'Iran (NAGNI09), 2) de la ligne nationale d'étalonnage de gravimétrique de l'Iran (NGCLI10), 3) du réseau multi- observations géodésiques et gravimétriques de l'Iran (MPGGNI10). Le réseau gravimétrique absolu, comporte 24 stations où la mesure de la pesanteur a été réalisée à l'aide de gravimètres FG5, avec une précision meilleure que 5μ Gal. La répétition des observations sur deux sites entre 2000 et 2007 met en évidence des variations inter-annuelles de la pesanteur en relation avec l'évolution du contenu en eau du sous-sol et (ou) la déformation tectonique. Le réseau a servi de point d'appui pour la réalisation du réseau géodésique et gravimétrique MPGGNI10 de maille 55 km sur lequel a été mesuré la pesanteur à l'aide des gravimètres relatifs CG5 et CG-3/M, la hauteur de GPS et l'altitude avec une précision respectivement de 0.010 mGal, 0.03 m et 3mm km . La technique de retrait- restoration couplée à la méthode de condensation de Helmert a permis de calculer un nouveau modèle de géoïde gravimétrique, IRGeoid10, avec une précision absolue et relatif respectivement de l'ordre de 0.26m et 2.8 ppm. Ce géoïde est ajusté aux points GPS nivelés pour définir un nouveau référentiel des altitudes sur l'Iran.

Le règlement européen n°842/2006 ayant pour objectif la réduction des gaz à effet de serre vise à une politique de contrôle de l'étanchéité des équipements contenant plus de 3 kg de fluide. En France, l'arrêté du 7 mai 2007 spécifie que les contrôles doivent être effectués par un détecteur de fuite manuel d'une sensibilité de 5 g/an ou un contrôleur d'ambiance avec une sensibilité de 10 µmol/mol. Ces sensibilités doivent être mesurées suivant la norme EN 14624. Cette norme préconise l'utilisation de fuites calibrées de R-134a dont le débit varie de 1 à 50 g/an. Il est indispensable de disposer de fuites étalons permettant de vérifier les mesures effectuées. Comme une chaîne de mesure des débits de fuites hélium est déjà mise en place, une analyse des méthodes de mesures utilisées a mis en évidence la nécessité de développer une nouvelle méthode pour la mesure des débits de fuites de fluides frigorigènes. Pour répondre au besoin, le Centre d'Energétique et Procédés a développé une méthode de mesure basée sur l'absorption infrarouge. Elle consiste à mesurer la variation dans le temps de la concentration du gaz émis par une fuite, accumulée dans un volume fermé dit volume d'accumulation. Basée sur cette méthode, une référence nationale destinée à définir des débits de fuites de fluides frigorigènes se situant entre 1 g/an et 50 g/an a été conçu par le LNE et le CEP, avec le soutien de l'ADEME. Les phases de la conception sont présentées. En particulier, comme la méthode repose essentiellement sur la mesure d'une variation de concentration dans un volume à mesurer, le choix de la méthode de mesure de la variation de concentration et le choix de la méthode de mesure du volume d'accumulation ont été définies comme les étapes clés de la conception et sont argumentés. Une fois l'étude de conception achevée, la référence nationale a été réalisée et qualifiée. Le débit de fuite est calculé à partir de grandeurs différentes, à savoir la concentration, la pression, la température et le volume d'accumulation. La chaîne de mesure de ces grandeurs a donc été analysée afin d'estimer les modes opératoires et les incertitudes associées à l'estimation de chacune des grandeurs. Le budget d'incertitude du débit d'une fuite calibrée a finalement été établi. Une fois la traçabilité des débits de fuites frigorigènes assurée, le seuil de sensibilité des détecteurs frigorigènes peut être mesuré suivant les normes prévues telles que la norme européenne EN 14624 ou d'autres normes comme la norme SAE ou le projet de norme ASHRAE. Des études théoriques, phénoménologiques et expérimentales ont permis d'identifier les paramètres d'influence de la mesure du seuil de sensibilité et de conclure sur les précautions à prendre lors des essais. Enfin, une extension de l'étude a mis en évidence quelques précautions à prendre lors de détection sur site avec des détecteurs qualifiés.

Les progrès technologiques ont permis d'abaisser la frontière entre image réelle et image virtuelle à tel point que les différencier devient difficile. Si la réalité virtuelle évolue au rythme des progrès technologiques, la réalité augmentée, passage du virtuel vers le réel, n'en est qu'à ses débuts. Le but de cette thèse est d'assurer la transition entre le monde virtuel et réel grâce à un système procam (projecteur caméra) pour améliorer l'apparence visuelle d'un objet. La position de l'objet est estimée en projetant une mire codée pour déterminer des points de correspondance entre les caméras et le projecteur sur un objet sans texture (les détecteurs classiques de points d'intérêt sont inefficaces sur de tels objets). Nous combinons l'étalonnage du système et ces points pour estimer la position 3D de l'objet, et ensuite le recalons avec un modèle de points plus fin, issu d'un scanner ou d'un modèle de CAO. La synthèse de vue est réalisée et l'image synthétisée est projetée sur l'objet. De tels outils permettent de générer des textures virtuelles, temporaires (il suffit d'éteindre le projecteur pour enlever la texture de l'objet), qui peuvent décrire l'usure de la texture ou l'objet sous son apparence d'origine.

La Vélocimétrie Laser à effet Doppler (VLD) est un outil de mesure de vitesse particulaire non-invasif couramment utilisé en mécanique des fluides qui reste cependant encore marginal en acoustique. L'accès à l'information de vitesse particulaire acoustique permet de caractériser les champs acoustiques complexes, autorisant l'étude de phénomènes acoustiques au voisinage de parois vibrantes ou de discontinuités gémométriques par exemple.<br />L'application de la VLD à l'acoustique de l'audible pour des niveaux allant de 60 à 120 dBSPL en présence de faibles écoulements (quelques mm/s) constitue le domaine d'investigation du Laboratoire d'Acoustique de l'Université du Maine depuis le milieu des années 90. Les méthodes de traitement du signal aujourd'hui implémentées sur le banc de mesure appartiennent à la famille des méthodes temps-fréquence donnant accès à la loi de fréquence instantanée (proportionnelle à la vitesse) de la particule lors de son passage dans le volume de mesure. Ces méthodes ont été développées et validées expérimentalement sur une seule bouffée Doppler en présence de très faible écoulement conduisant à une loi de variation de la vitesse de plusieurs périodes acoustiques.<br />L'objectif de cette thèse est double. Dans un premier temps, il vise à développer un traitement de signal qui permette d'estimer la vitesse acoustique à partir de l'analyse de plusieurs bouffées. Dans un deuxième temps, il vise à utiliser la VLD pour estimer une pression acoustique à partir des vitesses acoustiques mesurées au voisinage d'un structure (d'un microphone).<br />La première partie du travail consiste à développer et valider une méthode de traitement du signal, basée sur l'utilisation de la transformée en ondelette, capable de détecter, localiser, classifier (simple ou multiple) les bouffées contenues dans un signal bruité et propose une méthode d'estimation des paramètres acoustiques et de vitesse d'écoulement par utilisation d'une méthode des moindres carrés appliquée au signal de fréquence instantanée estimé suite à la détection des bouffées.<br />La deuxième partie de cette thèse permet d'initialiser des travaux, en collaboration avec le laboratoire d'acoustique d'Edimbourg, sur l'étalonnage de microphone en champ libre par mesures de vitesses acoustiques VLD.<br />Une première étude de faisabilité d'estimation de la pression à partir de mesures de vitesses à une dimension est menée, permettant d'envisager un étalonnage des microphones à réponse en pression. Puis, dans un second temps, une approche analytique basée sur la formulation intégrale de Green propose de développer un modèle à deux dimensions du champ de pression en fonction de la vitesse au voisinage très proche du microphone dans le but d'étalonner les microphones en champ libre.

L'axe conducteur de ce travail réside dans la maîtrise du positionnement relatif de deux solides. Pour positionner il faut mesurer. Dans ce travail, nous proposons une analyse conceptuelle des moyens de mesure existants. Certains permettent d'évaluer la position en suivant plusieurs coordonnées simultanément. Ainsi il est possible de "globaliser" l'acquisition. A partir de ce type de mesure, nous proposons des méthodes de dépouillement pour identifier les paramètres du modèle d'erreur, ainsi qu'un calcul de l'incertitude associée. Nous avons développé un principe de mesure permettant l'acquisition simultanée des 6 paramètres de position d'un solide, basé sur l'exploitation d'instruments de mesure de longueurs implantés suivant une architecture parallèle. La conception des instruments de mesure de longueurs a été déclinée sur plusieurs réalisations correspondant à des conditions de mise en oeuvre différentes. Nous sommes parvenus à obtenir une précision de ±3 μm sur une course de 600 mm.

Cette thèse, effectuée à l'Institut de Physique Nucléaire de Lyon (IPNL), s'inscrit dans le cadre de l'expérience SNfactory, dédiée à l'observation précise d'un grand nombre de supernovae de type Ia. Ces explosions thermonucléaires de naines blanches, très lumineuses, sont aujourd'hui les meilleures chandelles standards connues et ont de ce fait un grand intérêt pour la cosmologie.<br />Les travaux exposés ici contribuent à l'étalonnage de SNIFS, le spectrographe à champ intégral utilisé par SNfactory pour l'observation des supernovae de type Ia. Une étude des CCD a été effectuée ainsi que la collection de spectres d'étoiles de référence pour l'étalonnage en flux de l'instrument. La contribution principale a consisté en la réalisation d'un code complet pour l'extraction du spectre d'une source ponctuelle à partir du cube pré-étalonné de données. Le procédé choisi est la photométrie de PSF (Point Spread Function), nécessaire ici du fait de la petite taille du champ observé. Le flux perdu peut ainsi être évalué, et l'on atteint une qualité de mesure du flux de l'ordre du pourcent, objectif de l'expérience.