0% ont trouvé ce document utile (0 vote)
21 vues72 pages

Modélisation et vérification des protocoles

Transféré par

abdellaoui amal
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
21 vues72 pages

Modélisation et vérification des protocoles

Transféré par

abdellaoui amal
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Introduction

à la modélisation des
protocoles

1
Motivation
⚫ Les système de communication sont de plus en plus
complexes
– de plus en plus distribués, à temps réel et à processus multiples

⚫ Le nombre des produits informatique a accru d’une manière


exponentielle
⚫ Les systèmes sont exécutés dans un environnement hétérogène
• Les équipements conçus par différent constructeurs doivent être capables de
communiquer ensemble.
• Les standards de télécommunication ont largement augmenté

⚫ Le système de communication est diversifié


• Internet, communication de données, communication mobile
• Convergence des réseaux, interconnections & interopérabilité
2
Motivation
⚫ La vérification et validation des systèmes est devenue un défi
⚫ Pour assurer des produits logiciel avec une haute disponibilité, performance,
coût optimal, portabilité, changement et mise à jour.
⚫ Contrainte du temps
• Les nouveaux services et systèmes doivent être disponibles très rapidement
• Comment réduire le temps de vérification ?
⚫ Contrainte de qualité
• Comment peut on améliorer la qualité de vérification ?
• Les techniques informelles telle que l’apprentissage pour les tests de protocole sont
inadéquates
⚫ La génération et l’exécution d’un case study sont très coûteuses du
point de vue temps
• Nous tendons de rendre le processus de vérification moins coûteux et réutilisable

⚫ Conclusion: Conception formelle & vérification est une nécessité

3
Objectif du cours
⚫ Les principes de base de l’ingénierie des
protocoles
⚫ Modélisation et vérification des protocoles basées sur
les machines à états finis MEF
⚫ Tests théoriques et pratiques des protocoles

⚫ Maîtrise du système de télécommunication


⚫ Technique de test de conformité
⚫ Le4 bon langage de spécification
Prérequis
⚫ Protocoles et réseaux informatiques
⚫ Connaissance de
⚫ L’architecture des 7 couches du modèle OSI
et les concepts telles que service, interfaces..
⚫ Concepts de base des protocoles
• contrôle de flux,
• contrôle de l’erreur

5
Introduction générale

6
Système de télécommunication
⚫ Télécommunication(s) : la science de transmission de
l’information (mots, voix, images) à travers de longue
distance, sous forme de signaux éléctromagnetiques
(télégraphe, téléphone, radio, TV)

 communication à distance

⚫ Système : l’ajout permettant à l’implémentation


matérielle de déclencher la révolution informatique

⚫ Système de télécommunication : est la manière


d’assurer la communication à distance
7
Réseaux
⚫ Définition
⚫ Ensemble de systèmes informatiques autonomes
(noeuds) interconnectés
⚫ Les ressources et l’information sont accessibles,
indépendamment de leur localisation physique
⚫ Avantages
⚫ partage des ressources
⚫ traitements parallèles ou distribués
⚫ améliorer la fiabilité, disponibilité, et performance
⚫ Compromis
⚫ Complexité accrue
8
Réseaux de base

⚫ Forme basique des communications :


mémoire partagée  l’échange des messages

⚫ Les réseaux sont couplés librement


⚫ pas de mémoire partagée
⚫ applications effectuées sur chaque noeud ne coopèrent que s’ils
échangent des messages

9
Réseaux de base
⚫ Les réseaux se constituent de :
⚫ supports de transmission
⚫ les connecteurs e.g. hub/switch/routeur
• Interconnecter les supports de transmission,
contrôler la transmission

⚫ le logiciel de protocole se charge de


1. encoder et formater les données
2. corriger les problèmes

10
Réseaux de communication
⚫ Offrir une communication
⚫ fiable
⚫ sûre
⚫ efficace
d’une application à une autre

⚫ Détecter et corriger automatiquement


⚫ la corruption des données
⚫ perte des données
⚫ duplication
⚫ livraison non ordonnée

⚫ Trouver le chemin optimal de la source vers le


destinataire
⚫ techniques
11 de raccordement ou routage (Switching)
Systèmes de communication
⚫ Pour transférer les messages d’une manière
transparente, des systèmes de communication point à
point à travers le réseau sont offerts

application application

Système de communication

réseau

