FR 2735593 A1 19961220 FR 9506980 A 19950613 PROCEDE D'AIDE A LA SPECIFICATION D'UN INTERFACE ENTRE UN TERMINAL DE CONTROLE ET AU MOINS UN CALCULATEUR DESCRIPTION Domaine technique La présente invention concerne un procédé d'aide à la spécification d'un interface entre un terminal de contrôle, à la disposition d'un opérateur, et au moins un calculateur. Le domaine d'application de l'invention est celui des véhicules, plus particulièrement celui des avions, mais aussi celui d'installations terrestres complexes, des centrales nucléaires par exemple. Ainsi, dans une application avantageuse un calculateur contribue au guidage et à la navigation d'un avion, les autres calculateurs sont chargés de la maintenance, de la transmission vers le sol d'informations techniques liées au vol en cours (ACARS) etc... Dans la suite de la description on traitera, plus particuliérement à titre d'exemple, I'application du procédé de l'invention à un avion. Etat de la technique antérieure Sur différents programmes avion, par exemple de type Airbus, une spécification de l'interface homme-machine (IHM) d'un terminal multifonctions peut être décrite sous forme textuelle et illustrée par des exemples d'affichage d'écran. La partie textuelle d'une telle spécification présente des logiques d'affichage d'informations sur l'écran, des caractéristiques de position dans l'écran, de taille, de couleur, ... des informations affichées ainsi que des logiques d'actions qui peuvent être effectuées suite à l'utilisation des organes d'entrée d'information du terminal. Les techniques utilisées aujourd'hui font que les spécifications produites ne présentent aucun caractère formalisé (données non définies, pas de règles de syntaxe pour l'expression du besoin). II n'est alors pas possible de contrôler les spécifications tant au niveau de leur correction, que de leur cohérence ou de leur complétude. L'équipementier développe de façon manuelle le logiciel de cette fonction à partir d'une spécification qui n'a pas pu être contrôlée. D'autre part la spécification n'est pas formalisée et peut donc être ambiguë et sujette à interprétation de la part de l'équipementier: le produit peut ne pas correspondre au besoin tout en étant conforme à la spécification. Une précédente demande de brevet français n" 90 05068 déposée le 20 avril 1990 décrit un procédé interactif de production de logiciel en code source, modélisant des ensembles complexes de modules fonctionnels. Ce procédé consiste à mettre en oeuvre dans un ordinateur relié à des moyens de visualisation, un logiciel d'édition graphique représentant des blocs-diagrammes composés de symboles ou fonctions de transfert reliés par des flots de données, enregistré dans une mémoire de l'ordinateur, élaborant des planches graphiques, un logiciel pour produire un fichier de précodage des symboles, un logiciel de contrôle de cohérence entre les symboles de chaque planche, un logiciel de contrôle de cohérence de l'enchaînement temporel de l'ordre et des conditions d'exécution des planches. Le procédé consiste aussi à enregistrer dans la mémoire un dictionnaire de contrôle de mise à jour des planches. Enfin, le logiciel en code source est produit à partir d'un logiciel traitant le contenu du fichier de précodage et du contenu du dictionnaire. Par contre, I'invention a pour objet un procédé permettant d'obtenir une formalisation de détail de la spécification d'un interface entre un terminal de contrôle à bord d'un avion à la disposition d'un opérateur, par exemple un pilote, et un calculateur contribuant au pilotage et à la navigation de cet avion, cette formalisation permettant de produire une spécification détaillée et formalisée qui puisse être contrôlée statiquement (syntaxe) et validée dynamiquement (fonctionnement) et en conséquence de maîtriser le logiciel de cette fonction. II sera possible, en particulier, de transmettre cette spécification détaillée à un système informatique qui permettra de la valider par simulation. ExPosé de l'invention Comme on le verra plus loin dans la description du terminal MCDU, le dialogue homme-machine se fait dans le cadre de pages, présentées I'une après l'autre sur l'écran du terminal, qui regroupent des informations en fonction de leur nature, de leur parenté, par exemple carburant, plan de vol, etc... La présente invention concerne un procédé d'aide à la spécification d'un interface entre un terminal de contrôle, comprenant un écran et un clavier, à la disposition d'un opérateur, et au moins un calculateur, ledit calculateur comprenant au moins une mémoire contenant au moins un logiciel de gestion dudit interface, ladite spécification mettant en oeuvre des affichages alphanumériques sur ledit écran et des actions de l'opérateur sur ledit clavier, caractérisé en ce que: - on exprime ladite spécification dans un langage graphique de type flot de données comprenant des symboles relatifs à toutes les fonctions spécifiées, en utilisant un système informatique; - on connecte ces symboles par des liaisons afin d'exprimer:: une spécification de l'affichage d'une page sur ledit écran, e une description de toutes les actions élémentaires associées à cette configuration d'affichage - on obtient alors une spécification formalisée - après traitement de ladite spécification formalisée dans un ordinateur de génération de logiciel, on obtient le logiciel de gestion dudit interface. Avantageusement l'écran et le clavier de contrôle sont ceux d'un terminal multifonctions MCDU ("Multifunction Control and Display Unit"). La spécification de l'affichage d'une page sur l'écran consiste en - une description des logiques régissant l'affichage d'informations présentées sur l'écran - une description de caractéristiques de présentation des informations à afficher (couleur, taille, position dans l'écran); - une association d'actions possibles sur les clés de lignes et sur des touches de fonctions, parties dudit clavier, de façon cohérente avec l'affichage. Un éditeur permet de définir les symboles mettant en jeu les éléments du langage graphique qui sont mémorisés dans des fichiers informatiques. L'invention consiste donc en un procédé permettant d'exprimer dans un langage graphique la spécification d'une fonction d'interface, mettant en jeu des affichages alphanumériques, et des actions d'un opérateur sur un clavier. Elle permet d'élaborer un réseau de symboles connectés entre eux, de contrôler la cohérence de celui-ci et de valider la spécification ainsi obtenue. II est ainsi possible de contrôler la cohérence des spécifications, leur exactitude ainsi que leur complétude. L'équipementier chargé de développer le logiciel embarqué associé à cette fonction peut baser son développement sur des spécifications plus rigoureuses. II peut également développer un outil de génération automatique de logiciel à partir de la spécification formalisée. Dans ce cas, le logiciel correspond exactement au contenu de la spécification. Brève description des dessins - La figure 1 illustre la transmission des informations entre un calculateur et un terminal de contrôle à la disposition d'un opérateur ainsi que le traitement de celles-ci; - la figure 2 illustre l'objet du procédé de l'invention; - la figure 3 illustre une page initialisation de l'écran de contrôle; - les figures 4 à 8 illustrent un premier exemple de planches de construction d'une page d'affichage spécifiée; - les figures 9 à 13 illustrent un second exemple de planches de construction d'une page d'affichage spécifiée. Exposé détaillé de modes de réalisation La présente invention concerne un procédé d'aide à la spécification d'un interface entre un terminal de contrôle, à bord d'un avion, à la disposition d'un opérateur, par exemple un pilote, et un ou plusieurs calculateur, contribuant au pilotage et à la navigation de cet avion, ledit calculateur comprenant au moins une mémoire contenant au moins un logiciel de gestion dudit interface, ladite spécification mettant en oeuvre des affichages alphanumériques sur ledit écran et des actions de l'opérateur sur ledit clavier. Dans la suite de la description, à titre d'exemple, on considère un terminal de contrôle de type MCDU (Multipurpose Control and Display Unit). Terminal MCDU Celui-ci est un terminal d'entrée/sorties à écran cathodique ou autre couleur, clavier alphanumérique et touches de fonctions, utilisé par les pilotes et le personnel sol pour dialoguer avec différents calculateurs et notamment le calculateur de gestion de vol, le calculateur de maintenance et le calculateur de communication. L'écran du terminal MCDU 10 représenté sur la figure 1 est composé de quatorze lignes comportant chacune vingt quatre caractères. Les.quatorze lignes sont réparties comme suit: - une ligne "titre" intitulant les informations présentées à l'écran à un instant donné; - six paires de lignes permettant la visualisation de champs d'informations qui reflètent l'état des données prises en compte et élaborées par un calculateur. Chaque paire de lignes est composée de: la ligne supérieure dite "label line" utilisée en général pour donner un titre au(x) champ(s) d'information(s) visualisé(s) sur la ligne inférieure, la ligne inférieure dite "data line" utilisée en général pour visualiser les valeurs d'un ou de plusieurs champs d'informations; - une ligne brouillon appelée "scratchpad" utilisée par un calculateur pour l'affichage de messages à destination de l'opérateur, ou par l'opérateur pour communiquer à un calculateur les valeurs de certains champs. Une page MCDU est composée de l'ensemble des informations visualisées sur l'écran. Les communications-de l'opérateur vers un calculateur sont réalisées par l'intermédiaire de quatre catégories de clés - les clés de mode 11 permettent l'accès à des pages du moniteur de vol ou FM; - les clés alphanumériques permettent à l'opérateur d'introduire une valeur dans la ligne brouillon; - les clés de ligne 12 (1L, 2L, ..., 1R, 2R, voir figure 3) permettent d'activer une fonction d'un calculateur, qui a une action sur le ou les champs désignés par cette clé, ceci en relation avec le contenu de la ligne brouillon.Ces clés sont situées de part et d'autre des lignes "data line"; - les clés de fonction 13 permettent: les déplacements à l'intérieur des pages MCDU ou entre pages MCDU, I'effacement de la ligne brouillon et indirectement le retour aux valeurs par défaut d'un (des) champ(s) visualisé(s) sur une ligne "data line" (touche "clear"). Dans le système FM ("flight management"), le terminal MCDU 10 est utilisé pour: - présenter à l'opérateur 15 I'état interne du système, - offrir à l'opérateur 15 la possibilité de modifier l'état interne du système par des saisies d'information; - alerter l'opérateur 15 par l'affichage de messages. Les informations sont présentées par pages contenant des informations fonctionnellement cohérentes. Les pages sont hiérarchiquement ordonnées à l'intérieur de familles de pages. Une famille de pages est un ensemble de pages MCDU liées entre elles fonctionnellement. L'accès à une famille s'effectue soit par décision de l'opérateur (appui sur une clé de mode), soit sur l'autorité du système FM (modification du contexte général du vol). Le cheminement à l'intérieur d'une famille est réalisé sur demande de l'opérateur par l'intermédiaire des clés de ligne ou des clés de fonction. Trois niveaux (16, 17 et 18) effectuent la transmission bidirectionnelle et le traitement des informations entre l'opérateur 15 et le système FM 19. Le niveau "émission réception des informations" 16 effectue la mise en forme des données transitant sur la liaison 20 MCDU-systeme FM suivant par exemple la norme Arinc 739 et le protocole d'échange entre le calculateur 21 et le terminal de contrôle (MCDU). Le niveau "préparation des informations" 17 sert de relais entre le traitement proprement dit du système FM (appelé traitement fonctionnel dans la suite du document) et le niveau "émission/réception d'information" 16. II vérifie la cohérence des informations saisies par l'opérateur en fonction de leur syntaxe et du contexte général d'exécution. II effectue une vérification préliminaire sur les actions demandées par l'opérateur et émet le cas échéant un message informatif à destination de l'opérateur. II associe aux informations reçues du traitement fonctionnel les attributs de visualisation et préformage ces données pour le niveau "émission/réception d'information" Le niveau "traitement fonctionnel" 18 effectue tout le traitement fonctionnel lié à un système FM. En particulier, il vérifie du point de vue sémantique les informations (données et demandes d'action) reçues de l'opérateur. II calcule les valeurs des informations à visualiser et définit le contexte de visualisation. II réalise les requêtes émises par l'opérateur. Deux types d'informations peuvent être visualisés: une information appartenant à une page écran (information "pleine page"), ou un message d'erreur ou d'avertissement au niveau de la ligne brouillon. .L'information "pleine page" est élaborée par le niveau "traitement de l'information" Le préformatage d'une information pleine page consiste à transformer une valeur au format interne du calculateur en caractères alphanumériques en respectant les directives de visualisation (nombre de caractères, colonnes, et justification de l'affichage) et à lui associer des informations de taille et de couleur.L'ensemble est alors transmis au processus de visualisation du niveau "émission/réception de l'information" Un message avertit l'opérateur de l'arrivée d'un événement particulier ou de l'incohérence momentanée du système. II existe deux types de messages: les messages de premier type, qui correspondent à des réponses aux actions de l'opérateur, et les messages de second type, qui proviennent du traitement fonctionnel et qui sont mémorisés dans une file d'attente. La priorité est donnée aux messages de premier type. La file d'attente des messages de second type est une file d'attente circulaire de type "LIFO" (Last in First Out - i.e. le dernier message mémorisé est le premier message affiché) sans homonyme. Une information en entrée peut être soit un caractère alphanumérique, soit une demande d'action. Un caractère alphanumérique est stocké pour traitement ultérieur déclenché par un appui sur une clé de ligne. Un maximum de vingt deux caractères peut être saisi, les suivants sont ignorés. Les demandes d'action sont réparties en trois groupes - les clés de fonction : elles permettent une action directe sur l'affichage: défilement des informations dans le sens vertical ou horizontal, changement de page dans une famille de pages, effacement du demier caractère ou de tous les caractères de la ligne brouillon - les clés de mode: elles permettent de changer de famille de pages d'information; - les clés de ligne: elles permettent d'affecter la valeur de la ligne brouillon à une ou plusieurs informations, de demander la réalisation d'actions spécifiques. Eléments nécessaires à l'élaboration des spécifications Le besoin de spécification est représenté au départ par un document plus ou moins structuré définissant la façon de représenter les informations sur l'écran du terminal de contrôle: définition des différentes pages et contenu de chacune. La transcription de ces besoins de spécification fera appel à un dictionnaire rassemblant les définitions des données disponibles au niveau des calculateurs concernés et de leur nature: - nom de chaque donnée - type de chaque donnée booléen, . numérique, alphanumérique, # matrice, # ..., ... Phase de spécification La phase de spécification détaillée 24 est basée sur les éléments présentés ci-dessus. Cette phase conduit à la livraison de la spécification destinée à alimenter un terminal de génération de logiciel constituant la chaine 27 de production du logiciel de la fonction MCDU du système FM. Le procédé de l'invention, référence 26, qui est un procédé d'aide à la spécification est tel que: - on exprime la spécification dans un langage graphique de type flot de données comprenant des symboles relatifs à des attributs d'affichage, en utilisant un terminal de traitement; - on connecte ces symboles par des liaisons afin d'exprimer: une spécification d'affichage d'une page sur ledit écran, une description de toutes les actions élémentaires associées à cette configuration d'affichage - on obtient alors une spécification formalisée - après traitement de ladite spécification formalisée dans un ordinateur de génération de logiciel on obtient le logiciel de gestion dudit interface. L'invention conceme la spécification de la fonction d'affichage textuel (de textes, par opposition à des dessins) sur un écran. Elle a été envisagée pour permettre la spécification formalisée des logiques et des caractéristiques d'affichage d'informations sur un terminal multifonctions d'avions par exemple de la gamme Airbus (MCDU) ainsi que des actions effectuées sur ce terminal. La spécification détaillée pourra, par exemple, comprendre trois grandes parties: - la spécification des pages MCDU : ensemble de planches décrivant les affichages des pages MCDU et les effets des appuis sur touches liés aux pages; - la spécification des actions globales: ensemble de planches décrivant les effets des appuis sur certaines touches, telles que les clés de mode, ainsi que les effets sur l'affichage de l'arrivée d'événements FM - les définitions complémentaires: ensemble de planches contenant des tableaux supports de diverses définitions, les formats d'affichage, les formats de saisie, la liste des messages FM, et autres, indispensables au contrôle de la cohérence globale de la spécification. Les planches indiquées ci-dessus sont transcrites dans autant de fichiers informatiques. Fenêtres dynamiques L'invention est destinée à élaborer la spécification de différents types d'affichages (pages) sur le MCDU, en particulier les "affichages statiques" et des "fenêtres dynamiques" Le paragraphe ci-dessous précise le besoin dans le cas des fenêtres dynamiques. Ces fenêtres se caractérisent par le fait qu'elles permettent à l'utilisateur de parcourir, grâce à des clefs de fonction (touches spéciales), une liste dont l'écran ne peut présenter qu'une partie; les informations "défilent" alors vers le haut ou vers le bas ("scrolling"). Le traitement du défilement d'éléments à l'intérieur d'une fenêtre dynamique comprend: - I'élaboration de la liste des éléments à présenter dans la fenêtre en fonction des données potentiellement affichables et disponibles dans le coeur du système FM, ainsi que des actions de défilement qui ont déjà pu être réalisées.Le logiciel générant cette liste à partir des informations du système FM est développé de façon manuelle (ce logiciel ne fait pas partie de l'invention); - I'affichage des éléments de la liste ainsi définie qui diffère des "affichages statiques" par le fait qu'il est spécifié une seule fois pour les différents éléments qui peuvent être affichés:: la spécification de l'affichage d'un élément couvre toutes les possibilités d'affichage des différents éléments qui peuvent être présents dans la liste, . les coordonnées d'affichage de chaque champ d'information ne sont pas connues a priori (å cause de la possibilité de défilement) mais dépendent du rang de chaque l'élément à afficher; - I'évolution de la liste par rapport au premier élément dans la fenêtre d'affichage en cas de stimuli extérieur (appui sur une des touches de défilement ou défilement automatique de la liste sans intervention de l'utilisateur) qui est gérée par le logiciel d'élaboration de la liste à partir des informations du système FM présenté ci-dessus. Construction d'une page d'affichage spécifié On va à présent considérer deux exemples de planches de construction d'une page d'affichage spécifiée. PREM/ER EXEMPLE La figure 3 illustre une page d'initialisation du système de gestion du vol (FMS) qui est dénommée INIT B. Ligne de titre Comme représenté sur la figure 4 la chaîne de caractères "INIT" de la première ligne d'affichage représentée en 20, entre dans le symbole d'affichage 21 dans lequel sont définis ses attributs d'affichage ici W : couleur blanche L : grand caractère L : justifié à gauche TITLE : ligne de titre 11 : à partir de la 11ème colonne Le caractère "t" figurant en haut et à droite de l'écran figure 3 est représenté en 22 par les caractères $ W : couleur blanche S : petit caractère R : justifié à droite TITLE : ligne de titre 23 : à partir de la 23ème colonne Le symbole 24 correspond à l'affichage sur la ligne de titre. Le symbole 25 correspond à l'action à réaliser sur appui sur la clef de fonction "page précédente": affichage de la page INIT A. Le symbole 26 correspond à l'action à réaliser sur appui sur la clef de fonction "page suivante": affichage de la page INIT A à nouveau. Le symbole 27 correspond au regroupement des actions associées aux clés de fonction "page précédente" et "page suivante". Le symbole 28 correspond à la combinaison affichage ligne de titre/action. Champ de la clé I L Cette clé 1L comme toutes les autres clés est affectée à une paire de lignes. Comme représenté sur la figure 5 la chaine de caractères "TAXI" 30 entre dans le symbole 31 où elle rejoint ses attributs d'affichage: W : couleur blanche S : petit caractère L : justifié à gauche LL1 : label line 1 1 : à partir de la colonne 1 La quantité de fuel ("TAXI-FUEL") résultant d'un calcul par le FMS est fournie au symbole 32 où elle reçoit ses attributs d'affichage G : couleur verte S : petit caractère L : justifié à gauche DL1 : data line 1 1 à a partir de la colonne 1 Le symbole 33 combine les deux voies. Champ de la dé IR Les explications qui suivent concernent le champ "ZFW" ("Zero Fuel Weight" ou masse à vide, sans carburant) traité sur les figures 6, 7 et 8. Les symboles 35 et 36, figure 6, permettent d'extraire de la donnée structurée ZFW sa valeur numérique et un booléen qui indique si elle est définie. Ce booléen est utilisé par le symbole 42, figure 7, qui est chargé de faire un choix entre les informations provenant des symboles 37 ou 39. Si la valeur de ZFW est définie (booléen à "VRAI") le symbole 37 lui donne ses attributs d'affichage et le symbole 42 la transmet au symbole 43, sinon c'est la valeur définie par le symbole 38 qui reçoit ses attributs d'affichage du symbole 39 et qui est transmise au symbole 43. Dans les symboles 37 et 39 les couleurs définies par les lettres C et A correspondent aux couleurs cyan et ambre. Le caractère "/" défini en 40 reçoit ses attributs du symbole 41. Le symbole 43 permet la combinaison des informations ainsi obtenues. Le symbole 45, figure 8, spécifie l'action à réaliser suite à un appui éventuel sur la clé de ligne 1R et le symbole 46 spécifie la combinaison des affichages et des actions liées à la clé de ligne 1R. Dans la planche de construction de la page INIT B, représentée à la figure 13, on regroupe, grâce au symbole 80, les données élaborées sur les autres planches. Les données qui peuvent être regroupées sur cette dernière planche sont les suivantes: - la donnée relative à la ligne titre, qui comporte parfois, en plus de l'information affichée sur cette ligne, la description d'une association entre les clés de fonction "page précédente", et "page suivante", et une action de changement de page; - les données relatives aux différentes paires de lignes, ou clés de lignes associées. II peut y avoir une ou plusieurs données par paire de ligne (les regroupements pour chaque ligne auront été faits précédemment) - la donnée relative à la ou aux fenêtre(s) dynamique(s), si la page en possède;; - la donnée relative à la ligne brouillon, qui comporte quelquefois la description d'une association entre les clés de fonctions "slew-up" ("défilement haut"), et "slew-down" ("défilement bas"), et une action de défilement d'une fenêtre dynamique sur la page (éventuellement des fenêtres dynamiques quand la page présente plusieurs fenêtres). SECOND EXEMPLE Les figures 9 à 12 illustrent l'entrée d'informations dans la ligne brouillon ("scratchpad") ; ce peut être par exemple une quantité de fuel introduite dans le système à travers la page d'initialisation, figure 3, grâce à une action sur la clé 2R. Cette valeur introduite dans cette ligne brouillon est contrôlée dans le symbole 50. Dans le symbole 51 il y a extraction de la valeur elle-même. Dans le symbole 52 on obtient le statut résultant du contrôle effectué par le symbole 50 que l'on compare dans les symboles 53 à 56 à différentes valeurs définies dans les symboles 57 à 60 pour obtenir plusieurs sorties possibles: - format de la donnée entrée en erreur; - entrée valable; - la zone brouillon est vide; - la zone brouillon contient la commande de remise à zéro (obtenue par l'action sur la touche "clear" sur le terminal) qui est matérialisée par la mention "CLR" apparaissant dans cette zone. Sur la figure 10 la sortie "entrée valable" (B-FMT-OK) est fournie au symbole 61 recevant la chaîne de caractère reçue . On active la requête au coeur du système. En sortie de ce symbole 61 on obtient un statut de retour de requête. Les symboles 62 à 65 permettent d'afficher la page INITB (62) ou un message d'erreur (63) ou de ne rien faire (64) en fonction du statut qui entre dans le symbole 65. Sur la figure 11 le cas touche "clear" appuyée (B-SPAD-CLR) est considéré. Le symbole 67 demande au coeur du système de mettre à zéro la valeur du ZFW. Les symboles 68 à 70 permettent de réafficher la page initialisation (68) ou de ne rien faire (69) en fonction du statut de retour de la requête 67 qui entre dans le symbole 70. Dans la figure 12 les différentes sorties des symboles 53 à 56 de la figure 9 sont introduites dans un symbole 71 qui permet de choisir d'afficher différents messages ou une nouvelle page. Le symbole 72 exécute l'action choisie. Exemples de symboles utilisés En annexe, en fin de description, sont présentés différents symboles qui peuvent avantageusement être utilisés pour la spécification détaillée de la fonction d'interface MCDU. Les caractéristiques de chaque symbole sont présentées fonction, entrées, paramètres, sorties, algorithme. ANNEXES 1) Le symbole DISPLAY FIELD (FIELD.DSP) E1 DISPLAY FIELD NNN S1 SU@ TYPE XXXXXXXX REF XXXXXXXXXXXXXXXX CO@OR SIZE J@ST LINE CO@U@N CV SV X X PV E2 E3 E4 # # # Fonction Ce symbole transforme une information élémentaire en chaîne de caractères alphanumériques et lui associe des coordonnées et des attributs de visualisation. Entrée El: Définition : Ce point de borne reçoit la valeur de la donnée à visualiser. Type: Indéfini. Sous-type: Renseigné par la paramètre SUB-TYPE. Paramètres NNN: Définition : Numéro d'occurence du symbole. COLOR: Point de borne associé E2 Définition : Couleur de la chaîne de caractères à visualiser. Type: ENUMERATE. Sous-type: COLOR. SIZE: Point de borne associé E3 Définition: Taille des caractères de la chaîne à visualiser. Type: ENUMERATE. Sous-tve: SIZE LINE: Définition: Ce paramètre précise la ligne de visualisation COLUMN: Point de bome associé E4 Définition : Ce paramètre précise la colonne de visualisation du premier caractère à visualiser. Type: NUMERIC. Sous-type: REL~INT. REF: Définition: Ce paramètre précise la référence du format de visualisation. SUB TYPE: Définition: Ce paramètre permet de renseigner le sous-type du point de bome El. JUST: Définition: Ce paramètre permet de préciser la justification de la visualisation de l'information. Sortie SI: Définition: Ce point de borne fournit la chaîne de caractères et ses attributs de visualisation. Type: PRIVATE-MCDU. Sous-tvpe: LINE 2) Le symbole DISPLAY PAGE (PAGE.ACT) PRGE NNN S1 PPCE XXXXXXXX CLR N INDEX X Fonction Ce symbole est utilisé pour définir la demonde d'offichoge d'une page sur un terminol d'1HM de type MCDU. Paramètres NNN: Définition: Numéro d occurrence du symbole. PAGE: Définition: Référence de la poge MCDU qui dort. etre offichée. CLR: Définition: Indication d'effacement des entrées utilisoteur contenues dons une mémoire tampon (e.g.: scrotchp@d). lors de l'offichoge de la poge. INDEX: Définition: Indicotion de positionnement du ou des index de liste sur le premier élément lors de l'affichage de la page. Sortie S1 : Définition: Ce point de borne fournit le nom de lo poge à officher et les conditions initioles d'affichoge. Tvne: PRIVATE-MCDU. Sous-tvne: PGE~MESS 3) Le symbole EVENT DISPLAY MESSAGE (MES.DSP) DISP MES NNN li4 HE55RI;E | NNN xxxxxxxx Fonction Ce symbole est utilisé pour définir l'offichoge d'un message sons champ variable à effectuer sur appui d'une clé d'un terminal d lHM du type MCDU. Paramètres NNN: Définition: Numéro d'occurrence du symbole. KEY: néfinriion: Identificoteur de la clé pour laquelle un appui déclenche l'offichoge du message. MESSAGE Définition: Référence du message. Sortie S1: Définition: Ce point de borne fournit le numéro du message à afficher. Type: PRIVATE-MCDU. Sous-type : ACTION. 4) Le symbole DYNAMIC EVENT CUSTOMIZED ACTION (DYNACT.DSP) /? CUSTOM FICTION OYN NNN w UI$UTLR XXXXXXXX XXXXXXXX Ixxxxxxxx XXXXXXXXXXXXXXXX LS?( | 510E | SV REL KET O t E3 Fonction Ce symbole permet de déclencher, pour une fenêtre dynomique, une action suite à l'oppui sur une des clés que l'on ne connait pos à priori. Entrées El: Définition. Ce point de borne reçoit la référence de l élément de liste offiché en vis-o-vis de la clé ou moment de appui sur la clé. Type: PRIVATE-MCDU. Sous-type: MARKER. E2: Définition: Ce point de bome reçoit le numéro physique de la clé de référence de l'élément @ssocié. Tvoe. ENUMERATE. Sous-type: Ls~KEY. Paramètres NNN: Définition: Numéro d'occurrence du symbole REL KEY: Définition: Ce poramètre précise la clé du terminal qui déclenche l'action, en donnant sa position relative porropport à la clé de référence de l'élément. SIDE : Point de borne ossocié E3 Définition: Indication du côté du terminal MCDU sur lequel se trouve la clé de ligne. Type: ENUMERATE. Sous-type: SIDE. BOOK/CHAPTER/actian name : Définition: Référence de l'action effectuée lors de l'appui sur la clé du terminol. Sortie S1: Définition: Ce point de borne fournit le nom de l'action à effectuer. Type: PRIVATE-MCDU. Sous-type: ACTION. 5) Le symbole EVENT SLEW BACKWARD (BACK.DSP) /LP XXXXXXXX:xxxxx s KEY XXXXXXXX Fonction Ce symbole permet de déclencher. suite ò l appui sur une des clés d un terminol d'lHM de type MCDU. le défilement vers l'omont dune liste d'éléments visuolisobles à l intérieur d'une fenêtre dynomique. Paramètres NNN: Définition: Numéro d'occurrence du symbole KEY: Définition: Référence de lo clé qui déclenche le défilement. List name : Définition: Nom de la liste que l on fait défiler. Sortie S1 : Définition: Ce point de borne fournit l'action à effectuer sur l occurrence de l événement appui sur la clé du terminal. Type: PRlVATE-MCDU. Sous-type : ACTION. 6) Le symbole EVENT SLEW FORWARD (FORWARD.DSP) A? FORWRRD NNN s XXXXXXXXXXXXXXXX KEY I XXXXXXXX Fonction Ce symbole permet de déclencher. suite à l'appui sur une des clés d'un terminal d'lHM de type MCDU, le défilement vers l'aval d'une liste d'éléments visualisables à l'intérieur d'une fenêtre dynamique. Paramètres NNN: Définition: Numéro d'occurrence du symbole. KEY: Définition: Référence de la clé qui déclenche le défilement. List nome: Définition: Nom de la liste que l'on fait défiler. Sortie S1: Définition: Ce point de borne fournit l'oction Ô effectuer sur l'occurrence de l'événement appui sur la clé du terminal. Type: PRIVATE-MCDU. Sous-type : ACTION. 7) Le symbole MCDU PAGE CONSTRUCT (MCDUPAGE.DSP) E1 MCDU P@GE CONSTRUCT NNN Fonction Ce symbole. spécifique de l'IHM MCDU. réolise la mémorisation des associations événement/action et affichage de la page MCDU dont la description lui est fournie en entrée. Entrée El: Définition Ce point de borne reçoit la description de l'affichage e les associations événement-oction liées à une page MCDU. Type: PRIVATE-MCDU. Sous-type: MIXED. Paramètres NNN: Définition Numéro d'occurrence du symbole. Régles d'utilisation SAO Aucune. 8) Le symbole CHECK SCRATCHPAD 1 (SPAD1.ACT) CHECK SP@D 1 NNN E1 S1 REF XXXXXXXXXXXXXXXX Fonction Ce symbole est utilisé pour vérifier la syntaxe d'une chaîne de caractères. Entrées El: Définition: Ce point de borne reçoit la donnée à contrôler. Type: PRIVATE-MCDU. Sous-type: SPAD. Paramètres NNN: Définition: Numéro d'occurrence du symbole. REF: Définition: Référence du format utilisé pour contrôler la syntaxe du champ. Sortie S1: Définition: Ce point de borne fournit le compte rendu de lo vérification et la voleur controlée sous forme d'une chaîne de caractères alphanumériques. Type : STRUCTURE. aesc : SPAD~ST 1. 9) Le symbole FM REQUEST (FMRQST.ACT) REQUEST NNN RCTIVRTION @OOLERN # E2 R CONFIC. DEF@ULY STRTUS # E3 B XXXX OK~NOT S1 # E4 C BOOK CHR@TER # E5 M XXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXX Fonction Ce symbole permet d'invoquer une requéte appartenant à une fonction extérieure ò lo fonction en cours de définition et d'en recevoir un compte rendu d'exécution. Quatre paramètres peuvent être transmis ou service appelé. Entrées El: De finition : Ce point de borne permet de recevoir le booléen qui outorise l'activation de la requête. Type : BOOLEAN. Paramètres NNN: Définition: Numéro d'occurrence du symbole E2,E3,E4: Définition: Ces points de borne permettent de connecter les divers paramètres de lo requête. Type: ALPHANUMERIC. SOUS-type : STRING. ES: Définition: Cette connexion reçoit @denfificateur ossociée Ô l'élément courant dons le cas où la requete est liée à une zone deoffichoge dynamique. Type: PRIVATE~MCDU. SOUS-type : MARKER. DEFAULT STATUS Définition: Voleur par défout du compte rendu d exécution de lo requête. BOOK/CHAPTER/request name Définition: Référence de la requéte invoquée. CONFIG: Définition: Configuration des paramètres connectés au symbole pour effectuer la requête. Sortie S1 : Définition: Ce point de borne fournit une valeur de stotus de retour de la requête. Type : ENUMERATE. SOUS-type : FM~RQ~ST. Description du traitement Alaorithme: si Elk = l alors S@k = f(REQUEST NAME) sinon Slk = DEFAULT STATUS 10) Le symbole ACTION CONSTRUCT (MCDUACT.ACT) MCDU FICTION @ CONSTRUCT NNN Fonction Ce symbole. spécifique de l'IHM MCDU. réalise les affichages. sur un terminal de type MCDU. d'une page et/ou d'un message définis dans une description d'action. Entrées El: Définition: Ce point de borne reçoit l'équipotentielle décrivant la demande d'affichage résu@tant de l'action. Type: PRIVATE~MCDU. SOUS-type : PGE~MESS. Paramètres NNN: Définition: Numéro d'occurrence du symbole Règles d'utilisation SAO Aucune REVENDICATIONS 1. Procédé d'aide à la spécification d'un interface entre un terminal de contrôle, comprenant un écran et un clavier, à la disposition d'un opérateur et au moins un calculateur, ledit calculateur comprenant au moins une mémoire contenant au moins un logiciel de gestion dudit interface, ladite spécification mettant en oeuvre des affichages alphanumériques sur ledit écran et des actions de l'opérateur sur ledit clavier, caractérisé en ce que - on exprime ladite spécification dans un langage graphique de type flot de données comprenant des symboles relatifs à toutes les fonctions spécifiées, en utilisant un système informatique, - on connecte ces symboles par des liaisons afin d'exprimer une configuration d'affichage sur ledit écran, . une description de toutes les actions élémentaires pouvant être effectuées par l'opérateur, une description des réponses du terminal à des ordres en provenance du (ou des) calculateur(s) et indépendants des actions de l'opérateur; - la spécification ainsi formalisée, fournie à un système informatique, permet de vérifier la cohérence et l'exactitude de cette spécification. 2. Procédé selon la revendication 1, caractérisé en ce que l'écran et le clavier de contrôle sont ceux d'un terminal multifonctions MCDU. 3. Procédé selon la revendication 1, caractérisé en ce que la configuration d'affichage consiste en: - une élaboration de logiques conditionnant l'affichage d'informations présentées sur l'écran; - une description de caractéristiques de présentation des informations à afficher (couleur, taille, position dans l'écran) - une association d'actions possibles avec des appuis sur des clés de lignes ou sur des touches de fonctions, parties dudit clavier, de façon cohérente avec l'affichage. 4. Procédé selon la revendication 1, caractérisé en ce qu'un éditeur permet de choisir les symboles, éléments du langage graphique de spécification, qui sont mémorisés dans des fichiers informatiques. 5. Procédé selon la revendication 1, caractérisé en ce que la configuration d'affichage sur l'écran peut comprendre des parties statiques et des fenêtres dynamiques. 6. Procédé selon la revendication 1, caractérisé en ce que les actions élémentaires pouvant être effectuées par l'opérateur sont associées ou non à la configuration d'affichage sur l'écran. 7. Procédé selon la revendication 1, caractérisé en ce que les spécifications sont traduites sous forme de fichiers informatiques. 8. Procédé selon l'une quelconque des revendications précédentes, caractérisé en ce qu'il est utilisé à bord d'un avion, le (ou les) calculateur(s) contribuant au guidage et à la navigation de cet avion.