L'objectif de cette thèse est d'étudier les modèles de construction et de configuration d'applications réparties. La configuration d'une application correspond à la fois à l'identification de l'architecture logicielle et à son adaptation aux ressources disponibles dans un environnement réparti pour produire une image exécutable de l'application. Le résultat de ce travail est en premier lieu le langage de configuration Olan (OCL) qui apporte des solutions aux problèmes de définition de l'architecture d'une application, d'intégration de logiciels existants hétérogènes, d'adaptation aux facteurs de répartition, notamment aux ressources et mécanismes répartis disponibles, et enfin à la génération de l'image exécutable. En second lieu, ce travail propose un support système permettant d'installer et de déployer l'applications selon les directives et contraintes spécifiées au travers de l'architecture.

La surveillance des structures de génie civil, afin d'en estimer l'état de santé, est un enjeu majeur pour les maîtres d'ouvrages. Les systèmes de mesures réparties par fibre optique, composés d'un interrogateur connecté à une fibre optique intégrée dans un câble, permettent de mesurer le profil de déformation avec un pas de mesure centimétrique et une portée kilométrique. Ils sont donc adaptés aux structures présentant de grands linéaires ou de grandes surfaces. Mais, avant tout déploiement industriel, il est nécessaire d'en évaluer leurs performances. Du fait de la déformation par cisaillement du revêtement du câble, le profil de déformation mesuré le long de la fibre optique n'est pas strictement identique à celui du matériau environnant. Une méthode, basée sur la mise en œuvre d'essais et de simulations numériques, a été développée afin de caractériser les mécanismes de transfert d'effort du milieu hôte à la fibre optique à travers le revêtement du câble. Cette méthode a été appliquée pour déterminer la réponse mécanique d'un câble particulier noyé dans le béton. Les performances métrologiques d'un système de mesure donné ont été évaluées sur la base d'une analyse d'essais " du laboratoire au terrain ". Cette étude a permis de quantifier les différentes composantes d'incertitude et d'estimer les performances du système de mesure complet. Enfin, le câble, noyé dans le béton, ne peut être remplacé. La connaissance de l'impact du vieillissement sur la réponse mécanique du câble est donc primordiale. Une étude spécifique est menée dont le but est d'estimer la durabilité du câble face aux sollicitations chimique, thermique et mécanique correspondant à une application donnée

La surveillance des structures de génie civil, afin d'en estimer l'état de santé, est un enjeu majeur pour les maîtres d'ouvrages. Les systèmes de mesures réparties par fibre optique, composés d'un interrogateur connecté à une fibre optique intégrée dans un câble, permettent de mesurer le profil de déformation avec un pas de mesure centimétrique et une portée kilométrique. Ils sont donc adaptés aux structures présentant de grands linéaires ou de grandes surfaces. Mais, avant tout déploiement industriel, il est nécessaire d'en évaluer leurs performances. Du fait de la déformation par cisaillement du revêtement du câble, le profil de déformation mesuré le long de la fibre optique n'est pas strictement identique à celui du matériau environnant. Une méthode, basée sur la mise en œuvre d'essais et de simulations numériques, a été développée afin de caractériser les mécanismes de transfert d'effort du milieu hôte à la fibre optique à travers le revêtement du câble. Cette méthode a été appliquée pour déterminer la réponse mécanique d'un câble particulier noyé dans le béton. Les performances métrologiques d'un système de mesure donné ont été évaluées sur la base d'une analyse d'essais « du laboratoire au terrain ». Cette étude a permis de quantifier les différentes composantes d'incertitude et d'estimer les performances du système de mesure complet. Enfin, le câble, noyé dans le béton, ne peut être remplacé. La connaissance de l'impact du vieillissement sur la réponse mécanique du câble est donc primordiale. Une étude spécifique est menée dont le but est d'estimer la durabilité du câble face aux sollicitations chimique, thermique et mécanique correspondant à une application donnée / Structural Health Monitoring is a key factor in life-cycle management of civil structures. Truly distributed fiber optic sensors, composed by an optoelectronic device paired with an optical fiber in a cable, provide strain profiles over several kilometers with a centimeter resolution. They are thus able to provide relevant information on large structures. However, a preliminary performance assessment is required prior to any industrial application. Due to shear deformation of the cable's protective coating, strain measurements provided by the measuring system may differ from actual strains in the embedding medium. A methodology, based on mechanical tests and modelling, was thus developed to determine the relationship between measured/actual strains. It was applied to determine the mechanical response of a specific cable embedded in concrete. Performance assessment method was applied to a specific measuring system. Tests were carried out under laboratory conditions on the fiber optic cable, out of the concrete medium in a first stage, and then embedded in concrete structures. It enabled to evaluate its components and standard uncertainties. The cable could not be replaced after being embedded in concrete. It is necessary to evaluate the ageing effects on its mechanical properties to use it for a long term period. A specific study was carried out to determine the cable durability under chemical, thermal and mechanical solicitations