12
Systèmes de communication &
protocoles
⚫ Un systèmes de communication regroupe un ensemble de
protocoles afin d’offrir des services de communication

⚫ Le terme “Protocole” s’est fût utilisé par R. A. Scantlebury


et K. A. Baretlett en Angleterre en 1967 (pour une
procédure de communication de données)

⚫ C’est un accord sur l’échange de l’information dans un


système distribué.

13
Services, Protocoles, &
Services de communication
⚫ Service
⚫ activé par un fournisseur de service et appliqué par un ou plusieurs
utilisateurs
⚫ défini par un ensemble d’utilisateurs et de primitives (opérations)
⚫ chaque primitive est une interaction entre l’utilisateur et le fournisseur
⚫ Protocole
⚫ un ensemble de règles, format des données, et fonctions faisant
implanter un ensemble de services
⚫ l’utilisation du protocole est transparente pour l’utilisateur

⚫ Services de communication = une facilité de communication


14
Protocoles de communication

⚫ Protocole  langage :
⚫ Définit un format précis pour les messages valides : une
syntaxe,

⚫ Définit les règles de procédure pour l’échange de données:


une grammaire,

⚫ Définit un vocabulaire pour les messages valides qui


peuvent être échangés, avec leur signification: une
sémantique.

15
Protocoles de communication
⚫ Dans toutes les circonstances les règles doivent indiquer
sans ambiguïté ce qui est permit et ce qui est interdit

⚫ C’est une exigence difficile à réaliser dans la pratique

 Nécessité de créer un accord entre l’émetteur et le récepteur


à propos des règles des échanges

 Établissement des organismes standards internationaux


pour la conception, spécification et implémentation des
protocoles

16
Protocoles de communication
⚫ les standards des protocoles de communication
établissent des règles pour la communication entre des
entités de la même couche.
⚫ Les standards des protocoles de communication ne
mettent aucune contrainte sur les aspects locaux de
communication.
⚫ La communication entre les entités issues des couches
adjacentes, définit le service de communication.

⚫ Distinction typique entre les services et les protocoles du


fait que le protocole est normalisé alors que le service ne
l’est pas.
17
Conception et
description à couches

18
Conception à couches des
protocoles
⚫ Un protocole contient un grand nombre de
fonctionnalités

⚫ Un protocole pourrait être défini comme un seul


programme, mais ceci serait excessivement
complexe

⚫ Le manque de modularité rendrait aussi difficile


l’échange de modules préfabriqués entre
compagnies
19
Communication entre paires
⚫ Un manager de la compagnie A veut établir une
transaction avec le manager de la compagnie B:

⚫ Je veux acheter X pièces du produit P. Négociation


des prix, …doit être mise en place :

Manager A Manager B
Négociation
protocole

20
Fournisseur de service
⚫ Du moment que A et B ne sont pas dans la même place,
ils doivent être relier à un mécanisme de transport pour
transférer les PDUs (Protocol Data Unis) entre eux

Manager A Manager B
PDUs
Service Data Units Service Data Units
SDUs SDUs

Service Provider

21
Couches
• Le FS lui même est implémenté en communicant certaines entités entre elles
(SDU)…Il est relié à l’assistant du manager qui écrit des lettres.
• Ces lettres contiennent le texte simple fourni par les managers, incorporé dans
un autre texte comme : Date… Cher Monsieur…Cordialement.
• Le message final passera par la suite au fournisseur de service messagerie

Manager A Manager B

Service Data Units PDUs Service Data Units

Assistant A Assistant B

Service Data Units Service Data Units

Fournisseur de service
22
Et encore des couches
⚫ L’interface de l’assistant est directement reliée avec les secrétaires. Ces
dernières insèrent la lettre dans une enveloppe sur laquelle est marqué
l’adresse et la passe au niveau inférieur qui est le fournisseur de service

Manager A Manager B

Service Data Units PDUs Service Data Units

Assistant A Assistant B

SDU SDU
Secrétaire A Secrétaire B
SDU SDU
Fournisseur de service
23
Ajout d’en-têtes (encapsulation)

Manager A

en-têtes1Payload PDUs

Assistant A

en-têtes 2 en-têtes1 Payload

Secrétaire A
en-têtes 3 en-têtes 2 en-têtes1Payload

Fournisseur de service

24
Comment choisir les couches?
⚫ Plusieurs critères du génie logiciel peuvent nous
aider à trouver la bonne façon de décomposer un
protocole complexe en couches

