Le test de conformité est le processus permettant de contrôler qu'un système possède un ensemble de propriétés souhaitées et se comporte conformément à certaines exigences prédéfinies. Dans ce contexte, les techniques de test passif sont utilisées lorsque le système sous test ne peut être interrompu ou l'accès aux interfaces du système est indisponible. Le test passif s'appuie sur l'observation de l'application pendant l'exécution, et la comparaison de l'observation avec le comportement attendu, défini à travers des propriétés de conformité. L'objectif de cette thèse est la définition d'une méthodologie de validation des protocoles communicants par test passif. Les approches existantes sont issues de travaux basés sur des spécifications à états finis ou de transitions étiquetées et comme tels, ils présument l'existence d'une relation de causalité entre les évènements observés dans la trace du système. Pour le traitement des protocoles basés sur des messages, comme le protocole SIP (fondamental pour les services IMS), telle causalité n’existe pas nécessairement et en outre, elle ne peut être déterminée que par la partie données du protocole. Étant donné que les techniques existantes sont optimisées pour traiter les parties de contrôle, ils présentent des limites pour les tests basés sur des parties de données: expressibilité réduite de propriétés de conformité, entre autres. Dans ce travail nous présentons une approche sur la base des messages et données pour traiter ces problèmes. Les observations dans une trace sont sous la forme de messages. Le comportement attendu est défini de manière ascendante, à partir des critères basés sur les relations entre les champs des données des messages. Des relations temporelles sont définies entre ces critères, par exemple, une propriété peut exiger que certains critères “doit être reconnu pour tous les messages dans la trace”. Notre approche permet d’exprimer des formules sur l’avenir et le passé de la trace, permettant de définir des critères plus généraux que ceux qui utilisent uniquement des parties de contrôle. Des problèmes liés à la satisfaction des propriétés et la déclaration des verdicts de conformité sont également discutés. Bien que l'observation d'un comportement défini comme une propriété est un indice de conformité, l'absence d'observation n'est pas nécessairement indicative d'une faute. Plusieurs solutions à ce problème ont été proposées et mises en œuvre dans ce travail. Enfin, notre travail présente des perspectives intéressantes en termes d'extensibilité pour la détection en ligne ou une expressivité améliorée, mais aussi car une approche basée sur des messages fournit une vision alternative aux techniques de test traditionnelles / Conformance testing is the process of checking that a system possesses a set of desired properties and behaves in accordance with some predefined requirements. In this context, passive testing techniques are used when the system under test cannot be interrupted or access to the system's interfaces is unavailable. Passive testing relies on the observation of the implementation during runtime, and the comparison of the observation with the expected behavior, defined through conformance properties. The objective of this thesis is to define a novel methodology to validate communicating protocols by passive testing. Existing approaches are derived from works with finite-state and labelled transition specifications and as such, they presume there exists a causality relation between the events observed in the implementation (the trace). When dealing with message-based protocols, such as the Session Initiation Protocol (fundamental for IMS services), such causality does not necessarily exist and furthermore, it may only be determined through data parts. Since existing techniques are optimized for dealing with control parts, they present limitations for testing based on data parts: reduced expressibility and succinctness of conformance properties, as well as problems to deal with satisfaction of properties including future conditions. In this work we present a message-based/data-centric approach for dealing with these issues. Observations in a trace are in the form of messages. Expected behavior is defined in a bottom-up fashion, starting from expected criteria that must be fulfilled by one or more messages, defined as constraints between the message data fields. Temporal relations by quantification over the criteria, e.g. a property may require that certain criteria "must be held for all messages in the trace". Our approach allows to express formulas about the future and past of the trace, allowing to define more general criteria than through control parts alone. Issues related to satisfaction of properties and declaration of conformance verdicts are also discussed here. Although observation of a behavior defined as a property is indication of conformance, lack of observation is not necessarily indicative of a fault. Several solutions to this issue have been proposed and implemented in this work. Finally, our work presents interesting perspectives, in terms of extensibility for online detection or improved expressiveness, but also since a message-based approach provides an alternative view to traditional testing techniques

