Ce travail présente un modèle de noyau de communication pour les systèmes répartis. Son architecture, basée sur le modèle de CSP proposé par HOARE, a été définie pour un type particulier de système, les systèmes «temps réel» répartis sur un réseau local. Il s'agit donc d'un modèle adapté à une classe précise d'application, à l'opposé de la plupart des études qui traitent des noyaux de systèmes répartis généraux. Ce noyau est basé sur deux classes d'objets: les processus «normaux» pour exprimer les traitements séquentiels et de processus appelés canaux pour implémenter à la fois la communication et la synchronisation. Une implémentation de ce noyau a été réalisée sur UNIX

Ce mémoire présente des travaux concernant la spécification, la modélisation et l'analyse de systèmes de contrôle-commande temps réel répartis sur un réseau de terrain. La problématique de modélisation de tels systèmes, qui doivent satisfaire des contraintes temporelles, réside dans la maîtrise de la taille et de la complexité des modèles. Pour cela, une méthodologie de modélisation est proposée ; elle repose sur les concepts de structuration, de modélisation et de validation modulaires au moyen du modèle formel Réseaux de Petri Temporisés Stochastiques. La structuration consiste en une décomposition hiérarchisée en blocs fonctionnels élémentaires. Une structure est proposée pour des entités de communication d'un réseau local temps réel, ainsi que pour un système temps réel de commande et surveillance réparties. La modélisation repose sur la construction et la composition de modèles de modules élémentaires. Les principes énoncés concernent la définition de règles de composition. Des modèles d'assertions logiques sont également proposés pour faciliter le passage des descriptions de comportements exprimées en langage naturel, à une modélisation en Réseaux de Petri Temporisés Stochastiques. La validation repose sur des étapes de composition partielle qui utilisent la modularité pour effectuer des vérifications ascendantes du comportement. Cette méthodologie est appliquée au réseau de terrain FIP, ainsi qu'au futur système de contrôle-commande de poste de transformation d'énergie électrique d'EDF. L'étude du réseau FIP porte plus particulièrement sur les services et mécanismes périodiques de couche application pour les échanges temps réel. Les analyses (qualitatives et quantitatives) effectuées sur l'application de EDF répartie sur le réseau FIP portent sur la vérification des propriétés fonctionnelles et des contraintes temporelles du système.

Les rifts continentaux résultent de l'action de contraintes extensives dont la magnitude est suffisante pour déformer un continent (forces aux limites des plaques, mouvements asthénosphériques). Cette déformation, contrôlée notamment par la rhéologie ou encore l'héritage structural lithosphérique, se réalise par des processus magmatiques (“dyking”) et tectoniques (rupture sur faille et étirement ductile) dont l'importance relative est mal connue et variable d'un segment de rift à l'autre. Afin de mieux comprendre comment ces différents facteurs et processus interagissent, la Divergence Nord-Tanzanienne (DNT) apparaît comme une cible privilégiée du Rift Est-Africain : elle représente un stade précoce du rift et montre une transition abrupte dans le style morphotectonique et l'expression du volcanisme. Cette étude a consisté à déployer un réseau sismologique local dans la DNT et à exploiter les données issues de l'enregistrement continu de l'activité sismique pendant 6 mois (campagne SEISMO-TANZ 2007). Les signaux des séismes proches et lointains sont utilisés comme indicateurs de la sismogénèse, de la résistance crustale, des champs de déformation et de contraintes, et renseignent aussi sur la structure et la fabrique (anisotropie) lithosphérique. La sismicité est essentiellement localisée dans la branche centrale de la DNT, au sud des lacs Natron (sud du volcan Gelaï) et Manyara. La crise sismique observée à Gelaï illustre la co-existence de processus magmatiques et tectoniques, avec la mise en place d'un dyke et le comportement à la fois asismique (glissement lent) et sismique (séisme de magnitude Mw 5.9) de failles normales. Les structures géologiques mises en jeu dans cette crise sont orientées NE-SW, obliques à l'axe ~N-S du rift dans la zone. Cette direction est parallèle à la fabrique tectonique antérieure qui est ré-empruntée par le rift Cénozoïque (faille Eyasi). A Manyara, les séismes sont remarquablement profonds (~20-35 km) et révèlent un décrochement sénestre sur un plan NE-SW. Ils illustrent le développement du rift vers le sud/sud-ouest sur la branche centrale Natron-Manyara-Balangida, au contact du craton tanzanien en profondeur. La contrainte principale minimum calculée dans la zone est orientée WNW-ESE et le régime tectonique local associé est transtensif. Il est fort probable que des fluides soient associés au déclenchement de cette séquence sismique profonde et de longue durée. L'influence de l'héritage structural dans l'expression des processus magmatique et tectonique accommodant la déformation s'observe aussi à l'échelle lithosphérique, par le biais de l'anisotropie sismique. Nos résultats soulignent 3 points majeurs: (1) les structures lithosphériques héritées (contrastes rhéologiques, fabriques crustale et mantellique) exercent un contrôle majeur sur la localisation et l'expression précoce du rifting continental; (2) la distribution des séismes en profondeur apparaît être un bon révélateur des propriétés rhéologiques de la croûte (transition fragile-ductile); et (3) dès le stade du rift immature (où la croûte est peu étirée), les processus magmatiques semblent jouer un rôle prépondérant dans l'accommodation de la déformation, en étroite interaction avec les processus tectoniques.