Cette thèse porte sur la réalisation d'une maquette du système CESAR, système d'aide à l'analyse d'applications réparties. L'outil réalisé permet de comparer une application décrite par un programme parallèle avec ses spécifications données par un ensemble de formules d'une logique temporelle.

Le système CESAR proposé dans cette thèse est un système d'aide à la conception des applications reparties. Il permet de décrire l'application étudiée dans un langage algorithmique en termes de processus communiquant par rendez-vous; de spécifier les propriétés de comportement souhaitées au moyen d'une logique temporelle. Le modèle sur lequel ces formules sont analysées est un réseau de Petri interprété généré automatiquement à partir de la description fournie. L'analyse repose sur une évaluation des opérateurs temporels comme points fixes de transformateurs de prédicats sur l'espace d'états du modèle.

Dans notre travail nous nous sommes intéressés à la vérification<br /> automatique de propriétés comportementales d'applications réparties par des<br /> méthodes fondées sur les<br />modèles. En particulier, nous étudions le problème de<br />génération de modèles <br />à partir de programmes Java répartis et représentés par des systèmes de transitions<br />communiquants.<br /><br />Pour ce faire, nous définissons une sémantique comportementale de programmes ProActive, une<br />librairie Java pour la programmation parallèle, distribuée et<br />concurrente. À partir de cette sémantique nous construisons des modèles<br />comportementaux pour<br />des abstractions finies d'applications écrites dans ce langage. Ces<br />modèles sont basés sur la sémantique des algèbres de<br />processus et peuvent donc être construits de manière compositionnelle et<br />hiérarchique.<br />La construction de modèles finis n'est pas toujours possible. Pour<br />pouvoir traiter des problèmes prenant en compte des données, ainsi que<br />des problèmes concernant des topologies non bornées d'objets<br />répartis, nous définissons une nouvelle notion de modèleles<br />hiérarchiques, à base de systèmes de transitions paramétrés et de<br />réseau de synchronisation paramétrés. Moyennant des abstractions ces modèles permettent de<br />spécifier des applications possiblement infinies par des représentations<br />expressives, finies, et plus proche de la structure du code. <br />Par ailleurs, nous définissons un système de règles sémantiques<br />permettant de générer automatiquement ces modèles (finis ou<br />paramétrés) à partir d'une forme intermédiaire, obtenue par analyse statique,<br />des programmes analysés.<br />Les modèles ainsi générés sont exploitables directement ou après<br />instantiation par des outils de vérification.

Ce travail de thèse rassemble nos résultats d'étude sur l'utilisation des modes de résonance acoustique pour réaliser des capteurs répartis à base des fibres à cristaux photoniques (Photonic Crystal Fibres : PCF). Tout d'abord, nous avons démontré qu'à l'heure actuelle, il est difficile voire impossible de mesurer en rétrodiffusion les modes acoustiques transverses dans une fibre optique. Ces modes dont la fréquence est inférieure à 2 GHz, ont été mesurés dans une boucle non linéaire sur une PCF, une fibre conventionnelle et une fibre à dispersion décalée. Les différents spectres montrent une dépendance à la structure transverse des fibres. Ensuite, nous avons mis au point un réflectomètre Brillouin (Brillouin Optical Time Domain Reflectometer : BOTDR) permettant de suivre en temps réel le spectre Brillouin le long d'une fibre avec une résolution spatiale de l'ordre d'une dizaine de mètres. Il est particulièrement capable de discriminer différents modes présents dans le spectre Brillouin. La comparaison des spectrogrammes obtenus sur différentes structures transverses de fibres, confirme que l'existence de multipics Brillouin dans les PCF est liée au très petit coeur (dont le diamètre est de l'ordre de la longueur d'onde de mesure) de la fibre. Enfin, toujours dans l'optique de mieux observer le spectre Brillouin réparti, nous avons développé un outil d'analyse Brillouin vectorielle permettant de cartographier avec précision les modes Brillouin hybrides grâce à la complémentarité du spectrogramme de phase. Les mesures réalisées sur une PCF dont le diamètre varie linéairement de 3,5 μm à 2,6 μm montrent un second mode Brillouin dont la fréquence varie à raison de -118,2 MHz/ μm.

RESUME : Bien que les modèles à composants aient permis de mieux gérer la complexité des applications réparties, ces applications restent confrontées à un problème d'adaptabilité. Le caractère distribué et évolutif de l'environnement d'exécution, la dynamicité des composants logiciels et les propriétés de qualité de service attendues sont autant de critères qui nécessitent de pouvoir adapter une application durant son cycle de vie. Durant mon parcours, j'ai abordé le problème de l'adaptabilité des applications réparties comme le fil directeur de mes recherches. Dans un premier temps, dans le cadre du projet Olan, ma démarche a été d'utiliser le concept de composant pour obtenir une adaptabilité au déploiement. Par la suite, dans le contexte du projet Jade, je me suis intéressée au support de l'adaptabilité durant l'exécution, en exploitant les capacités offertes par les modèles à composants réflexifs pour fournir une adaptabilité contrôlée par des processus autonomes. L'usage des composants comme socle pour une adaptabilité autonomique reste la base de ma démarche scientifique. Dans ce document, je motive cette démarche en retraceant l'évolution des modèles à composants et leurs apports pour l'adaptabilité. Je présente également les perspectives de recherche, encore très ouvertes, de l'adaptabilité dynamique et les directions futures que je compte investiguer.