L'objectif de cette thèse est d'assurer le bon comportement des aspects fonctionnels des systèmes basés sur le web. Pour atteindre cet objectif, nous nous basons dans ce manuscrit, sur deux approches différentes de test: l'approche active et l'approche passive. Le principe du test actif consiste à générer automatiquement une suite de scénarios de tests qui sera appliquée sur un système sous test pour en étudier sa conformité par rapport à ses besoins fonctionnels. Quant au test passif, il consiste à observer passivement le système sous test, sans interrompre le flux normal de ses opérations. Pour l'approche active, nous proposons une méthodologie qui permet de générer automatiquement des séquences de test afin de valider la conformité d'un système par rapport à la description formel du comportement du système. Le comportement est spécifié en utilisant un modèle formel basé sur des machines à états finis étendues temporisées (TEFSM). La génération automatique des tests est ensuite effectuée en utilisant des outils développés dans notre laboratoire et permet d'obtenir des cas de test exécutables qui permettent au moteur de test d'interagir avec une application web réel. Dans l’approche passive, nous spécifions des propriétés fonctionnelles à tester sous la forme d'invariants temporisés.Nous analysons ensuite les traces d’exécution d’un Web service composé afin d’élaborer un verdict sur sa conformité par rapport au comportement souhaité du système. Plusieurs algorithmes et outils sont fournis dans ce manuscrit pour effectuer le test actif et passif des systèmes Web. Nous avons appliqué nos méthodologies à divers systèmes (le Mission Handler et le Travel Reservation Service) pour illustrer les approches proposées sur des systèmes réels / The objective of this thesis is to ensure the proper behaviour of the functional aspects of web based systems. To achieve this goal, we proposed two different test approaches: the active approach and the passive approach. Our goal is to automatically generate a suite of active test scenarios that will be applied on a system under test to examine its compliance with respect to its functional specification, and, when interrupting the normal flow of operation is problematic, to observe the system under test with passive testing. The goal of this work is developing a method and a set of tools to test web based systems using the active and passive testing approaches. Concerning the active testing approach, we present a methodology to cover the end-to-end testing process (from building the model until the test execution). This work tackles the gap between, on the one hand, generating abstract test cases from abstract models and, on the other hand, developing methods allowing concretizing these tests and automatically applying them on a real applications. Then, concerning the passive test approach, we present a methodology and a new tool for observing the behaviour of the communications of the web applications with external web services (for SOA based web applications) in order to check whether the observed behaviour is correct. All the methodologies and tools presented in this work are applied on two industrial case studies, Mission Handler and Travel Reservation Service, in order to validate our contributions in active and passive testing respectively

Les OP-VECSELs (Optically Pumped Vertical External Cavity Semiconductor Lasers) sont des sources permettant d'obtenir des faisceaux circulaires de bonne qualité et de puissance élevée. De plus, la cavité externe permet d'envisager la réalisation de sources impulsionnelles par l'insertion d'un miroir à absorbant saturable (SESAM) dans la cavité et la mise en place d'un régime de blocage de modes passif. Ce travail de thèse a porté sur la réalisation et l'étude des OP-VECSEL, des SESAMs et des cavités optiques adaptés à la réalisation d'une source impulsionnelle à 1,55 µm. <br />Le cœur de ce travail de thèse a consisté en la conception, la caractérisation, et l'obtention du fonctionnement laser en continu d'OP-VECSELs réalisés monolithiquement sur InP. La principale difficulté pour l'obtention de l'effet laser en continu a été la gestion de l'échauffement, particulièrement important lors du pompage optique des matériaux à l'accord de maille sur InP. L'effet laser à 1,55 µm en pompage continu à température ambiante a cependant été obtenu, avec un seuil de 6 kW/cm², et une puissance de sortie de 4 mW à 0°C. Ce résultat est une première pour une structure OP-VECSEL monolithique sur InP émettant à 1,55 µm. La réalisation d'une source impulsionnelle nécessite l'amélioration des propriétés thermiques des OP-VECSELs, et nous proposons de nouvelles structures satisfaisant à cette contrainte.<br />La génération d'impulsions brèves à haut débit nécessite l'accélération de la dynamique de fonctionnement des SESAMs. Pour ce faire, nous proposons une méthode originale, consistant à placer le puits quantique jouant le rôle d'absorbant saturable très près de la surface du composant, pour bénéficier des recombinaisons rapides des porteurs sur les états de surface. Nous proposons également des configurations de cavités optiques compactes adaptées à l'obtention d'impulsions à un débit supérieur à 2 GHz.