Les travaux présentés dans ce mémoire s'intéressent aux mécanismes de redondance spécifiés par un protocole de réseau de terrain sur Ethernet. L'objectif est de valider la spécification par rapport à des exigences de disponibilité. Le contexte industriel des travaux nous a amenés à : 1) privilégier une validation par vérification formelle. Le model-checking temporel a été retenu. En effet, le caractère critique des applications industrielles pour lesquelles doit être intégré le protocole impose une vérification exhaustive des propriétés. Les nombreux paramètres temporels permettant de décrire le fonctionnement du protocole nous ont amenés à favoriser une technique prenant en compte le temps. 2) proposer une modélisation par automates temporisés modulaire ainsi qu'une méthode d'instanciation. Celles-ci permettent d'adapter facilement le modèle à vérifier à une architecture de réseau de terrain envisagée lors de la phase d'étude d'une affaire. 3) proposer des abstractions qui favorisent la vérification du modèle par le moteur de model-checking temporel. Les propriétés vérifiées traduisent l'aptitude des mécanismes de redondance à compenser une défaillance du médium ou de l'animation des échanges. Afin d'illustrer la pertinence de ces propositions, la méthode d'instanciation est appliquée à deux architectures et une campagne de vérifications est menée et analysée.

Nous évaluons dans cette thèse deux performances temporelles des architectures d automatisation distribuées sur Ethernet commuté et utilisant un modèle de coopération client/serveur : Le temps de réponse entre une occurrence d un événement d entrée et l occurrence de l événement de sortie correspondant ; Le temps de cycle réeseau pour la scrutation par un contrôleur de l ensemble de ses modules d entrées / sorties déportées. La conjonction de trois mécanismes de consommation de temps rend ces deux performances variables et difficiles à déterminer de manière analytique. Par conséquent, la méthode proposée se base sur la simulation d un modèle en réseau de Petri temporisé et coloré du comportement dynamique de l architecture complète. Les résultats obtenus sur six architectures test permettent de : Montrer que les architectures multi-contrôleurs utilisant le modèle de coopération client / serveur donnent des temps de cycle réseau plus rapide que celles basées sur les modèles maître / esclave et producteur / consommateur ; Quantifier l influence du réseau et des mécanismes de consommation du temps.