⚫ De point de vue de la vérification, le critère le plus


important est que les interfaces de service puissent
être décrites de façon beaucoup plus simple que la
somme des protocoles sous-jacents

25
Modèle OSI

26
Modèle OSI
⚫ Modèle de référence standardisé pour la spécification et
implémentation des protocoles, conçu par l’ISO en 1983

1. Modèle de référence de base


• une base commune pour le développement des standards OSI
• fonctionnalités : modèle de base, architecture de la sécurité,
nommage et adressage,

2. Spécification des services


• définir les services offerts par les systèmes OSI d’une manière abstraite

3. Spécification des protocoles


• définir les fonctionnalités requises pour fournir un service OSI particulier

27
Modèle de référence OSI

⚫ Le modèle OSI introduit 3 concepts


1. Services : ce que la couche réalise
2. Interface : indique comment accéder aux services
(communication des couches)
3. Protocoles : moyens d’achever les services

28
Modèle du système OSI

⚫ Système OSI -> interconnections des systèmes


ouverts compatibles,
⚫ divise les communications en éléments plus petits et
plus agréables à comprendre

⚫ uniformise les éléments du réseau afin de permettre le


développement multiconstructeur.

⚫ modifications apportées à une couche n'affectent pas


les autres couches.

29
Modèle de référence OSI
⚫ OSI : Open System Interconnection

Application
Les services d’application
sont fournis par l’infrastructure Présentation
en couches supérieure
Session
Transport
Les services d’égal à égal
sont fournis par l’infrastructure Réseaux
en couches inférieure
Liaison de données

Physique

30
Modèle de référence OSI

31
Couches OSI

32
Modèle de référence OSI
⚫ Chaque couche dépend du service fourni par la
couche OSI inférieure.

⚫ Pour fournir un service, la couche inférieure utilise


l’encapsulation pour placer les PDU de la couche
supérieure dans son champ de données.

⚫ Elle ajoute ensuite les en-têtes et les en-queues de


PDU nécessaires à l’exécution de sa fonction.

33
Modèle de référence OSI
⚫ Par la suite, à mesure que les données traversent
les couches du modèle OSI, d’autres en-têtes et
en-queues sont ajoutés.

⚫ Dès que les couches 7, 6 et 5 ont ajouté leurs


informations, la couche 4 en ajoute d’autres. Ce
regroupement des données, ou unité de données
de protocole de couche 4, est appelé segment.

34
Modèle de référence Open
Systems Interconnection

35
Modèle de référence Open
Systems Interconnection

36
Entités OSI

N+1-Protocol Entity N+1-Protocol Entity

N+1-PDUs
N-SDUs N-SDUs

N-SAP N-SAP

N-Service Provider

SAP: Service Access Point

37
Entités et unité de données OSI

N+1Protocol Entity N+1Protocol Entity


N+1 PDUs
N SDUs N SDUs

N Protocol Entity N Protocol Entity


N PDUs
N-1 SDUs N-1SDUs

Service Provider

38
Hiérarchie des protocoles :
principe

(N+1) Entité locale (N+1) Entité locale


(N) utilisateur (N) utilisateur
(N) SAP
(N) SDUs (N) Service de spécification (N) SDUs
des protocoles
(N) Entité = local (N) Entité = local
(N) Fournisseur de service (N) Fournisseur de service
=(N-1) utilisateur =(N-1) utilisateur

(N-1) SAP
(N-1) SDUs (N-1) SDUs

N-1 Fournisseur de service global

39 N Fournisseur de service global


Primitive – service - hiérarchie
des protocoles
⚫ Un service est formellement spécifié par un ensemble de primitives (opérations)
disponibles à l’utilisateur sous forme de messages entre les couches
adjacentes.

Primitive signification
Couche N+1 Couche N+1 Demande Une entité réclame le service pour
assurer certains travaux
1 4 3 2
Couche N Couche N Indication Une entité est informée sur une action
Réponse Une entité veut répondre à une action

Confirmation La réponse à une demande antérieure


1. [Link] est retournée
2. [Link]
3. Service.réponse
4. [Link]
Service=connecter/données/deconnecter
40
Service Data Units (SDUs)
⚫ Request : Une entité sollicite un service
⚫ Indication : Une entité est informée d'une demande de service
⚫ Reponse : Une entité a rendu le service, si possible
⚫ Confirmation : Une entité est informée que le service a été rendu