L'association d'un absorbeur non linéaire à un système primaire linéaire peut permettre d'observer le phénomène de pompage énergétique. Le travail de cette thèse a consisté à appliquer ce concept à l'acoustique, c'est-à-dire à travailler sur une nouvelle technique passive de réduction du bruit utilisant un absorbeur non linéaire. Cette technique serait efficace pour traiter les basses fréquences, là où les matériaux absorbants sont inopérants. Un montage expérimental académique a été développé en utilisant l'air à l'intérieur d'un tube en tant que milieu acoustique primaire, une fine membrane circulaire visco-élastique en tant qu'oscillateur à raideur essentiellement cubique et l'air contenu dans une boîte de grande taille pour assurer un couplage faible entre ces deux éléments. Un modèle de ce montage a également été élaboré afin de pouvoir procéder à des simulations. En oscillations libres, le pompage énergétique se traduit par une rapide décroissance du niveau sonore dans le tube pendant que l'énergie initialement présente dans ce système primaire se localise entièrement sur la membrane puis se dissipe par viscosité dans celle-ci, sans retour possible vers le milieu acoustique. On parle ainsi de transfert énergétique ciblé (“targeted energy transfer”) dans la littérature, terme devenu équivalent à celui de pompage énergétique (“energy pumping”). Ceci n'est cependant possible qu'à partir d'un certain seuil d'énergie initiale en dessous duquel la membrane n'exerce aucune action particulière. En fréquentiel, sous certaines conditions de niveau d'énergie, la membrane est capable de simplement écrêter le premier pic de résonance du milieu acoustique sans modifier la réponse initiale du système autour de celui-ci.

L'objet principal de cette thèse est d'étudier divers aspects de l'évolution d'un champ scalaire ou vectoriel, transporté par un champ de vitesse dont la statistique est donnée indépendamment du champ advecté. Ce faisant, on est amené également à étudier les courbes intégrales du champ de vitesse, appelées trajectoires Lagrangiennes. Après une introduction synthétique, plusieurs modèles et problèmes sont abordés. Notre modèle principal - baptisé après R. H. Kraichnan - suppose des champs de vitesse gaussiens delta-corrélés en temps. Sont étudiés les cas où la structure spatiale du champ de vitesse est soit lisse soit brownien fractionnaire (multidimensionnel). Un modèle où le champ de vitesse est corrélé en temps est également abordé. Parmi les problèmes étudiés sont les secteurs anisotropes de la quantité advectée, l'apparition d'intermittence spatiale, ou encore différents passages à la limite dans la statistique du champ de vitesse.