Le réseau local domestique est un environnement ouvert, hétérogène et distribué pour lequel il est primordial de garantir la qualité de service des applications multimédia. Des mécanismes de réservation de ressources (CPU, mémoire, réseau) et des architectures utilisant ces mécanismes existent. Les architectures et les mécanismes existants nécessitent de modifier les équipements ou les applications et ne prennent pas en compte l'hétérogénéité inhérente au domaine d'étude. Ces solutions ne sont pas adaptées au contexte du réseau local domestique. Pour répondre au problème de l'hétérogénéité, ce travail propose de limiter le nombre de mesures à réaliser et à stocker en agrégeant les quantités de ressources. Cette agrégation est automatisée à l'aide d'algorithmes basés sur du clustering ou du bin-packing. Cette thèse propose ensuite un framework de gestion des ressources peu intrusif, reposant sur une architecture configurable en fonction des équipements présents. Cette architecture utilise des composants globaux qui délèguent, aux composants locaux, la gestion des ressources locales. Les composants locaux utilisent les mécanismes de réservation du système d'exploitation Linux pour garantir les quantités de ressources aux applications. L'agrégation évaluée par simulation, réduit efficacement le nombre de mesures à réaliser et à stocker. De son côté, le framework de gestion des ressources est mis œuvre sur des équipements réels (des PCs, des ordinateurs portables et des équipements embarqués dédiés au multimédia), communiquant via des réseaux Wifi et Ethernet. Les évaluations du framework montrent que les réservations sont garanties même quand du bruit est généré sur les ressources utilisées, ce qui garantit aussi la qualité de service attendue.

In this thesis we study the key requirements and solutions for the feasibility and application of Ethernet-TCP/IP technology to the networks we termed Highly-Variable Real-Time Networks (HVRN). This particular class of networks poses exceptionally demanding requirements because their physical and logical topologies are both temporally and spatially variable. We devised and introduced specific mechanisms for applying Ethernet-TCP/IP to HVRNs with particular emphasis on effective and reliable modular connectivity. Using a railroad train as a reference, this work analyzes the unique requirements of HVRNs and focuses on the backbone architecture for such a system under Ethernet and TCP/IP. / Doctorat en sciences appliquées / info:eu-repo/semantics/nonPublished