SAP SAP

REQUEST INDICATION Service


non confirmé
Service
confirmé
CONFIRMATION REPONSE

41
Exemple: Service de la couche
Transport
A B A B
T-ConReq T-ConReq
T-ConInd T-ConInd
T-ConResp T-DiscReq
T-ConConf T-DiscInd

Connexion avec Succès A→B Connexion refusée par B

A B A B
T-ConReq T-DatReq
T-DatInd

T-DiscInd

Tentative de connexion de A refusée Transfert Données


par le fourniss. de service A→B

42
A et B sont les SAPs des entités de protocoles A et B
Service couche transport:
déconnection
A B
A B
T-DiscReq
T-DiscReq T-DiscReq
T-DiscInd

Les deux décident


A décide de
de déconnecter
déconnecter
(collision)

A B
T-DiscInd
T-DiscInd

Le fournisseur de
Service décide de
déconnecter
43
Protocoles et interfaces
⚫ Il y a une interface logique entre la couche N et la
couche N-1
SAP N

Protocole Couche N

Interface
entre couche N et couche N-1

44 SAP N-1
Protocoles et interfaces
⚫ L’interface
SAP N
⚫ Prend les unités de protocoles (PDUs)
générées par le protocole N et les encapsule
pour former des unités de service(SDUs)
dirigées au SAP N-1 Protocole Couche N

⚫ Prend les unités de service générées


(SDUs) par le protocole N-1 et les décapsule Interface
entre couche N et couche N-1
pour générer des unités de protocole (PDUs)
dirigées au protocole N

SAP N-1

45
Protocoles et interfaces
⚫ Le protocole de couche N génère et répond aux unités de
service (SDUs)
⚫ allant au
⚫ provenant de SAP N

⚫ Il génère et répond aussi aux unités de protocoles (PDUs)


⚫ allant au
⚫ provenant de l’interface avec SAP N-1

⚫ Dans quelques cas, il peut aussi traiter directement des unités


de service
⚫ [Link]. si une couche N trouve qu’il n’y a pas de
connexion à travers la couche N-1, alors le protocole N
peut déclencher directement le service d’ouverture de
46connexion N-1
Exemple: unités traitées par le protocole
transport, phase connexion
T Service Primitives T Protocol Primitives N Service Primitives
(T-SDU) (T-PDUs) (N-SDUs)

N-ConReq, outgoing
T-ConReq CR
If N-Connection must be
incoming incoming/outgoing
established

T-ConInd N-DatReq
outgoing Incoming, outgoing

T-ConResp
incoming

N-ConConf, incoming
T-ConConf CC
If N-Connection must be
outgoing incoming/outgoing
established
47
La couche transport et ses unités de
données pour la phase connexion
Unités service couche transport:
Ce schéma s’applique à
toutes les couches T-SAP T-ConReq, T-ConResp,
T-ConInd, T-ConConf

Protocole Couche T
N-ConReq
N-ConConf CR, CC
Interface
Avec couche réseau:
Encapsulation, décapsulation

Unités de service couche Réseau


N-SAP CR et CC sont transmis vers des
N=Network=Réseau couches inférieures encapsulés dans
N-DatReq¸ N-DatInd, [Link]. N-
48 DatReq(CR)
Idéalement, la transmission des
PDU est directe

T-ConReq T-ConInd

T-SAP CR T-SAP
Protocole Protocole
Transport Transport

49
En réalité, elle passe à travers le
service sous-jacent
T-ConReq T-ConInd

T-SAP T-SAP
Protocole Protocole
Transport Transport

CR CR

Interface Interface

N-DatReq(CR) N-DatReq(CR)
N-SAP N-SAP
Service Réseau (Network)

Il est important d’observer que les primitives d’un protocole sont


50 transmises comme données au niveau sous-jacent
Connexion Réseau
⚫ Dans la couche Transport, nous pouvons avoir plusieurs
connexions

⚫ Les demandes de connexion Transport sont normalement


reliées à la couche Réseau encapsulées comme
données comme suit:
N-DatReq(CR(params) params)

⚫ Mais à fin que ceci soit possible, il faut qu’il y ait une
connexion au niveau Réseau…

⚫ Donc la 1ère fois le protocole transport doit créer une


connexion Réseau en invoquant directement une N-
ConReq
51
Relation entre SDU et PDU
⚫ Dans le cas le plus simple, une couche transmet les
données telles quelles à la couche adjacente, après
avoir ajouté ou enlevé ses propres informations.

