FR2807531A1 - Procede de controle de la coherence d'un ensemble de systemes electroniques integres - Google Patents

Abstract

Les systèmes reçoivent et produisent des données (di) incorporées à des trames (Tk ) matérialisés par des groupes de signaux numériques se propageant sur au moins un bus multiplexé commun. Suivant l'invention, pour chacune des données (di) ainsi propagées, consommée par une fonction (f) exécutée par une unité de commande électronique (UCE j ) formant partie d'un (Sj ) desdits systèmes électroniques,a) on recherche l'existence d'une fonction (g) exécutée par une unité de commande électronique (UCE i ) d'un système (S i ) formant partie desdits systèmes de l'ensemble et produisant ladite donnée (d i ) et, si on trouve la fonction (g), b) on identifie les systèmes (Sx0 ,... Sxn ) producteurs d'une des trames (Tk ) contenant la donnée (d i ) et lessystèmes (Sy0 ,... Syn ) récepteurs d'une desdites trames (Tk ) contenant la donnée (d i ), et c) on diagnostique une absence d'incohérence si : (CF DESSIN DANS BOPI)

Description

La présente invention est relative à un procédé de contrôle de la cohérence d'un ensemble de systèmes électroniques intégrés recevant et produisant des données incorporées ' des messages matérialisés par des groupes de signaux numériques se propageant sur au moins un multiplexé commun.

On connaît des ensembles de systèmes électroniques de ce type, conçus notamment pour équiper des véhicules automobiles. Un tel véhicule comprend couramment plusieurs systemes assurant chacun l'exécution d'une prestation telle que la commande du moteur propulsant le véhicule, la gestion de la climatisation de l'habitacle, la gestion des liaisons du véhicule au sol (freinage, suspension...), la gestion de communications téléphoniques etc, etc...

On a schématisé à la figure 1 du dessin annexé les moyens matériels constituent l'ensemble de ces systèmes: Ces moyens comprennent essentiellement des unités de commande électroniques ou "calculateurs" UCEr" chaque calculateur étant éventuellement connecté à des capteurs Cni et à actionneurs Ami, tous les calculateurs étant connectés à un meure bus B pour y émettre ou recevoir des informations convenablement multiplexées, en provenance ou à destination des autres calculateurs connectés au bus B.

Ce multiplexage est obtenu notamment, comme cela est bien connu pour le bus CAN par exemple, en introduisant les informations en cause dans des messages matérialisés par des trames de signaux numériques comprenant notamment un "champ identificateur" de ladite trame et un "champ de données" réunissant couramment plusieurs informations de natures différentes (pression, température, etc...) contenues chacune dans une partie prédéterminée de ce champ.

A titre d'exemple illustratif, le système S2 de "commande du moteur" comprend le calculateur UCE2, plusieurs capteurs C2i sensibles à des grandeurs telles que le régime du moteur, à combustion interne par exemple, la pression collecteur