Ce travail de thèse concerne l'étude expérimentale d'un jet perpendiculaire à un écoulement principal (``jet in crossflow'') dans une soufflerie en circuit fermé. Suivant la valeur du rapport de vitesse entre les deux écoulements r, ce jet rectangulaire confiné se trouve en situation d'interaction voire d'impact avec la paroi opposée à celle dont il est issu. Le jet est faiblement marqué en température (environ 10°C), afin de rester dans le cas du scalaire passif. Une amélioration du dispositif expérimental a été mise en oeuvre afin d'obtenir des conditions aux limites thermiques compatibles avec la mesure de faibles écarts de température imposés par le scalaire passif. Du point de vue métrologique, on utilise l'anémométrie et la thermométrie à fil chaud / fil froid, l'ensemble de la chaîne anémométrique étant réalisé au laboratoire. Des sondes à fil de Wollaston (Pt-Rh) de 0,35µm de diamètre sont associées à un thermomètre et un anémomètre à tension constante optimisés pour maximiser le rapport signal sur bruit. Les différents résultats sont obtenus à la fois grâce à des visualisations par caméra rapide pour différents rapports de vitesse (r compris entre 3 et 12), et grâce aux mesures locales par fil chaud / fil froid, dans le cas particulier de deux rapports de vitesses (r=3.3 et 9.4). Les propriétés de mélange du scalaire sont étudiées par le tracé de cartographies des grandeurs statistiques de vitesse et température dans des plans de coupe perpendiculaires aux trois axes. L'analyse du contenu spectral des signaux en différents points caractéristiques met en évidence des caractéristiques du comportement dynamique instationnaire du jet.

L'évaluation des risques environnementaux et sanitaires liés à la présence de résidus de médicaments dans l'environnement, représente un enjeu majeur en particulier au regard de la gestion du cycle des usages de l'eau. Les effluents des établissements de soins représentent une source non négligeable de pollution et justifient le développement de techniques spécifiques de mesures des émissions de résidus de médicaments dans leurs eaux usées. Dans le cadre de ces développements de méthode, l'échantillonnage représente une des difficultés majeures car la matrice brute des eaux en sortie des hôpitaux est très chargée en matières organiques, les débits sont extrêmement variables, les sites de prélèvement sont difficiles d'accès et il existe une forte variabilité des dispensations des traitements jour/nuit et semaine/week-ends. Les échantillonneurs intégratifs apparus récemment, offrent une alternative intéressante aux stratégies d'échantillonnage existantes, permettant d'effectuer un suivi moyenné sur de longues périodes d'observation associé à une simplicité d'usage et une réduction des coûts. Ce travail porte sur l'étude de l'applicabilité des échantillonneurs intégratifs POCIS (Polar Organic Chemical Integrative Sampler) au dosage des résidus de médicaments dans les effluents hospitaliers. Ce dispositif a principalement été utilisé dans les eaux de surface et les effluents de STEP et son application dans les eaux usées reste rare. 6 molécules déjà identifiées comme représentatives des grandes familles de médicaments utilisés à l'hôpital (Aténolol, Prednisolone, Méthylprednisolone, Sulfaméthoxazole, Ofloxacine, Kétoprofène) ont été retenues.Les cinétiques d'adsorption des molécules sur les POCIS ont été suivies en laboratoire en condition de maitrise des paramètres les plus influents : température, vitesse de l'eau, charge en matière organique, colmatage...Ce calibrage a pour but de déterminer le coefficient d'échantillonnage Rs (L/j) spécifique à chaque molécule et nécessaire au calcul de la concentration dans le milieu d'exposition du POCIS. Nous avons observé une augmentation des Rs quand la vitesse de l'eau augmente ou quand la température augmente. Dans les eaux usées, la valeur de Rs est plus faible et la durée de la phase linéaire est réduite comparée à l'eau du robinet. Pour ce type d'application, la période d'exposition ne devra pas dépasser 4 à 5 jours en raison du colmatage des membranes et d'une teneur élevée en particules organiques dissoutes. Après calibrage dans l'eau du robinet et dans l'eau usée, les POCIS ont été exposés in situ dans un effluent hospitalier pour mesurer les concentrations en 6 molécules ciblées. Cinq ont pu être quantifiées et les concentrations calculées à partir des extraits des POCIS sont concordantes avec celles obtenues par prélèvement direct d'un échantillon moyenné d'eaux usées. Le facteur limitant réside dans les difficultés d'accès au site et la présence de solides dans le collecteur d'eaux usées. Ce travail ouvre des perspectives quant à l'application des POCIS pour les effluents hospitaliers et pourra à terme contribuer à l'acquisition de données pour une meilleure surveillance des rejets.