⚫ Mais souvent nous avons :


⚫ Segmentation/réassemblage
⚫ Groupage/dégroupage
⚫ Concaténation/séparation

52
Pourquoi segmentation,
groupage, etc.
⚫ Les entités de données doivent être organisées selon les
besoins des protocoles dans les différentes couches

⚫ [Link]. dans les premières 3 couches, il est pratique d’avoir


des courtes unités d’information (paquets, trames…) car les
protocoles se préoccupent de
⚫ Détection et correction d’erreurs : pour pouvoir localiser
l’erreur et au besoin retransmettre seulement l’information
qui a été touchée par l’erreur
⚫ Multiplexage des canaux : plusieurs connexions
partagent les canaux, donc on le donne à chaque
connexion
53
pour un court instant seulement
Pourquoi segmentation,
groupage, etc.
⚫ Après la couche transport, il est plus convenable
de travailler avec des unités d’information qui ont
une signification logique
⚫ La couche transport elle même transmet aux niveaux
supérieurs des chaînes d’octets de longueur arbitraire,
mais ayant une valeur logique
• Une commande de transaction, un message
électronique, une interrogation SQL…

54
Encapsulation simple

▪ SAP = Service Access Point


▪ IDU = Interface Data Unit
▪ SDU = Service Data Unit
IDU ▪ ICI = Interface Control Information
▪ PDU = Protocol Data Unit
Couche N+1 ICI SDU
▪ PCI = Protocol Control Information
i.e. Header

SDU
Interface
Les entités de la couche N
Couche N ICI SDU PCI SDU échangent NPDUs dans leur
protocole de la couche N

N-PDU

55
Segmentation/réassemblage
⚫ Fonction d'une couche(N) mettant en correspondance
une SDU(N) avec plusieurs PDU(N)

⚫ Adaptation de la taille des données (N-SDU) aux


caractéristiques de transmission (N-PDU)
⚫ Problème : identification des PDU transportant les
données constituant la SDU.
⚫ Exemple : le TCP offre à la couche supérieure une
chaîne de données qui lui est livrée sous forme de
datagrammes par la couche IP
⚫ Exemple pareil dans la couche transport OSI

56
Segmentation/réassemblage

57
Groupage/dégroupage
⚫ Fonction d'une couche(N) mettant en correspondance
plusieurs SDU(N) avec une seule PDU(N)

⚫ Adaptation de la taille des données (N-SDU) aux


caractéristiques de la transmission (N-PDU)
⚫ Diminution du surcoût (overhead)
⚫ Problème : identification des SDU transportées.
⚫ Exemple : le tamponnage des données sous TCP

58
Groupage/dégroupage

59
Concaténation/séparation
⚫ Fonction d'une couche (N) mettant en correspondance
plusieurs PDU(N) avec une seule SDU(N)
⚫ Adaptation de la taille des données aux
caractéristiques du service (N-SDU)
⚫ Diminution du surcoût (overhead)
⚫ Problème : identification des PDU transportées
⚫ Exemple : La couche Session OSI divise les unités
de transport en sessions, qui sont les unités de
temps que l’usager décide de dédier à une
connexion
60
Concaténation/séparation

61
Modèle de service et protocole
⚫ A chaque couche, un ou plusieurs services sont offerts
⚫ un service permet au niveau supérieur adjacent de
communiquer ou à l’utilisateur d’émettre et recevoir les données
à travers le réseau

⚫ Pour des mesures de protection, les entités d’une couche


forment un protocole qui
⚫ défini les règles/formats pour la collaboration entre les entités
⚫ défini l’interopérabilité entre les entités en utilisant le service
offert par la couche inférieure à l’exception de la couche
physique

62
Modèle de service et protocole
⚫ Service visible uniquement à la couche supérieure
adjacente

⚫ Service d’implémentation du protocole est cachée


⚫ Avantage: le protocole peut être remplacer par un
autre sans pour autant affecter la couche au-dessus
s’il fournit le même service

⚫ La structure de l’OSI a séparé les spécifications des


services de celles des protocoles

63
Services en mode connecté et
non connecté
⚫ Service en mode connecté fonctionne comme le téléphone
⚫ connexion établie : réserver le chemin avant d’émettre le message
⚫ échange de données : pas besoin d’une adresse
⚫ connexion terminée

