Brevet FR2690803A1 — publié le 19931105

i La présente invention concerne un appareil de simulation de protocole permettant de simuler un protocole de communication en cours de conception au moment de la mise au point d'une application de logiciel de communication, et un procédé associé. Lorsqu'on vérifie un protocole (c'est-à-dire une procédure de communication nécessaire dans les processus qui sont les éléments fonctionnels d'un système de télécommunications) au cours de la mise au point d'une application de logiciel de communication, il est possible de déterminer, en analysant statiquement la description du protocole, des défauts tels qu'un blocage et un état d'invalidation de réception. Toutefois, lorsqu'on vérifie dynamiquement un protocole en tenant compte des temps de transmission (par exemple, lorsqu'on vérifie le temps de traitement d'une tâche, ou bien dans le cas o un signal est émis par l'intermédiaire d'une voie), il faut effectuer un essai "en situation" à l'aide d'un système réel ou d'un système de simulation après que le protocole a été conçu et codé Ainsi, la vérification dynamique demande beaucoup de temps et est coûteuse Dans ce cas, si le protocole considéré contient une erreur, il faut parfois reformuler le protocole depuis le début. Le fait que cette vérification dynamique soit obligatoire rend la succession des opérations de conception des protocoles assez complexe. Comme précédemment décrit, la vérification dynamique d'un protocole de communication (c'est-à-dire la vérification associée à l'élément temps) implique divers problèmes Cest pourquoi il a été jusqu'ici assez difficile de simuler un tel protocole de manière efficace. L'invention a été réalisée du point de vue ci-dessus indiqué. Un premier but de l'invention est de produire un appareil de simulation de protocole permettant d'effectuer automatiquement la vérification dynamique d'un protocole sans qu'il faille pour autant faire nécessairement appel à un environnement réel ou un environnement de simulation, de manière à améliorer remarquablement l'efficacité du travail de vérification du protocole. Un deuxième but de l'invention est de produire un appareil de simulation de protocole permettant de visualiser de manière conviviale une erreur apparaissant au cours du processus de vérification dynamique du protocole, de manière à pouvoir en analyser facilement la cause. L'invention propose également un procédé de simulation permettant de vérifier dynamiquement un protocole de communication. Pour réaliser les buts ci-dessus énoncés, il est proposé selon l'invention un appareil de simulation de protocole permettant de vérifier dynamiquement un protocole de communication, lequel appareil comprend un premier moyen d'entrée permettant d'introduire un diagramme relationnel de processus, le diagramme relationnel de processus étant destiné à représenter graphiquement au moins une pluralité de processus et les voies qui les relient, un deuxième moyen d'entrée servant à introduire au moins une capacité de transmission de chacune des voies, un temps de transmission de signal de chacune des voies et un temps de traitement de tâche global de la simulation sur le diagramme relationnel des processus de façon à produire un diagramme d'environnement de simulation, un troisième moyen d'entrée servant à introduire au moins plusieurs protocoles de communication relatifs aux processus, un moyen de production et de description de protocoles de production servant à produire un diagramme de transitions d'états pour chacun des processus selon les protocoles de communication, un moyen d'exécution de simulation servant à exécuter une simulation selon le diagramme de transitions d'états, à contrôler la capacité de transmission, le temps de transmission de signal et le temps de traitement de tâche global, et à détecter une erreur apparaissant pendant la simulation, et un moyen d'affichage servant à afficher le résultat d'exécution du moyen d'exécution de simulation sur le diagramme d'environnement de simulation et sur le diagramme de transitions d'états. Selon l'invention, l'environnement de simulation, par exemple la capacité de transmission d'une voie reliant des processus, le temps de transmission de signal de la voie, le temps de traitement de tâche d'un processus et le temps imparti, est préétabli Dans l'environnement de simulation, le déroulement du protocole de communication est simulé en fonction du diagramme de transmis- sions d'états Pendant l'exécution de la simulation, si des erreurs apparaissent, par exemple un état de transition inexécutable et un débordement de voie, elles sont détectées et affichées sur le moyen d'affichage. Ainsi, selon l'invention, il est possible de vérifier automatiquement un protocole sans devoir faire appel à un environnement réel particulier ou un environnement de simulation, de sorte qu'on peut améliorer de façon notable l'efficacité du processus de vérification du protocole. La description suivante, conçue à titre d'illustration de l'invention vise à donner une meilleure compréhension de ses caractéristiques et avantages; elle s'appuie sur les dessins annexés, parmi lesquels: la figure 1 est un schéma fonctionnel montrant la structure d'un appareil de simulation de protocole selon un mode de réalisation de l'invention; la figure 2 est un schéma simplifié montrant un exemple d'un diagramme relationnel des processus d'un système de télécommunications décrit S par une partie de description de diagramme relationnel des processus; la figure 3 est un schéma simplifié montrant l'environnement de simulation qui est établi par une partie d'établissement d'environnement de simulation selon le diagramme relationnel des processus de la figure 2; les figures 4 (a) et 4 (b) sont des schémas simplifiés montrant des protocoles de communication décrits par une partie de description de protocoles; les figures 5 (a) et 5 (b) sont des schémas simplifiés montrant des exemples de diagrammes de transitions d'états de processus Pl et P 2 composés par une partie de production simplifiée de transitions d'états; la figure 6 est un organigramme montrant la procédure de traitement du système global de l'appareil de simulation de protocole de la figure 1; la figure 7 est un organigramme montrant la procédure de traitement d'un événement pour chaque processus de la figure 6; la figure 8 est un organigramme montrant la procédure de traitement d'une voie; la figure 9 est un organigramme montrant la procédure de traitement d'une file d'attente du type FIFO (premier entré, premier sorti); la figure 10 est un schéma simplifié montrant l'affichage du résultat de vérification dans le cas d'un débordement de voie; la figure 11 est un schéma simplifié montrant un diagramme de transitions d'états dans lequel le débordement de voie de la figure 10 apparaît; la figure 12 est un schéma simplifié montrant la procédure de traite- ment entre processus selon le diagramme de transitions d'états de la figure 11; la figure 13 est un schéma simplifié montrant l'affichage du résultat de vérification dans le cas d'un état de transition inexécutable; la figure 14 est un diagramme de transitions d'états dans lequel l'état de transition inexécutable de la figure 13 apparaît; la figure 15 est un schéma simplifié montrant la procédure de traitement entre processus selon le diagramme de transitions d'états de la figure 14; la figure 16 est un schéma simplifié montrant l'affichage du résultat de vérification dans le cas o un état de blocage a lieu; la figure 17 montre le diagramme de transitions d'états dans lequel le blocage de la figure 16 apparaît; la figure 18 est un schéma simplifié montrant la procédure de traitement entre processus selon le diagramme de transitions d'états de la figure 17; la figure 19 est un schéma simplifié montrant l'affichage du résultat de vérification dans le cas d'un état de réception non spécifié; la figure 20 est un diagramme de transition d'état dans lequel l'état de réception non spécifié de la figure 19 apparaît; et la figure 21 est un schéma simplifié montrant la procédure de traitement entre processus selon le diagramme de transitions d'états de la figure 20. On va maintenant décrire un mode de réalisation de l'invention en se reportant aux dessins annexés. La figure 1 est un schéma fonctionnel montrant la structure générale d'un appareil de simulation de protocole selon un mode de réalisation de l'invention. Sur cette figure, le numéro de référence 1 désigne le corps principal de l'appareil Le numéro de référence 2 désigne une unité d'entrée, par exemple un clavier Le numéro de référence 3 désigne une unité d'affichage, par exemple un tube à rayons catodiques (CRI) Le numéro de référence 4 désigne une unité de mémorisation externe (pour base de données), par exemple une unité de disquette. Dans le corps principal de l'appareil, le numéro de référence 5 désigne une partie de description des relations entre processus, qui produit un diagramme relationnel des processus en fonction des données qui sont introduites par l'utilisateur Le numéro de référence 6 désigne une partie de description de protocole qui décrit un protocole de communication selon les données introduites par l'utilisateur Le numéro de référence 7 désigne une partie de vérification statique de protocole qui vérifie automatiquement (et logiquement) un protocole de communication décrit par la partie 6 de description de protocole Le numéro de référence 8 désigne une partie de production de diagramme de transitions d'états, qui compose automati- quement un diagramme de transitions d'états en fonction du protocole qui a été conçu Le numéro de référence 9 désigne une partie de production de code source qui produit automatiquement un code source en fonction du diagramme de transitions d'états qui a été composé Le numéro de référence 10 désigne une partie d'établissement d'environnement de simulation qui établit l'environnement de simulation nécessaire à la vérification dynamique d'un protocole de communica- tion en fonction des données qui ont été introduites par l'utilisateur Le numéro de référence 11 désigne une partie d'exécution de simulation qui vérifie dynamique- ment un protocole de communication dans un environnement de simulation prédéterminé en fonction d'un diagramme de transitions d'états Le numéro de référence 12 désigne une partie de commande d'affichage qui affiche une situation de simulation courante, par exemple le diagramme de transitions d'états d'un protocole qui est en cours de simulation, un environnement de simulation, une position d'erreur du protocole, et le contenu de l'erreur, de façon que l'utilisateur puisse facilement comprendre la situation. La figure 2 est un schéma simplifié montrant un exemple d'un diagramme relationnel des processus d'un système de télécommunications Le diagramme relationnel des processus a été décrit par la partie 5 de description de diagramme relationnel des processus Dans le diagramme relationnel des processus, les cercles (Pi, P 2) représentent des processus L'utilisateur est présent à l'extérieur de chaque processus Les repères fléchés qui relient l'utilisateur et chaque processus et les processus d'entre eux représentent des voies (Pol, P 10, P 20, P 02 et P 12). La figure 3 est un schéma simplifié montrant un environnement de simulation qui a été établi par la partie 10 d'établissement d'environnement de simulation en fonction du diagramme relationnel des processus L'environnement de simulation comporte la capacité de transmission de chaque voie (capacité), le temps de transmission du signal entre deux voies (minuterie), le temps fixé de traitement de tâche, soit T (= 0,01 s), et l'unité de temps L'unité de capacité de transmission des voies est le nombre de messages. En même temps que le contenu de cet environnement, le temps de traitement de tâche global (Ta) de la simulation est affiché sur l'écran de l'environ- nement de simulation De plus, au titre de gestionnaire de processus, soit PM, le temps de traitement de tâche de chaque processus (PTIME), l'état d'événement attendu (WAM, et le temps de la minuterie (non représenté sur la figure) sont affichés sur l'écran de l'environnement de simulation Ces éléments sont remis à jour par la partie 11 d'exécution de simulation pendant le processus de simulation. Les figures 4 (a) et 4 (b) sont des schémas simplifiés montrant des protocoles de communication décrits par la partie 6 de description de protocole. Ces figures montrent, suivant le déroulement du temps, l'échange des signaux et les différents traitements effectués en relation avec les processus Pl et P 2. Elles présentent des exemples simples, dont la signification apparaîtra plus clairement en liaison avec les figures suivantes, notamment les figures 5 (a) et (b) Les symboles rectangulaires désignent des états de traitement (émission, réception, etc) et les symboles hexagonaux (WHILE, IF) représentent des états conditionnels portant sur les valeurs des paramètres S et RECEIVEI; parmi les messages, CALL correspond à une demande d'appel, A et B sont des messages échangés, ACK indique un accusé de réception, QUIT correspond à la fin de la communication. Les figures 5 (a) et 5 (b) sont des schémas simplifiés montrant des exemples de diagrammes de transitions d'états des processus Pl et P 2, lesquels diagrammes sont automatiquement composés par la partie 8 de production de diagramme de transitions d'états Sur ces figures, un symbole ovale (par exemple, le symbole à) représente l'état d'un processus Un symbole rectangulaire (par exemple, le symbole i) représente le traitement d'une tâche De plus, un symbole concave (par exemple, le symbole c) représente un traitement de réception de signal Un symbole convexe (par exemple, le symbole d) représente un traitement d'émission de signal En outre, chaque symbole d'émission/réception présente la description de son contenu à l'aide d'un nom de processus (nom de signal) Un processus ne possédant pas de nom de processus représente un traitement de communication avec l'environnement extérieur Un symbole rectangulaire long (par exemple, le symbole Z) représente un état de branchement conditionnel. Ces figures reprennent du point de vue du traitement et dans un contexte plus général le protocole conçu et décrit par les figures 4 (a) et 4 (b) Les mêmes paramètres y sont employés, et, en outre: IDLE, qui vaut pour "état initial"; ACK et NCK, pour accusé de réception; RECEIVE, pour traitement de réception. On note de plus que, la grandeur "i'T, par exemple, associée à un symbole de traitement de tâche (le symbole i) représente le temps que demande le traitement de la tâche Par exemple, "T 0 = 20 T", qui est associé à un symbole de réception e sur la figure 5 (a) représente un temps imparti (ne devant pas être dépassé) Ces temps de traitement de tâche et temps impartis sont établis par la partie 10 d'établissement d'environnement de simulation. Lorsqu'une simulation est exécutée, le diagramme d'environnement de simulation et le diagramme de transitions d'états sont affichés en même temps. On va maintenant décrire le fonctionnement de l'appareil de simulation de protocole selon l'invention. La figure 6 est un organigramme montrant la procédure de traitement d'ensemble du système La partie 11 d'exécution de simulation interprète chaque symbole sur le diagramme de transitions d'états pour chaque processus et exécute un traitement d'événement correspondant (à l'étape 602) Toutefois, préalablement, la partie 11 d'exécution de simulation a vérifié l'état d'événement attendu pour chaque processus (à l'étape 601) Ce n'est que lorsque l'état d'événement attendu de chaque processus n'est ni ll'état initial (IDLE)", ni l'état de signal interne attendu ( 1)", que la partie 11 d'exécution de simulation exécute ce traitement d'événement. Après l'étape 602 (à l'étape 603), l'organigramme fait effectuer le traitement du signal pour toutes les voies et toutes les files d'attente (FIFO), puis revient à l'état d'attente ( 601). La figure 7 est un organigramme montrant la procédure de traitement d'événement pour chaque processus Le traitement d'événement de chaque processus est exécuté lorsque le temps de traitement de tâche de chaque processus (PTIME) est égal au temps de traitement de tâche global (Ta) de la simulation (à l'étape 701). La partie 11 d'exécution de simulation vérifie le type de l'événement (à l'étape 702) Lorsque la partie 11 d'exécution de simulation a détecté un événement de "réception de signal externe" ou un événement de "détermination de condition interne (branchement de transition d'état)", elle affiche tous les états de branchement disponibles afin de guider l'utilisateur dans son choix (à l'étape 703). Ensuite, la partie 11 d'exécution de simulation exécute le traitement de l'événement suivant (à l'étape 704) et renvoie la commande à l'état 702. A l'étape 702, lorsque la partie 11 d'exécution de simulation a détecté un événement de "réception de signal interne", elle vérifie l'état courant de la file d'attente FIFO (premier entré, premier sorti) (à l'étape 705) Lorsque la partie 11 d'exécution de simulation a déterminé que la file d'attente FIFO emmagasinait un signal correct, elle obtient le signal de la part de celle-ci (à l'étape 706) A ce moment, la partie 11 d'exécution de simulation positionne l'état d'événement attendu (WAITT sur "AUTRE" (à l'étape 707) Après cela, la partie 11 d'exécution de simulation exécute le traitement de l'événement suivant (à l'étape 708) et ramène la commande à l'étape 701 Inversement, lorsque la partie 11 d'exécution de simulation a déterminé que la file d'attente FIFO était vide, elle positionne l'état d'événement attendu (WAMI) sur "attente de réception de signal interne ( 1)" (à l'étape 709) A ce moment, le traitement arrive à sa terminaison normale (à l'étape 710) Lorsque la partie 11 d'exécution de simulation a déterminé que la file d'attente FIFO mémorisait un signal autre que le signal voulu, elle informe l'utilisateur que l'existence d'un état de réception non spécifié (à l'étape 711) A ce moment, le traitement arrive à une terminaison anormale (à l'étape 712). Lorsque la partie 11 d'exécution de simulation a détecté un événement d"'émission de signal externe/interne" à l'étape 702, elle envoie ce signal à une voie reliée à un processus approprié (à l'étape 713) Après cela, la partie 11 d'exécution de simulation exécute le traitement de l'événement suivant (à l'étape 708) et renvoie la commande à l'étape 701. Comme représenté sur la figure 8, le signal qui est envoyé à la voie y est mémorisé jusqu'à ce que le temps de transmission de signal qui est établi pour celle-ci soit écoulé Après que le temps fixé s'est écoulé (à l'étape 801), la partie d'exécution de simulation obtient le signal de la part de la voie et l'envoie à la file d'attente FIFO (à l'étape 802). Comme représenté sur la figure 9, la file d'attente FIFO peut recevoir un certain nombre de signaux, équivalent à la capacité de transmission de la voie, laquelle capacité est fixée dans le traitement d'établissement d'environnement de simulation Lorsque le nombre de signaux dépasse la capacité de transmission (à l'étape 901), la partie 11 d'exécution de simulation estime qu'un débordement de voie a eu lieu et en informe l'utilisateur (à l'étape 902). On revient à la figure 7 A l'étape 702, lorsque la partie 11 d'exécution de simulation a détecté un événement de "déclenchement de minuterie" à l'étape 702, elle active un attribut de minuterie du gestionnaire de processus PM afin de positionner une minuterie (à l'étape 714) Après cela, la partie 11 d'exécution de simulation exécute le traitement de lévénement suivant (à l'étape 708) et rend la commande à l'étape 701. Lorsque la partie 11 d'exécution de simulation a détecté un événement d"'arrêt de minuterie" à l'étape 702, elle annule le positionnement de la minuterie (à 'étape 715) Après cela, la partie d'exécution de simulation exécute le traitement de l'événement suivant (à l'étape 708) et rend la commande à l'étape 701. Lorsque la partie 11 d'exécution de simulation a détecté un événement de "traitement de tâche" à l'étape 702, elle laisse passer le temps de traitement de tâche qui a été établi dans le traitement d'établissement d'environnement de simulation afin de faire avancer le temps de traitement de tâche (PTEMB) du processus géré par le gestionnaire de processus PM pendant le temps de traitement d'événement (à 'étape 716) Après cela, la partie 11 d'exécution de simulation exécute le traitement de l'événement suivant (à l'étape 717) A ce moment, le traitement arrive à sa terminaison normale (étape 718). On revient à la figure 6 A l'étape 601, lorsque les états d'attente de tous les processus sont des "états d'attente de réception de signal interne (I)", la partie 11 d'exécution de simulation exécute le traitement suivant, ou un traitement analogue. La partie 11 d'exécution de simulation contrôle les états de toutes les voies et de toutes les files d'attente FIFO et vérifie si une minuterie a été positionnée (à l'étape 604) En résultat, lorsque toutes les voies et toutes les files d'attente sont vides et qu'une minuterie n'a pas été positionnée, la partie 11 d'exécution de simulation suppose qu'un état de blocage s'est déclaré et en informe l'utilisateur (à l'étape 605) A ce moment, le traitement arrive à une terminaison anormale (à l'étape 606). Lorsque tous les états d'attente sont des "états d'attente de réception de signal interne ( 1 " et qu'au moins une des voies et la file d'attente FIFO possède un signal, ou bien lorsque toutes les voies et toutes les files d'attente FIFO ne comportent pas de signal et qu'une minuterie a été positionnée, le temps de traitement de tâche global Ta et le temps de traitement de tâche du processus considéré (PTIME) sont prolongés d'un temps de traitement de tâche (aux étapes 607 et 608) De plus, le temps de minuterie d'un processus o une minuterie a été positionnée est étendu d'un temps de traitement de tâche (étape 609). Après cela, la partie 11 d'exécution de simulation compare le temps de la minuterie avec le temps imparti (à l'étape 610) Lorsque le temps de la minuterie dépasse le temps imparti, la partie 11 d'exécution de simulation suppose qu'un état de transition d'état inexécutable est apparu et en informe l'utilisateur (à l'étape 611) Lorsque la minuterie n'a pas dépassé le temps imparti, la partie d'exécution de simulation ramène la commande à létape 601. La partie d'exécution de simulation exécute la simulation en fonction du diagramme de transitions d'états de chaque processus au cours de la procédure ci-dessus mentionnée Lorsque la partie d'exécution de simulation a déterminé que tous les états des processus sont des "états initiaux (IDLE)" à l'étape 601, elle met fin au traitement de la simulation (à l'étape 612). On va ensuite se reporter aux figures 10 à 12, pour décrire le fonction- nement en cas de débordement de voie La figure 10 montre un exemple de l'affichage de ce cas. Comme indiqué ci-dessus, un débordement de voie est détecté lorsque le nombre de signaux envoyé à une voie particulière dépasse sa capacité de transmission Dans l'exemple représenté sur la figure 10, on suppose qu'une capacité de transmission de " 2 " a été attribuée à une voie De plus, alors que la file d'attente FIFO mémorise deux signaux (DATA), un autre signal est envoyé par la voie à la file d'attente FIFO Ainsi, un débordement de voie a lieu La figure 11 représente un diagramme de transitions d'états pour lequel un débordement de voie a eu lieu Sur la figure, les symboles hâchurés sont en train d'être vérifiés Sur le diagramme de transitions d'états, un processus P 2 possède un traitement visant à "conserver les données pendant un temps 4 T (SAVE DATA)" La figure 12 est un schéma simplifié montrant le détail de l'apparition du débordement de voie de la figure 11 Comme on peut le voir sur la figure 12, au moment 4 r T du temps de traitement de tâche global, le troisième signal (DATA), qui excède la capacité de transmission de la voie est envoyé à la file d'attente FIFO. On passe maintenant aux figures 13 à 15, qui montrent le fonctionne- ment lié à l'apparition d'un état de transition inexécutable La figure 13 est un schéma simplifié montrant un exemple de l'affichage pour cet état. Lorsque le temps de minuterie du processus arrive au-delà du temps imparti pour le processus, il apparaît un état de transition inexécutable La figure 14 est un diagramme de transitions d'états dans lequel l'état de transition inexécu- table a lieu La figure 15 montre la procédure de traitement entre processus selon le diagramme de transition d'états Pour un processus Pl, '4 T" est défini comme le temps imparti qui a été établi Toutefois, puisque la transmission des signaux pour chacune des voies P 12 et P 21 entre les processus Pl et P 2 demande " 2 T" et que le traitement du processus P 2 demande "'1 ', il faut un temps total de "sé Dans l'état 1 du processus Pl, un dépassement du temps imparti se produit Ainsi, "+P 2 (ACK)" et "+P 2 (NCK)" (voir figure 14) ne sont pas exécutés. On se reporte maintenant aux figures 16 à 18, qui présentent le fonctionnement associé à l'apparition d'un état de blocage La figure 16 représente un exemple de l'affichage pour ce cas. Comme indiqué ci-dessus, l'apparition d'un état de blocage est détectée lorsque chaque processus se trouve dans un état d'attente de signal interne", les voies entre processus et la file d'attente FIFO sont vides, et la minuterie n'a pas été positionnée La figure 17 représente un diagramme de transitions d'états dans le cas o un état de blocage se produit La figure 18 représente la procédure de traitement entre processus selon le diagramme de transitions d'états Dans cet exemple, dans l"'état 1 " des processus Pl et P 2, un état de blocage apparaît. On va enfin se reporter aux figures 19 à 21, montrant le fonctionne- ment en cas d'apparition d'un état de réception non spécifié La figure 19 représente un exemple de l'affichage pour ce cas. Comme ci-dessus indiqué, lorsqu'un signal autre qu'un signal voulu est mémorisé dans la file d'attente FIFO, l'apparition d'un état de réception non spécifié est détecté La figure 20 montre le diagramme de transition d'état lorsqu'un état de réception non spécifié apparaît La figure 21 montre la procédure de traitement entre processus en fonction du diagramme de transition d'état Dans cet exemple, les processus Pl et P 2 attendent respectivement un signal "+P 2 (ACK)" et un signal "+P 1 (ACK)" Toutefois, à leur place, sont reçus des signaux P 1 (CALL)" et "- P 2 (CALL)" Ainsi, puisque les signaux reçus diffèrent des signaux voulus, l'état de réception non spécifié est détecté. Ainsi, avec l'appareil de simulation de protocole de l'invention, unprotocole peut être conçu en même temps qu'on contrôle son focntionnement Par conséquent, on peut concevoir avec précision un protocole obéissant aux traite- ments des temps impartis En résultat, on peut efficacement concevoir et vérifier le protocole. De plus, selon l'invention, une vérification dynamique du protocole peut être effectuée automatiquement et de manière interactive En résultat, on peut réduire de façon notable le temps et le coût de mise au point d'un système de télécommunications. De plus, selon l'invention, il est possible de visualiser de manière conviviale des états d&erreur tels qu'un état de débordement de voie, un état de transition inexécutable, un état de blocage et un état de réception non spécifiée En outre, puisque le diagramme de transitions d'états qui est en cours de vérification est également affiché, l'utilisateur peut facilement voir la cause de l'erreur. Bien entendu, l'homme de l'art sera en mesure d'imaginer, à partir de l'appareil dont la description vient d'être donnée à titre simplement illustratif et nullement limitatif, diverses variantes et modifications ne sortant pas du cadre de l'invention. REVENDICATIONS 1 Appareil de simulation de protocole permettant de vérifier dynamique- ment un protocole de communication, caractérisé en ce qu'il comprend: un premier moyen d'entrée ( 5) servant à introduire un diagramme relationnel de processus, ledit diagramme relationnel de processus étant destiné à représenter graphiquement au moins plusieurs processus et les voies qui les relient; un deuxième moyen d'entrée ( 10) servant à introduire au moins une capacité de transmission de chacune des voies, un temps de transmission de signaux de chacune des voies et un temps de traitement de tâche global de la simulation sur ledit diagramme relationnel des processus de façon à produire un diagramme d'environnement de simulation; un troisième moyen d'entrée servant à introduire au moins plusieurs protocoles de communication relatifs auxdits processus; un moyen ( 8) de production et de description de protocole servant à produire un diagramme de transitions d'états pour chacun desdits processus en fonction desdits protocoles de communication; un moyen ( 11) d'exécution de simulation servant à exécuter une simulation en fonction dudit diagramme de transitions d'états, à contrôler ladite capacité de transmission, ledit temps de transmission de signaux et ledit temps de traitement de tache global, et à détecter une erreur ayant lieu pendant ladite simulation; et un moyen d'affichage ( 12) servant à afficher le résultat d'exécution dudit moyen d'exécution de simulation sur ledit diagramme d'environnement de simulation et sur ledit diagramme de transitions d'états. 2 Appareil de simulation de protocole selon la revendication 1, carac- térisé en ce que ledit diagramme de transitions d'états est destiné à représenter au moins l'état de chacun desdits processus, un traitement de réception de signal, un traitement d'émission de signal et un traitement de tâche à l'aide de symboles discrets respectifs, et en ce que ledit moyen d'exécution de simulation est destiné à interpréter les symboles présents sur ledit diagramme de transitions d'états et à exécuter un traitement d'événement en fonction desdits symboles de façon à exécuter ladite simulation. 3 Appareil de simulation de protocole selon la revendication 1, carac- térisé en ce que ledit moyen d'exécution de simulation posséde un moyen du type minuterie, ledit moyen du type minuterie étant activé lorsqu'un positionnement de minuterie selon ledit diagramme de transitions d'états est détecté, ledit moyen d'exécution de simulation étant destiné à détecter une erreur sous forme d'un état inexécutable lorsque le temps de minuterie dudit moyen du type minuterie dépasse ledit temps d'émission de signal ou ledit temps de traitement de tâche global qui ont été introduits par ledit deuxième moyen d'entrée. 4 Appareil de simulation de protocole selon la revendication 3, caracté- risé en ce que ledit moyen d'affichage est destiné à afficher ladite erreur sous la forme dudit état de transition inexécutable sur ledit diagramme d'environnement de stimulation et sur ledit diagramme de transitions d'états. Appareil de simulation de protocole selon la revendication 1, caractérisé en ce que ledit moyen d'exécution de simulation est destiné à détecter une erreur sous la forme d'un débordement de voie lorsque le nombre de signaux envoyé à chacune des voies dépasse sa capacité de transmission. 6 Appareil de simulation de protocole selon la revendication 5, caracté- risé en ce que ledit moyen d'affichage est destiné à afficher ladite erreur sous la forme dudit débordement de voie sur ledit diagramme d'environnement de simulation et sur ledit diagramme de transitions d'états. 7 Appareil de simulation de protocole selon la revendication 1, caracté- risé en ce qu'il comprend en outre un moyen ( 7) de vérification logique servant à vérifier d'un point de vue logique lesdits protocoles de communication desdits processus qui sont introduits par ledit troisième moyen d'entrée. 8 Appareil de simulation permettant de simuler un système possédant plusieurs processus qui sont mutuellement reliés, caractérisé en ce qu'il comprend: un premier moyen d'entrée ( 5) servant à introduire lesdits processus et leurs relations mutuelles; un deuxième moyen d'entrée ( 10) servant à introduire un état dyna- mique de chacun desdits processus et un état dynamique de chacune desdites relations mutuelles; un moyen d'exécution de simulation ( 11) servant à corréler lesdits processus de façon à faire exécuter une simulation dudit système, à contrôler l'état dynamique de chacun desdits processus et l'état dynamique de chacune desdites relations, et à détecter les erreurs de ces états dynamiques apparaissant pendant ladite simulation; et un moyen d'affichage ( 12) servant à afficher le résultat d'exécution dudit moyen d'exécution de simulation. 9 Appareil de simulation selon la revendication 8, caractérisé en ce qu'il comprend en outre un moyen ( 6) de vérification logique servant à vérifier d'un point de vue logique lesdites relations desdits processus qui sont introduits par ledit troisième moyen d'entrée. 10 Procédé de simulation permettant de vérifier dynamiquement un protocole de communication, caractérisé en ce qu'il comprend les opérations suivantes: introduire un diagramme relationnel de processus, ledit diagramme relationnel de processus étant destiné à représenter graphiquement au moins plusieurs processus et les voies qui les relient; introduire au moins une capacité de transmission de chacune desdites voies, un temps de transmission de signaux de chacune desdites voies et un temps de traitement de tâche global de la simulation sur ledit diagramme relationnel des processus afin de produire un diagramme d'environnement de simulation; introduire au moins plusieurs protocoles de communication relatifs auxdits processus; produire un diagramme de transitions d'états pour chacun desdits processus en fonction desdits protocoles de communication; exécuter une simulation en fonction dudit diagramme de transitions d'états, afin de contrôler ladite capacité de transmission, ledit temps de trans- mission de signaux, ledit temps de traitement de tâche global et à détecter une erreur ayant lieu pendant ladite simulation; et afficher le résultat d'exécution de ladite opération d'exécution de simulation sur ledit diagramme d'environnement de simulation et sur ledit diagramme de transitions d'états. 11 Procédé de simulation selon la revendication 10, caractérisé en ce qu'il comprend en outre l'opération consistant à vérifier logiquement les protocoles de communication desdits processus.