d'admission <SEP> de <SEP> ce <SEP> moteur, <SEP> la <SEP> pression <SEP> de <SEP> l'air <SEP> extérieur, <SEP> la
<tb> temperature <SEP> de <SEP> l'eau <SEP> de <SEP> refroidissement <SEP> du <SEP> moteur, <SEP> celle <SEP> de
<tb> l' <SEP> l'état <SEP> de <SEP> charge <SEP> de <SEP> la <SEP> batterie, <SEP> etc, <SEP> etc..., <SEP> et <SEP> plusieurs
<tb> actionneurs <SEP> A2j. <SEP> Le <SEP> calculateur <SEP> UCE2 <SEP> est <SEP> dûment <SEP> programmé <SEP> pour
<tb> exécuter <SEP> plusieurs <SEP> fonctions <SEP> de <SEP> commande <SEP> du <SEP> moteur <SEP> telles
<tb> la <SEP> régulation <SEP> de <SEP> ralenti, <SEP> la <SEP> régulation <SEP> de <SEP> la <SEP> richesse <SEP> du
<tb> mélange <SEP> air/carburant, <SEP> le <SEP> réglage <SEP> de <SEP> l'avance <SEP> à <SEP> l'allumage <SEP> de
<tb> ce <SEP> melange <SEP> et <SEP> la <SEP> recirculation <SEP> des <SEP> gaz <SEP> d'échappement. <SEP> Pour <SEP> ce
<tb> faire <SEP> le <SEP> calculateur <SEP> UCE2 <SEP> exploite <SEP> des <SEP> informations <SEP> venues
<tb> capteurs <SEP> C2i <SEP> précités <SEP> et <SEP> élabore <SEP> des <SEP> signaux <SEP> de <SEP> commande
<tb> actionneurs <SEP> A2j <SEP> constitués <SEP> par <SEP> une <SEP> vanne <SEP> de <SEP> commande <SEP> d'air
<tb> additionnel <SEP> et <SEP> une <SEP> bobine <SEP> d'allumage <SEP> de <SEP> bougie <SEP> pour <SEP> la <SEP> fonction
<tb> "régulation <SEP> de <SEP> ralenti", <SEP> un <SEP> injecteur <SEP> de <SEP> carburant <SEP> pour <SEP> la
<tb> fonction <SEP> "régulateur <SEP> de <SEP> richesse", <SEP> la <SEP> même <SEP> bobine <SEP> d'allumage
<tb> pour <SEP> la <SEP> fonction <SEP> "avance <SEP> de <SEP> l'allumage" <SEP> et <SEP> une <SEP> vanne <SEP> pour <SEP> la
<tb> fonction <SEP> "recirculation <SEP> de <SEP> gaz <SEP> d'échappement".
<tb> Les <SEP> autres <SEP> "prestations" <SEP> évoquées <SEP> ci-dessus,
<tb> "climatisation <SEP> de <SEP> l'habitacle", <SEP> "liaison <SEP> avec <SEP> le <SEP> sol", <SEP> etc..
<tb> sont <SEP> exécutées <SEP> par <SEP> des <SEP> systèmes <SEP> d'architecture <SEP> analogues <SEP> à
<tb> celle <SEP> présentée <SEP> ci-dessus <SEP> pour <SEP> la <SEP> commande <SEP> du <SEP> moteur.
<tb> Tous <SEP> ces <SEP> systèmes <SEP> mis <SEP> en <SEP> communication <SEP> par <SEP> un <SEP> même <SEP> bus <SEP> B
<tb> constituent <SEP> un <SEP> réseau <SEP> multiplexé. <SEP> On <SEP> conçoit <SEP> alors <SEP> que
<tb> plusieurs <SEP> fonctions <SEP> relevant <SEP> de <SEP> systèmes <SEP> différents <SEP> peuvent
<tb> exploiter <SEP> des <SEP> informations <SEP> issues <SEP> de <SEP> mêmes <SEP> capteurs, <SEP> par
<tb> exemple, <SEP> ce <SEP> qui <SEP> évite <SEP> de <SEP> coûteuses <SEP> redondances <SEP> dans <SEP> la
<tb> structure <SEP> de <SEP> l'ensemble <SEP> des <SEP> systèmes. <SEP> L'utilisation <SEP> d'un <SEP> réseau
<tb> multiplexé <SEP> permet <SEP> aussi <SEP> de <SEP> réduire <SEP> de <SEP> manière <SEP> très <SEP> importante
<tb> la <SEP> longueur <SEP> des <SEP> lignes <SEP> électriques <SEP> interconnectant <SEP> les
<tb> différents <SEP> éléments <SEP> de <SEP> l'ensemble. <SEP> Un <SEP> tel <SEP> ensemble <SEP> multiplexé
<tb> permet <SEP> aussi <SEP> la <SEP> mise <SEP> en <SEP> place <SEP> de <SEP> fonctions <SEP> non <SEP> classiques <SEP> et
<tb> éventuellement <SEP> complexes, <SEP> faisant <SEP> intervenir <SEP> parfois <SEP> plusieurs
<tb> systemes <SEP> et <SEP> dites <SEP> pour <SEP> cette <SEP> raison <SEP> "transversales". <SEP> A <SEP> titre
<tb> d'exemple <SEP> illustratif <SEP> et <SEP> non <SEP> limitatif, <SEP> la <SEP> perception <SEP> de
<tb> l'information <SEP> "sac <SEP> d'air <SEP> (ou <SEP> "airbag") <SEP> déclenché"
<tb> significative <SEP> de <SEP> ce <SEP> que <SEP> le <SEP> véhicule <SEP> a <SEP> subi <SEP> un <SEP> choc, <SEP> peut <SEP> être traitée alors de manière à commander l'émission d'un appel au secours par un dispositif de téléphonie mobile embarqué dans le véhicule.