L'évolution des Réseaux Locaux Domestiques (RLD) est influencée par l'augmentation irréfrénée du nombre de terminaux connectés dans nos domiciles et par le déploiement de réseaux d'accès optiques haut débit qui délivrent désormais des services dépassant le Gigabit/s. Pour continuer à échanger efficacement les données, les RLD doivent évoluer vers le multi-Gigabit/s, et plus particulièrement la très appréciée connectivité sans fil. Les systèmes radio actuels ont des capacités limitées, néanmoins de nouveaux standards dont le débit excède 7Gbit/s voient le jour. Mais comme ces derniers exploitent la bande millimétrique, entre 57 et 66 GHz, leur couverture radio est limitée à la taille d'une pièce. En effet, à de telles fréquences, les pertes en espace libre sont très élevées et les ondes ne traversent pas les murs. Cette thèse propose de résoudre cette limitation au moyen de solutions Radio sur Fibre (RoF pour Radio over Fiber). Cette technique consiste à capturer les signaux radio émis dans une première pièce, puis à les convertir en signaux optiques pour les transmettre par fibre optique jusqu'à une seconde pièce où ils seront réémis. Plusieurs transducteurs RoF seront donc installés dans le domicile et interconnectés entre eux au moyen d'une infrastructure optique adaptée, créant ainsi des systèmes se comportant à la fois comme répéteurs and comme système de distribution. Pour le marché du RLD, de telles solutions sont compétitives que si elles sont bas coût. Par conséquent, ce travail se focalise sur la modulation directe avec détection directe (IM-DD) en Fréquence Intermédiaire (FI). En d'autres termes, le signal radio à 60GHz est translaté à une plus faible fréquence, autour de 5GHz, pour moduler directement un laser, puis il est restitué à 60GHz après la détection directe. Concernant la fibre optique, la multimode silice (MMF) est privilégiée puisqu'elle permet l'utilisation de composants optoélectroniques bas coût et largement disponible. Cette thèse propose différentes architectures RoF, de la point-à-point reliant deux pièces à la multipoint-à-multipoint agissant comme un bus logique. Après une caractérisation analogique des composants optoélectroniques, du lien RoF et du câble domestique, ces architectures sont construites et caractérisées étape par étape sur la base d'une modulation OFDM conforme aux standards radio 60GHz. Des transmissions temps réel entre terminaux commerciaux sont également réalisées afin de valider ces architectures. Pour finir, des infrastructures RoF avancées sont proposées. Premièrement, les systèmes RoF peuvent être améliorés si l'accès à leur couche optique est contrôlé par la couche MAC radio. Cette approche est donc étudiée, démontrant ainsi sa faisabilité. Deuxièmement, les systèmes optiques, perçus par les utilisateurs comme des produits premium, doivent supporter aussi bien les services de base du RLD que ceux qui vont émerger dans les années à venir. Ainsi, des infrastructures multiservice and multiformat innovantes transportant sur un unique câble optique des données IP, la télévision hertzienne et satellite, les signaux radio 60GHz et d'autres formats spécifiques tels que l'HDMI sont proposées puis testées / The evolution of the Home Area Network (HAN) is lead by the proliferation of connected devices inside the home and the deployment of high broadband access network which now allows the delivery of services that can exceed 1Gbit/s. To ensure efficient in-house exchanges, the HAN has to move rapidly toward multi-Gigabit/s connections, in particular the wireless connectivity generally preferred by the customers. Current wireless systems have limited capacities, but new radio standards delivering data-rates up to 7Gbit/s are emerging. Nevertheless, as they address the unlicensed millimeter-wave band, from 57 to 66 GHz, their radio coverage is limited to a single room. Indeed, at such frequencies, the free-space losses are high and the waves do not cross the walls. This thesis proposes to solve this problem by means of the Radio over Fiber (RoF) technology. This consists in capturing the 60GHz radio signals emitted in one room, converting them into optical signals for transmission through optical fibers, and reemitting them in another room. Thus, several RoF transducers will be installed in the home and interconnected by a suitable optical infrastructure to create systems acting at the same time as repeaters and as distribution systems. From the viewpoint of the HAN market, such systems will be competitive only if they are low cost. As a consequence, this work focuses on direct modulation with direct detection (IM-DD) at Intermediate Frequency (IF). In other words, the 60GHz signal is down-converted at a lower frequency around 5GHz before the laser modulation and up-converted to 60GHz after the photodetection. Concerning the optical fiber, silica multimode fiber (MMF) is privileged as it allows the use of low cost and largely available optoelectronic devices working at 850nm.The thesis proposes different RoF architectures, from point-to-point interconnecting two rooms to multipoint-to-multipoint acting as logical buses. After an analog characterization of the optoelectronic components, the RoF link and the domestic cable, these architectures are designed, built and characterized step by step using OFDM modulation according to existing wireless 60GHz standards. Real-time transmissions between commercial devices have also been performed to validate these architectures. Moreover, advanced RoF infrastructures are proposed. First, the RoF systems can be easily improved if the access to their optical media is managed by the radio MAC layer. This approach is therefore studied showing its feasibility. Secondly, an optical system, seen by users as a premium product, has to support the legacy home services commonly used as well as the new ones that could emerge in the future. Thus, innovative multiservice and multiformat infrastructures conveying on a unique optical cable wired IP data, broadcast terrestrial or satellite television, the 60GHz wireless connectivity, and specific formats as HDMI signals are proposed and tested

FIP=Factory Instrumentation Protocol. On réalise un circuit intégré de communication pour le réseau FIP, projet national de communication entre automates réflexes, capteurs et actionneurs. Le circuit intégré est spécifié pour permettre soit la connexion de capteurs simples, soit la connexion de capteurs intelligents ou des automates de réseau. La conception de ce circuit intégré «à la demande» résulte d'une méthodologie originale. Cette méthodologie est orientée vers la conception de circuits VLSI de communication à partir d'une bibliothèque d'opérateurs flexibles, d'une part pour réduire le temps de conception, d'autre part pour donner la possibilité aux ingénieurs non spécialistes en conception de concevoir eux-mêmes leur circuit