Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Le temps dans les architectures de communication : application au réseau de terrain FIP
| 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 |
| 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 |
| Rapporteurs / Rapporteuses : Jean-Pierre Elloy, Guy Juanole |
Résumé
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