Thèse soutenue

Le temps dans les architectures de communication : application au réseau de terrain FIP

FR  |  
EN
Auteur / Autrice : Pascal Lorenz
Direction : Jean-Pierre Thomesse
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1994
Etablissement(s) : Vandoeuvre-les-Nancy, INPL
Ecole(s) doctorale(s) : École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1992-....)
Partenaire(s) de recherche : Laboratoire : Centre de recherche en informatique (Vandoeuvre-lès-Nancy, Meurthe-et-Moselle)
Jury : Président / Présidente : Jean-Paul Haton
Rapporteur / Rapporteuse : Jean-Pierre Elloy, Guy Juanole

Résumé

FR

Les RLI (Réseaux Locaux Industriels) permettent de faire communiquer les divers équipements d'un système automatisé. Il existe plusieurs niveaux de RLI parmi lesquels on trouve les réseaux de terrain. Ces derniers offrent la possibilité de mettre en œuvre des échanges d'informations nécessitant de respecter de fortes contraintes de temps. Différentes techniques de spécification peuvent être utilisées pour exprimer les contraintes de temps dans les systèmes de communication. Nous avons choisi de retenir l'algèbre d'intervalles qui permet de représenter sous forme de fenêtres temporelles les différentes contraintes de temps intervenant dans la communication et d'exprimer les différentes relations existantes entre ces fenêtres temporelles. Pour exprimer les contraintes de temps intervenant dans la communication entre deux entités, nous avons introduit des fenêtres temporelles de production, d'émission, de réception et de consommation, ainsi que pour représenter la durée de vie des variables. Un ensemble de règles permettant de relier les différentes fenêtres temporelles entre elles ont été développées. À partir de ces règles, nous avons déduit une machine d'états générale qui génère des statuts temporels permettant de savoir si les contraintes de temps imposées à une étape de la communication ont été respectées ou non. Cette dernière a été validée et implantée sous TCP/IP. Nous avons ensuite montré comment les mécanismes temporels introduits permettent de retrouver et de compléter les différents mécanismes temporels présents dans la couche application du réseau de terrain FIP