Cette thèse porte sur l'application des techniques de filtrage statistiques au radar passif. L'objectif de cette thèse est d'adapter les méthodes à somme de gaussiennes et les méthodes particulaires pour la détection et/ou la poursuite dans un contexte multi-cible. Nous nous intéressons aux problématiques liées à des cibles fortement manoeuvrantes à rapport signal sur bruit pouvant être très faible. En guise d'application, la radio FM et la télévision numérique DVB-T seront exploitées comme sources d'opportunité par le système de localisation passive. Dans un premier temps, cette thèse récapitule l'état de l'art dans le domaine du radar passif, du filtrage statistique et des approches conventionnelles de pistage radar à base de données seuillées. Dans un deuxième temps, cette thèse explore l'apport du filtrage particulaire en radar passif. Avec une modélisation convenable du problème de poursuite d'une cible sous la forme d'un système dynamique non-linéaire, nous montrons comment le filtrage particulaire, appliqué sur les sorties bruitées (non-seuillées) du corrélateur, améliore les performances en terme de poursuite par rapport aux approches conventionnelles. Une extension au cas multi-cible est également traitée. L'ingrédient essentiel de l'algorithme proposé est l'intégration d'un système de synchronisation de l'instant d'échantillonnage du corrélateur (et le cas échéant de la fréquence de corrélation) qui permet à l'algorithme particulaire de compenser automatiquement la dynamique des cibles. Dans un troisième temps, nous exposons un nouveau système de détection/poursuite multi cible basé sur le filtrage bayésien avec la méthodologie "track-before-detect". Ce système est implémenté par une approximation à base de somme de gaussiennes ou une approximation à base de filtrage particulaire. Nous proposons également une technique d'annulation successive d'interférence qui permet de gérer la présence de lobes secondaires importants. Des simulations utilisant un signal radio FM, ont permis de confirmer le potentiel du système de détection/poursuite proposé.

Cette thèse présente la conception de différentes fonctions pouvant entrer dans la constitution d'un convertisseur de fréquence incluant la génération de l'oscillateur local. La première partie de ce travail présente un synthétiseur de fréquence fixe (PLL) centré sur 15 GHz. Le circuit exploite une technologie CMOS 130 nm proposée par STMicroelectronics. L'objectif visé est d'obtenir une faible consommation tout en préservant des performances en bruit de phase proche de l'état de l'art. Les mesures du circuit, en accord avec les simulations, ont révélé un bruit de phase de -68,9 dBc/Hz à 100 kHz de la porteuse pour une fréquence de sortie de 15 GHz, mais une amélioration de ce bruit d'environ -20 dBc/Hz a pu être démontrée par simulation en corrigeant légèrement la pompe de charge. La consommation de l'ensemble s'établit à 28 mW. La deuxième partie de ce travail démontre la faisabilité d'un mélangeur résistif doublement équilibré à très faibles pertes. Une topologie originale est développée pour transposer efficacement un signal RF en bande K ou en bande V vers une fréquence intermédiaire, fixée arbitrairement à 1 GHz. Le circuit exploite le principe de l'échantillonnage (Bande K), ou du sous-échantillonage (Bande V) en tension pour fortement réduire ces pertes de conversion par rapport à un mélangeur passif classique. Pour fonctionner correctement, celui-ci nécessite cependant une tension de commande OL à très faible rapport cyclique. Deux circuits réalisant la mise en forme du signal OL sont démontrés et fonctionnent jusqu'à 26 GHz. Le mélangeur a été réalisée à partir d'une filière technologique BiCMOS 130 nm de IBM. Les mesures révèlent des performances à l'état de l'art, avec des pertes de conversion de -2,1 dB et un facteur de bruit de 6,3 dB à 19GHz. La plage de fonctionnement RF s'étale de 4 à 27 GHz. Le même circuit testé dans une configuration de sous-échantillonnage fonctionne entre 16 et 64 GHz sur la voie RF. A 58 GHz, les pertes de conversion approchent 8 dB avec un facteur de bruit de 9,5 dB.