Un ensemble de systèmes électroniques du type décrit ci- dessus est, sous la poussée progrès techniques, soumis à une constante évolution, tant dans sa phase de conception que dans ses versions successives postérieures à sa première mise sur le marché.

Ces évolutions peuvent résulter, par exemple, de l'intégration dans le système de fonctions nouvelles, par exemple de fonctions dites de "deuxième niveau" telles que par exemple la fonction dite "ESP" visant à commander la stabilité du véhicule en virage à partir d'informations fournies par des fonctions de "premier niveau (anti-patinage, anti-blocage de roues, commande du moteur, etc...). Ces évolutions peuvent aussi résulter de la nécessité de modifier l'architecture de l'ensemble en fonction des prestations différentes offertes par les différents véhicules d'une gamme de tels véhicules, de l'appartenance d'un véhicule particulier à tel ou tel "segment" ou catégorie de véhicules ("normale" ou "supérieure", par exemple), voire aussi de modifications logicielles ou matérielles apportées à une architecture donnée par le remplacement d'un calculateur spécifique, fourni par un équipementier, par un calculateur originaire d'un autre équipementier.

Ces évolutions peuvent toucher un système seulement, voire un élément ou une fonction de ce système. Il convient de pouvoir vérifier à tout moment la compatibilité des modifications apportées par une évolution particulière dudit système, dudit élément de systeme ou de ladite fonction, avec les caractéristiques des autres systèmes de l'ensemble, notamment au niveau des circulations d'informations qui s'opèrent dans le réseau multiplexé.

La présente invention a précisément pour but de fournir un procédé de contrôle de cohérence d'un ensemble de systèmes électroniques, ce procédé étant mis en oeuvre à l'aide d'un outil logiciel qui permet d'automatiser ce contrôle, et donc d'éviter un contrôle par une classique analyse intellectuelle longue, pénible et donc coûteuse.

La présente invention a aussi pour but de fournir un tel procédé qui permette de contrôler automatiquement cette cohérence à tout moment, pendant la phase de conception de l'ensemble par exemple, et d'indiquer éventuellement les corrections à apporter à l'ensemble pour assurer cette cohérence, ce qui permet une progression sûre de ladite phase de conception.

On atteint ces buts de l'invention, ainsi que d'autres qui apparaîtront à la lecture de la description qui va suivre, avec procédé de contrôle de la cohérence d'un ensemble de systèmes électroniques intégrés recevant et produisant des données di incorporées à des messages Mk matérialisés par des groupes de signaux numériques se propageant sur au moins un bus multiplexé commun B, ce procédé étant remarquable en ce pour chacune des données di ainsi propagée, consommée par fonction f exécutée par une unité de commande électronique UCEj formant partie d'un (Sj) desdits systèmes électroniques, on recherche l'existence d'une fonction g exécutée une unité de commande électronique UCEi d'un système Si formant partie desdits systèmes de l'ensemble et produisant ladite donnée di et, si on trouve la fonction g, on identifie les systèmes (SXo, ... S_,r,) producteurs des messages Mk contenant la donnée di et les systèmes (SYO, ... SYn) récepteurs d'un desdits messages Mk contenant la donnée et c) on diagnostique une absence d'incohérence si