⚫ Service en mode non connecté est similaire au système postal


⚫ un message est confié au système : adresse complète sur chaque paquet
⚫ il navigue à travers des chemins afin d’atteindre la destination
⚫ référé par service datagramme

⚫ Autres services fiables en mode non connecté :


⚫ Service datagramme avec accusés de réception
⚫ Service demande/réponse
64
Types de services
Services

Mode connecté Datagramme

Fiable Non fiable Fiable Non fiable


(voix numérisée) (EMAIL)
Séquence Accusé de Demande
de messages Flux binaire
Login à distance réception /réponse

Retourner un Modèle
Messages Messages accusé de client/serveur
limités non limités réception Requête BD

65
Comparaison
⚫ Le mode non connecté est beaucoup plus simple à
programmer et gérer, il est beaucoup plus efficace.
⚫ Il laisse beaucoup de responsabilités aux couches
supérieures et à l’usager
⚫ Sur mediums très fiables ([Link]. Fibres optiques) avec
commutation très efficace, en pratique le mode sans
connexion peut fournir une QoS très semblable à celle du
mode connecté
⚫ Pour quelques apps, [Link]. multimédia, il n’est pas essentiel
que tous les paquets soient reçus

⚫ D’où 66
la popularité du protocole IP
Modèle à couche en OSI et en
TCP/IP
⚫ En TCP/IP les couches Présentation et Session
sont absentes (laissées à l’application d’usager)
⚫ Le modèle OSI met l’accent sur les deux concepts
de service et protocole
⚫ La description du service étant souvent beaucoup plus
simple que la description des protocoles

⚫ Le modèle TCP/IP met l’accent sur le concept de


protocole
⚫ Les primitives de services ne sont pas précisément
décrites
⚫ Il y a seulement le concept de PDUs
⚫ En OSI la déf du modèle a précédé la déf du protocole,
pour TCP/IP c’est le contraire
67
Organisations des
standards

68
Organisations des standards
⚫ Plusieurs corps de standardisation sont actifs dans
le domaine de la communication
⚫ Exemples
⚫ NIST : National Institute of Science and Technology
⚫ FTSC : the Federal Telecommunications Standards
Committee
⚫ IEEE : Institute of Electrical and Electronics
Engineers
⚫ Les deux standards les plus importants sont l’ISO et
CCITT.

69
ISO : International Standards
Organization
⚫ L’ISO est organisé en comités techniques (TC)
⚫ Chaque TC est organisé en sous comités (SC) et groupe
de travails (WG).
⚫ Exemple :
⚫ TC97: standards pour les ordinateurs,
⚫ TC97/SC6 concerne la télécommunication
⚫ TC97/SC6/WG1 : porte sur les standards des protocoles
de liaison de données.

⚫ Contrairement à CCITT, l’ISO n’est pas une organisation


conventionnelle, les membres intervenants sont bénévoles
70
CCITT
⚫ CCITT : Comité Consultatif International Télégraphique et
Téléphonique

⚫ C’est une partie de l’ITU International Télécommunications Union.


⚫ une organisation qui a été formée en 1956 par l’union de deux
entités séparées : CCIT (telegraph systems) et le CCIF (telephone
systems).

⚫ La CCITT est organisée en groupes d’études (SG) et réunions de


travails (working parties WP)
⚫ SGVII, travail sur les réseaux de communication des données
⚫ SGVII/WP2 travail sur les interfaces.
⚫ Les meilleurs recommandations des protocoles publiées par
CCITT sont X.21 et X.25.
⚫ X.21 a eu l’honneur d’être le premier protocole de référence
71
validé par l’analyse d’atteignabilité exhaustive
IFIP :International Federation for
Information Processing
• Parmi ses fonctionnalités : pont reliant les travaux développés par
CCITT et ISO
⚫ IFIP est organisé en comités techniques (TC)
⚫ Chaque TC est divisée en groupes de travail (WG).

⚫ TC6, communication des données


⚫ WG 6.1 Études de l’Architecture et protocoles pour les réseaux
informatiques
⚫ La standardisation des protocoles n’a pas résolu le problème de
conception de ces derniers
⚫ Quel est l’intérêt d’utiliser un standard international incomplet avec
des défauts
⚫ Les standards rencontrent le même problème que les autres
concepteurs de protocoles
⚫ La conception par une comité ne garanti pas forcement le meilleur
résultat72

Vous aimerez peut-être aussi