L’utilisation de platelages en aluminium dans les ponts est récente et peu répandue comparativement aux matériaux plus traditionnels tels que l’acier et le béton. Malgré l’introduction récente du chapitre 17 dans la norme canadienne des ponts routiers (CAN/CSA-S6) sur l’utilisation de l’aluminium structural dans les ponts, les connaissances concernant le comportement structural du platelage en aluminium restent limitées. Ainsi, les spécifications du code pour la conception ne fournissent pas des méthodologies suffisantes pour les vérifications de la résistance et de l’état limite d’utilisation. Par exemple, le calcul des fractions de charge de camion à l’aide de la méthode simplifiée pour la distribution transversale dans les platelages en aluminium est basé sur des valeurs spécifiées pour les platelages en madrier de bois, ce qui semble restrictif. Un autre exemple concret est lié au calcul du moment plastique qui permet d’établir la résistance du pont en flexion. La méthode simplifiée de calcul de la largeur effective dans le cas où il y aurait action composite n’est pas adaptée pour un platelage ayant une section alvéolée comme c’est le cas du platelage en aluminium. Une analyse utilisant les méthodes d'éléments finis est nécessaire pour établir ces paramètres de conception. Dans ce mémoire, une étude de la répartition transversale des charges de trafic pour des dispositions d’extrusions longitudinales et transversales par rapport aux poutres en acier est effectuée à l’aide de la méthode des éléments finis. Plusieurs modèles de ponts sont réalisés afin d’étudier l’influence de la portée et de l’espacement des poutres sur les fractions de charge de camion ainsi que sur l’aire effective du platelage dans le cas d’action composite parfaite. Une comparaison avec les valeurs préconisées par la norme CAN/CSA-S6-14 ainsi qu’une comparaison entre les deux types de dispositions sont également effectuées. Il a été déterminé que la norme surestime grandement les valeurs des fractions de charge de camion, allant jusqu’à une surestimation de 25% à 40%. De plus, il s’est avéré que les fractions de charge de camion calculées pour les modèles ayant les extrusions transversales aux poutres étaient toujours inférieures à celles calculées pour les modèles ayant les extrusions installées longitudinalement aux poutres. Pour ce qui est des résultats concernant l’aire effective, les valeurs obtenues avec les extrusions parallèles aux poutres étaient plus basses que celles obtenues avec les extrusions transversales. Enfin, lors de la comparaison avec les valeurs de la norme pour un platelage en béton, les aires effectives trouvées à l’aide des modèles étaient toujours inférieures à celles de la norme. / The use of aluminium decks in bridges has received attention in recent years, as the bridge engineering community discovers the advantages of this material compared with the traditional construction materials such as steel and concrete. Despite the recent introduction of Chapter 17 in the Canadian Highway Bridge Design Code, CAN/CSA S6, which permits engineers to use aluminium for bridge construction, the structural design application still remains a daunting task. Essentially, the code’s specifications for design do not provide concise and detailed methodologies for strength and serviceability verifications. As an example, for the simplified traffic load analysis, it appears that the factors for transverse distribution of traffic loads specified for aluminium bridge decks are based on values specified for wood plank decks, which appears insufficient. Another practical example relates to the determination of the plastic moment required to establish the bending moment capacity for the bridge section. Considering that a bridge deck solution in aluminium consists of a multi-cellular section made from extrusions, the application of the simplified method in determining the effective width of the deck section becomes a non-trivial task. A refined analysis using finite element methods is required to establish these design parameters for an optimized bridge solution in aluminium. In the present study, a finite element analysis is carried out to investigate the transverse distribution of traffic load on aluminium decks made from longitudinal and transverse extrusions, supported by steel girders. A number of bridge models are developed to study the influence of girder spacing and bridge span on the truck load fraction for aluminium decks and for establishing the effective area for the composite aluminium deck with steel girder system. It was determined that the code largely overestimates the values of truck load fractions, up to 25% to 40%. In addition, it was found that the truck load fractions calculated for models with transverse extrusion arrangements were always lower than those calculated for models with longitudinal extrusion. The transverse arrangement is therefore more effective in transferring truck loads to supporting girders. With respect to the effective area, the study showed that these values were lower for longitudinal extrusions than transverse extrusions. Finally, when compared with the values obtained using the simplified method by the code for a concrete deck, the effective areas determined were lower than those obtained from the code.

On fait le point sur l'ensemble des travaux menés dans le cadre du projet POLYPHEME. On présente l'architecture et les caractéristiques de la maquette réalisée. On étudie les problèmes d'intégrité qui se posent lorsque l'on désire faire coopérer des données dans un environnement reparti, on aborde en particulier l'intégrité sémantique et le traitement des opérations de mise à jour. On propose un formalisme pour exprimer le comportement des mises a jour sur une relation abstraite construite sur d'autres relations.