(SXo,... <SEP> S..) <SEP> contient <SEP> Si <SEP> et
<tb> (SYo, <SEP> <B>... <SEP> S,,)</B> <SEP> contient <SEP> Si. Comme on le verra plus loin, le procédé suivant l'invention permet d'opérer à tout moment une vérification sure et automatique de la cohérence de l'ensemble de systèmes électroniques examiné et ceci quelles que soient les modifications éventuelles apportées successivement à cet ensemble.

D'autres caractéristiques et avantages de la présente invention apparaîtront à la lecture de la description va suivre et à l'examen du dessin annexé dans lequel - la figure 1 est un schéma d'un ensemble de systemes électroniques déjà décrits en préambule de la présente description, la figure 2 est un organigramme des relations fonctionnelles et structurelles qui sont établies entre les différents éléments de l'ensemble de la figure 1, cet organigramme étant utile à la description du procédé suivant l'invention, et la figure 3 est un diagramme fonctionnel d'un "routage" d'informations utilisable dans l'ensemble de la figure 1.

se réfère à la figure 2 du dessin annexé où l'organigramme représenté visualise les relations fonctionnelles et structurelles qui sont établies entre les différents éléments d'un ensemble de systèmes électroniques tels celui représenté à la figure 1. Sur cet organigramme il apparaît que ces relations sont organisées en deux branches parallèles qui vont chacune des systèmes aux données.

En effet, quel que soit le système particulier considéré dans l'ensemble, on observe que ce système est mis en ceuvre à l'aide d'un calculateur dûment programmé pour exécuter ou plusieurs fonctions consommant des données pour en produire d'autres.

ailleurs, observé du point de vue matériel, les systèmes apparaissent comme des émetteurs ou consommateurs de messages Mk, des trames Tk de données numériques par exemple, ces trames contenant des données.

ensemble des systèmes électroniques doit être cohérent aussi bien sur le plan fonctionnel que sur le plan matériel.