Les contraintes économiques, environnementales et sociétales de ces vingt dernières années notamment dans les domaines de l'énergie et des transports ont débouché sur le développement de nouvelles technologies faisant intervenir la combustion pauvre et prémélangée. Ce mode de combustion à partir d'un mélange homogène conduit à des températures de flamme plus faibles qui permettent de réduire les émissions d'oxydes d'azote tout en limitant la production d'oxydes de carbone. Pour autant, la combustion pauvre prémélangée présente le désavantage d'être sensible à toute forme de couplage notamment acoustique, menant à des instabilités de combustion. Ces instabilités sont largement étudiées, mais restent très difficiles à prévoir car elles font intervenir de nombreux phénomènes physiques multi-échelles. Dans la plupart des cas les oscillations résultent d'un couplage résonant entre la dynamique de la combustion et l'acoustique du système. Les conditions aux limites acoustiques du système déterminent la structure du champ de pression dans l'installation, ainsi que les flux acoustiques entrants et sortants. Malgré son importance, l'influence des conditions aux limites n'est pas toujours bien comprise et prise en compte et elle ne fait pas l'objet d'études systématiques. Les conditions aux limites acoustiques ne sont pas faciles à déterminer expérimentalement sur des configurations pratiques et leur contrôle est rarement envisagé. L'objectif de ce travail est donc de répondre à ce manque d'information, en étudiant sur un banc de combustion turbulente (CTRL-Z) l'influence de la condition acoustique d'entrée sur les oscillations de combustion auto-entretenues qui apparaissent dans la chambre de combustion. Un système de contrôle a été développé pour piloter l'impédance du système de prémélange de façon passive, sans modification des conditions de fonctionnement ou de la géométrie du brûleur. Ce système de contrôle d'impédance (ICS, " Impedance Control System ") s'appuie sur une utilisation de plaques perforées faiblement poreuses, au travers desquelles circule un écoulement. Un piston mobile permet de piloter la profondeur de la cavité résonante formée en amont des plaques, et ainsi de piloter leurs impédances. L'impédance de ces plaques perforées a été étudiée pour de faibles et de forts niveaux d'excitation acoustique, et un critère de transition entre les régimes linéaire et non-linéaire a été déterminé. L'ICS a été optimisé pour permettre un contrôle du module du coefficient de réflexion de 0 à 1 sur une large plage de fréquences (100 à 1000 Hz) et de niveaux d'amplitude de perturbations (100 à 150 dB) couvrant ainsi la gamme des instabilités thermoacoustiques classiques. L'ICS est utilisé pour contrôler l'impédance d'entrée du système de prémélange du banc CTRL-Z, en regard de la zone de combustion. L'analyse spectrale des fluctuations de pression et de dégagement de chaleur en fonction de l'impédance d'entrée démontre qu'il est possible d'obtenir un amortissement de l'instabilité principale pouvant atteindre 20 dB. Ces résultats sont confirmés par une estimation au premier ordre d'un bilan d'énergie acoustique prenant en compte le terme source dû à la combustion ainsi que les flux acoustiques en amont et aval de la zone de flamme. Ce bilan démontre par ailleurs l'importance du flux d'énergie transmis vers l'amont, du même ordre de grandeur que le terme source, et souligne la nécessité de prendre en compte ces flux pour déterminer correctement le taux de croissance de l'énergie. Finalement, une analyse acoustique de l'installation a été menée pour déterminer la nature des modes d'instabilités observés et pour examiner les conditions nécessaires au bon fonctionnement de l'ICS.