Formalisation et vérification de l'interopérabilité dans les systèmes de communication - Université de Lorraine Accéder directement au contenu
Thèse Année : 1995

Formalisation and verification of interoperability in communication systems

Formalisation et vérification de l'interopérabilité dans les systèmes de communication

Résumé

Not available
Cette thèse traite de la validation de la propriété d'interopérabilité entre un ensemble d'équipements dans les systèmes et applications distribués temps réel. Contrairement au peu de travaux qui ont été déjà menés sur le sujet et qui proposent une validation basée sur la technique de test sur plate-forme, nous avons proposé une méthodologie de validation basée sur une technique de vérification. Etant donné un système composé d'un ensemble d'équipements avec leurs caractéristiques de conformité et un ensemble de processus d'application distribués, la validation de la propriété d'interopérabilité du système par notre approche revient à construire dans un formalisme mathématique le modèle du système et à définir la relation d'interopérabilité en fonction des propriétés régissant la communication puis de vérifier la correction de la relation dans le modèle. L'étude de la problématique a permis de décomposer l'interopérabilité des systèmes de communication selon le modèle OSI et d'identifier quatre classes de caractéristiques des équipements et donc quatre types d'interopérabilité : en services, en protocoles, en ressources et en performances temporelles. L'approche a été concrètement mise en œuvre pour la vérification de l'interopérabilité de services et temporelle à propos d'un système de communication selon le modèle producteur/distributeur/consommateurs. Le système est modélisé et la relation est décrite par des techniques formelles adaptées aux deux types d'interopérabilité
Fichier non déposé

Dates et versions

tel-01751555 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01751555 , version 1

Accès intranet

Citer

Mohand Lyazid Benkhellat. Formalisation et vérification de l'interopérabilité dans les systèmes de communication. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1995. Français. ⟨NNT : 1995INPL001N⟩. ⟨tel-01751555⟩
58 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More