Suivant <SEP> le <SEP> procédé <SEP> de <SEP> vérification <SEP> de <SEP> cette <SEP> cohérence
<tb> selon <SEP> présente <SEP> invention, <SEP> pour <SEP> chaque <SEP> donnée <SEP> di <SEP> consommée
<tb> par <SEP> fonction <SEP> f <SEP> exécutée <SEP> par <SEP> un <SEP> calculateur <SEP> UCEj <SEP> formant
<tb> partie <SEP> de <SEP> l'un <SEP> (Sj) <SEP> des <SEP> systèmes, <SEP> on <SEP> recherche <SEP> l'existence
<tb> d'une <SEP> fonction <SEP> g, <SEP> exécutée <SEP> par <SEP> l'un <SEP> (UCEi) <SEP> des <SEP> calculateurs
<tb> pour <SEP> produire <SEP> ladite <SEP> donnée <SEP> di. <SEP> La <SEP> cohérence <SEP> exige <SEP> évidemment
<tb> que <SEP> l'on <SEP> trouve <SEP> une <SEP> telle <SEP> fonction <SEP> g, <SEP> dans <SEP> un <SEP> système <SEP> Si.
<tb> Celle-ci <SEP> étant, <SEP> par <SEP> hypothèse, <SEP> trouvee, <SEP> il <SEP> faut <SEP> encore
<tb> vérifier <SEP> que <SEP> les <SEP> trames <SEP> contenant <SEP> cette <SEP> donnée <SEP> circulent <SEP> bien
<tb> entre <SEP> le <SEP> ou <SEP> les <SEP> systèmes <SEP> qui <SEP> les <SEP> produisent <SEP> et <SEP> le <SEP> ou <SEP> les
<tb> systèmes <SEP> qui <SEP> les <SEP> exploitent. <SEP> Suivant <SEP> l'invention <SEP> on <SEP> identifie
<tb> alors <SEP> les <SEP> systèmes <SEP> (SXo, <SEP> ... <SEP> Sx",) <SEP> qui <SEP> produisent <SEP> les <SEP> trames <SEP> TE,
<tb> considérées <SEP> et <SEP> les <SEP> systèmes <SEP> (Syo, <SEP> ... <SEP> Syn) <SEP> qui <SEP> consomment.
<tb> L'ensemble <SEP> est <SEP> alors <SEP> considéré <SEP> comme <SEP> cohérent, <SEP> ou <SEP> du
<tb> moins <SEP> dépourvu <SEP> d'incohérence, <SEP> si, <SEP> à <SEP> la <SEP> fois <SEP> on <SEP> retrouve <SEP> le
<tb> système <SEP> Si <SEP> dans <SEP> le <SEP> groupe <SEP> des <SEP> systèmes <SEP> producteurs <SEP> (S-,o, <SEP> ... <SEP> S.)
<tb> et <SEP> le <SEP> système <SEP> S; <SEP> dans <SEP> le <SEP> groupe <SEP> des <SEP> systèmes <SEP> consommateurs <SEP> (S.0,
<tb> ... <SEP> Syn) <SEP> .
<tb> Les <SEP> trames <SEP> Tk <SEP> qui <SEP> circulent <SEP> sur <SEP> le <SEP> bus <SEP> B <SEP> (voir <SEP> figure <SEP> 1)
<tb> peuvent <SEP> passer <SEP> directement <SEP> d'un <SEP> système <SEP> Si <SEP> producteur <SEP> à <SEP> un
<tb> système <SEP> Si <SEP> consommateur. <SEP> Dans <SEP> ce <SEP> cas <SEP> les <SEP> indices <SEP> d'ordre <SEP> des
<tb> systèmes <SEP> Si <SEP> et <SEP> Si <SEP> évoqués <SEP> ci-dessus <SEP> sont <SEP> liés <SEP> par <SEP> la <SEP> relation
<tb> j <SEP> = <SEP> i <SEP> + <SEP> 1 <SEP> (1)
<tb> relation <SEP> dont <SEP> la <SEP> satisfaction <SEP> permet <SEP> alors <SEP> de <SEP> certifier
<tb> l'absence <SEP> d'incohérence <SEP> diagnostiquée <SEP> auparavant.
<tb> On <SEP> comprend <SEP> cependant <SEP> qu'une <SEP> telle <SEP> transmission <SEP> directe
<tb> de <SEP> trames <SEP> entre <SEP> systèmes <SEP> producteurs <SEP> et <SEP> systèmes <SEP> utilisateurs
<tb> oblige <SEP> à <SEP> prévoir <SEP> un <SEP> grand <SEP> nombre <SEP> de <SEP> trames <SEP> différentes <SEP> dont <SEP> la
<tb> gestion <SEP> est <SEP> d'autant <SEP> plus <SEP> lourde.
<tb> Pour <SEP> éviter <SEP> cet <SEP> inconvénient, <SEP> on <SEP> peut <SEP> prévoir <SEP> un
<tb> "routage" <SEP> des <SEP> données <SEP> à <SEP> transmettre <SEP> par <SEP> l'intermédiaire <SEP> de
<tb> trames <SEP> existantes, <SEP> ce <SEP> routage <SEP> étant <SEP> illustré <SEP> par <SEP> le <SEP> diagramme
<tb> fonctionnel <SEP> représenté <SEP> à <SEP> la <SEP> figure <SEP> 3. <SEP> Sur <SEP> ce <SEP> diagramme, <SEP> on <SEP> a
<tb> schématisé, <SEP> à <SEP> titre <SEP> d'exemple <SEP> seulement, <SEP> une <SEP> transmission <SEP> de
<tb> données <SEP> entre <SEP> un <SEP> système <SEP> S1 <SEP> exécutant <SEP> une <SEP> fonction <SEP> f1 productrice de la donnée et un système S"_1 exécutant une fonction f2 consommatrice la donnée.

Plutôt que de prévoir transmission directe entre S1 et Sn_1, qui exigerait une trame spécifique, la donnée est transportée successivement par des trames T1, T2, .... Tn_2 existantes, transmettant normalement des données entre les systèmes S1 et S2, S2 et ., Sn-2 et S,-1. Dans ce cas un système émetteur Si et système consommateur Sj ont des indices d'ordre i et j qui sont liés par la relation i < j (2) plus générale que la relation Pratiquement, pour procéder au contrôle de cohérence explicité ci-dessus on constitue, suivant la présente invention, une base de données rassemblant toutes les informations permettant de décrire l'ensemble de systèmes électroniques, aussi bien dans ses aspects fonctionnels que dans ses aspects matériels. Par ailleurs on constitue un outil logiciel propre à interroger ladite base de données, par voie de requêtes, de manière à exécuter toutes les règles de cohérence posées ci-dessus et à déterminer si celles-ci sont satisfaites et, dans le cas contraire, à identifier les données, fonctions ou systèmes qui ne satisfont pas à ces règles de manière que l'on puisse y porter remède.

A titre d'exemple illustratif et non limitatif, on pourra utiliser à cet effet le langage de requête SQL, bien connu de l'homme de métier.

Lorsqu'on met en oeuvre un tel procédé pour vérifier la cohérence d'une architecture particulière d'un ensemble de systèmes électroniques embarqués dans un véhicule automobile par exemple, on doit tenir compte de ce que cet ensemble évolue constamment pour s'adapter aux progrès techniques rapides de l'industrie automobile. Comme on l'a indiqué en préambule de la présente description, l'architecture d'un tel ensemble évolue alors constamment, tant pendant la phase de conception de l'ensemble, qu'après la première commercialisation du véhicule. Cette évolution peut concerner un ou plusieurs systèmes ou parties de systèmes, placés sous la responsabilité de personnes différentes. Il est évidemment important et nécessaire qu'une personne qui modifie le système ou la partie de systeme dont elle est responsable, puisse s'assurer que cette modification ne perturbe pas le fonctionnement de l'ensemble des systèmes. Une telle perturbation est en effet possible étant donné les multiples échanges de données qui s'opèrent entre ces systèmes, intégrés dans un réseau multiplexé.

Comme on l'a vu plus haut, pour s'assurer du maintien de la cohérence de l'ensemble, les personnes responsables évoquées ci-dessus disposent d'une base de données intégrant toutes les informations permettant de décrire structurellement et fonctionnellement l'ensemble, ces informations concernant les données manipulées, les contraintes sur ces données (valeur maximum ou minimum d'une grandeur par exemple) l'architecture de l'ensemble, les véhicules concernés, les "segments" auxquels appartiennent ces véhicules, les systèmes, leurs fonctions, les calculateurs, les liens entre données et trames, entre systèmes et trames, entre fonctions et données, entre architecture, systèmes et calculateurs, etc, etc...

Ces informations sont enregistrées dans la base moyen de "tables" correspondantes, intitulées "architecture", "véhicules", "segments", "systèmes", "fonctions"..., données "constructeur", données "fournisseur", ... "liens données trames", "liens données- fonctions", "liens systèmes -données", "liens systèmes-calculateurs", etc, etc....

Chaque responsable d'un système ou d'une partie de système est ainsi également responsable de la mise à j d'un groupe de tables associées au système ou à ladite partie du système. En cas de modification, les tables correspondantes sont mises à jour et ces tables servent à leur tour à mettre à jour la base de données. Le langage de requête évoqué '-dessus permet alors d'interroger la base mise à jour de manière à vérifier la satisfaction ou la non satisfaction des regles de cohérence posées ci-dessus. En cas de non satisfaction des règles, le logiciel en diagnostique les causes pour permettre aux personnes responsables d'y porter remède.

I1 apparaît maintenant que la présente invention permet bien d'atteindre le but fixé, à savoir permettre la réalisation automatique d'un contrôle de cohérence d'un ensemble de systèmes électroniques, aussi bien en phase de conception de celui-ci qu'en phase d'exploitation, et ceci après toute modification affectant la structure ou le fonctionnement de l'ensemble.

Bien entendu l'invention n'est pas limitée mode de réalisation décrit et représenté qui n'a été donné qu'à titre d'exemple. C'est ainsi que l'invention est applicable dans toute industrie à la vérification de la cohérence de tout ensemble de systèmes électroniques multiplexés, quel que soit le type réseau utilisé pour le multiplexage, le réseau CAN évoqué ' dessus pouvant être remplacé par un réseau VAN, par exemple De même les messages transportant les informations circulant dans le réseau pourraient être constitués autrement que par des trames d'informations numériques, par exemple par des intervalles de temps définis statiquement dans le cas d'un bus TDMA (de l'anglais Time Division Multiple Access) c'est-à- dire un pour lequel l'échange entre deux calculateurs se fait dans intervalle de temps défini à l'avance entre les deux calculateurs, ou encore par des plages de fréquences pour des média de type FDMA (de l'anglais Frequency Division Multiple Access) c'est-à-dire des média pour lesquels l'échange de données fait à des plages de fréquences convenues à l'avance entre les deux calculateurs.

Claims (4)

REVENDICATIONS

1. Procédé de contrôle de la cohérence d'un ensemble de systèmes électroniques intégrés recevant et produisant des données (di) incorporées à des messages (Mk) matérialisés par des groupes de signaux numériques se propageant sur au moins un bus multiplexé commun (B), procédé caractérisé en ce que, pour chacune des données (di) ainsi propagées, consommée par une fonction (f) exécutée par une unité de commande électronique (UCEj) formant partie 'un (Sj) desdits systèmes électroniques, a) on recherche l'existence d'une fonction (g) exécutée par une unité de commande électronique (UCEi) d'un système (Si) formant partie desdits systèmes de l'ensemble et produisant ladite donnée et, si on trouve la fonction (g), b) identifie les systèmes (Sxo, ... SX,) producteurs d'un des messages (Mk) contenant la donnée (di) et les systèmes (S,,o, ... Syn) récepteurs d'un desdits messages (Mk) contenant la donnée (di), et c) diagnostique une absence d'incohérence si

<tb> (Syo, <SEP> ...Sy") <SEP> contient <SEP> (Sj) <SEP> .

2. Procédé conforme à la revendication 1, appliqué à un ensemble de systèmes électroniques entre lesquels les messages (Mk) sont éventuellement routés à travers une suite de systèmes intermédiaires (Si, ... Sj), entre le système producteur (Si et le système consommateur (Sj), caractérisé en ce que les indices d'ordre (i) et (j) des systèmes ( -) et (Sj) sont tels que j > i.

3. Procédé conforme à la revendication 2, appliqué a un ensemble de systèmes électroniques dans lequel les messages <B>(MO</B> ne sont pas routés à travers des systèmes intermédiaires, caractérisé en ce que les indices d'ordre (i) et (j) des systèmes (Si) et (Sj) sont tels que : j = i + 1.

4. Procédé conforme à l'une quelconque des revendications 1 à 3, caractérisé en ce que lesdits messages (M#- j prennent chacun forme d'une trame (TK) de signaux numériques comprenant champ identificateur de la trame et un champ de données contenant une ou plusieurs données (di) disposées dans des parties prédéterminées dudit champ de données, chacun des systèmes de l'ensemble sélectionnant les trames contenant des données exploitées dans ledit système.

(Sxo.... <SEP> Sx") <SEP> contient <SEP> (Si) <SEP> et