Brevet FR2952202A1 — publié le 20110506

Domaine de l'invention La présente invention concerne un procédé pour déterminer des relations critiques de grippage entre des composants en réseau d'un système de véhicule consistant à utiliser un graphe qui représente au moins partiellement les relations de blocage définies dans le système du véhicule, le graphe comportant des noeuds ainsi que des côtés. L'invention concerne également un dispositif pour la mise en oeuvre d'un tel procédé. Etat de la technique Les systèmes de véhicules actuels se composent d'un grand nombre de composants de système, reliés par des réseaux et coopérant entre eux. Par exemple, pour répondre aux exigences de sécurité, on définit en général des relations de blocage entre différents composants du véhicule. Les relations de blocage sont activées ou neutralisées selon l'état des diagnostics. Ainsi, selon les états du véhicule, des diagnostics pourront ne pas être activés à cause du blocage de certaines fonctions. Selon l'état de la technique, de telles relations de blocage dans un système de véhicule sont commandées par un gestionnaire DSM (Gestionnaire de Système de Diagnostic) à l'aide d'un manipulateur d'interdiction de diagnostic DINH. Suivant l'état respectif d'un contrôle d'erreur de diagnostic DFC, on libère ou on bloque des identificateurs de fonction FID. Comme les systèmes actuels de véhicule comportent un grand nombre de composants, qui sont de plus liés par un degré de mise en réseau, important, il peut arriver que des fonctions se traduisent par une chaîne cyclique de blocage de sorte qu'aucun des identificateurs FID ne sera plus libéré dans un cycle. Un tel état est désigné usuellement par état de blocage. Un blocage en grippage ne peut plus être résolu en général si bien qu'il faut éviter au préalable qu'il ne résulte de l'application appropriée des relations de blocage. But de l'invention La présente invention a pour but d'assurer un contrôle de plausibilité DSM, permettant de déceler et d'identifier des relations de 2 blocage critiques, susceptibles d'aboutir potentiellement à un blocage. De telles relations de blocage critiques seront appelées ci-après relations critiques de blocage. La figure 1 explicite un cycle avec un grippage (ou blocage) ; le cycle portant globalement la référence 100 se compose des composants DFC décrits ci-dessus et qui portent ici les références DFC_1 et DFC_2 ainsi que des identificateurs FID_1 et FID_2. Les identificateurs FID calculent comme cela est indiqué par les flèches 110 et 111, les états des contrôleurs DFC correspondants. Les contrôleurs DFC assurent la libération ou blocage des identificateurs FID en aval, comme cela est indiqué par les flèches 120 et 121. Selon la figure 1, les flèches doubles 120, 121 montrent que les contrôleurs DFC correspondants sont à l'état bloqué. A la fois les contrôleurs DFC_1 et DFC_2 attendent dans l'état de la figure 1 la libération par l'identificateur FID correspondant ; mais cela ne s'est pas produit et c'est pourquoi, les contrôleurs sont de nouveau des contrôleurs DFC bloqués. Selon l'état de la technique, pour déterminer des relations critiques de blocage entre les composants d'un système de véhicule, il est connu d'établir un graphe copiant le système de véhicule avec des noeuds et des côtés selon les règles usuelles de la théorie des graphes ; les noeuds et les côtés représentent les composants et les relations entre les composants. Selon l'état de la technique, on recherche tous les chemins des graphes, qui relient à la fois les composants du système et les noeuds symbolisant le système, puis on recherche les cycles critiques du point de vue du blocage. De tels procédés sont part exemple décrits dans les documents DE 197 230 079 Al, US 6 223 200 B1, US 583 2484, JP 63/103934 A. Toutefois les procédés connus ont l'inconvénient de nécessité un temps inacceptable (plusieurs jours) à cause du grand nombre de chemins à examiner, du temps de parcours d'un algorithme correspondant, le tout rendant cette solution inacceptable. Une alternative consistant à ne rechercher que les chemins les plus courts dans un graphe correspondant aboutirait en revanche à ce que pour un 3 noeud on se trouvera le cas échéant dans un cycle court non critique, et ce noeud risquerait d'être donné en plus d'un cycle critique (plus long) existant. Le cycle critique ne sera pas trouvé et pourrait en pratique conduire à un grippage. Pour cela il est souhaitable de trouver un procédé optimisé pour déterminer les relations critiques de grippage, pour les indiquer, et pouvant se faire dans des temps de parcours acceptables et permettant de déterminer un nombre aussi grand que possible de relations critiques de grippage et si possible de façon complète, en io trouvant des relations critiques pour peu de cycles. Exposé et avantages de l'invention A cet effet, l'invention concerne un procédé du type défini ci-dessus, caractérisé en ce qu'on classifie au moins une partie des côtés selon les propriétés des côtés et des noeuds reliant les côtés, on 15 attribue une priorité aux côtés en fonction du classement et on détermine les cycles les plus courts, critiques de grippage pour tous les noeuds et au moins certains côtés en fonction de l'attribution de priorité. L'invention concerne également un dispositif pour la mise 20 en oeuvre de ce procédé. La présente invention développe l'enseignement technique consistant à donner l'image des côtés d'un graphe copiant les relations de blocage définies dans le système de véhicule en s'appuyant sur le fondement des propriétés des côtés et en classant les noeuds 25 reliant les côtés, en attribuant au moins la priorité à certains côtés en fonction du classement et en déterminant des cycles critiques de grippage pour seulement quelques uns de ces côtés, sur le fondement de l'attribution de priorité. Ces cycles peuvent ensuite être parcourus et on pourra définir les relations critiques de grippage sur le fondement de 30 ce parcours. La solution selon l'invention repose sur la considération que dans un graphe correspondant il existe des cycles de classes différentes ayant entre eux des lourdeurs ou des motifs de critique, différents. Pour des raisons de transcription, comme indiqué ci-dessus, 35 il n'est pas possible d'examiner tous les cycles. S'appuyant sur de telles 4 considérations, la présente invention propose ainsi une règle efficace qui garantit que dans la mesure où des éléments critiques, poussés existent, au moins l'un de ces cycles sera trouvé. Cette solution repose ainsi sur une réduction des essais de grippage par la solution du problème du cycle le plus court. Le cycle le plus court correspond au trajet le plus court entre un noeud en retour sur lui-même en passant sur au moins un côté. La solution selon l'invention consiste par exemple à associer un tuplet-n à chaque noeud ; les éléments des tuplets-n correspondent à des états critiques et n représente le nombre d'états critiques correspondants. Chaque noeud est ainsi divisé en n éléments. Les noeuds reliés par un côté ont, après division, des liaisons entre certains éléments du tuplet-n, participant. Si entre les noeuds concernés, reliés par les côtés, il n'y a pas de passage entre les niveaux critiques, ce côté des éléments du tuplet correspond aux mêmes niveaux critiques. Inversement, le côté relie des éléments ayant des niveaux critiques différents s'il n'y a pas de passage. Les passages entre les niveaux critiques sont définis selon l'invention en s'appuyant sur les propriétés des noeuds reliés et les propriétés des côtés reliant ces noeuds. L'association des tuplets-n aux noeuds, correspond à une division des graphes en n plans. Si dans un cycle, il y a un passage entre un plan à l'autre, le cycle comporte un passage de niveaux critiques. En fonction des passages définis par des côtés correspondants, on peut définir une priorité pour certaines relations de blocage ou côtés et ainsi aussi on pourra donner la priorité à des cycles pour une recherche suivante selon des relations critiques de grippage. De façon avantageuse, pour trouver l'un des cycles critiques de sorte qu'il ne sera plus nécessaire d'examiner tous les chemins mais seulement ceux qui ont des passages classés correspondants et qui ont été prioritaires pour cette raison. En attribuant une telle priorité, on pourra rechercher les chemins aux cycles les plus courts et néanmoins assurer que pour chaque noeud, on aura trouvé l'un des cycles pour chaque niveau critique (dans la mesure où il en existe au moins un). Dans ou entre les plans définis par les tuplets-n, on pourra alors rechercher selon différentes classes de cycles en se fondant sur l'attribution de priorité critique préalable. La présente invention permet ainsi une accélération significative pour déterminer les relations critiques de grippage tout en 5 identifiant les cycles critiques. Dans le cadre de la présente invention, on utilise d'une manière particulièrement avantageuse un automate d'état ayant un nombre d'états correspondant aux niveaux critiques. Le passage de l'automate d'état correspond ainsi à : (i) un passage entre des niveaux critiques entre les côtés avec en même temps, (ii) une liaison entre les éléments de tuplet correspondant à des niveaux critiques différents et ainsi également, (iii) un passage entre les plans des graphes définis par les n éléments de tuplet. Dessins La présente invention sera décrite ci-après de manière plus détaillée à l'aide de différents exemples de réalisation représentés dans les dessins annexés dans lesquels : - la figure 1 montre un graphe représentant des composants d'un système de véhicule, et qui sont en relation, le graphe représentant un état de grippage, - la figure 2 montre le fonctionnement d'un automate d'état selon un mode de réalisation particulièrement préférentiel du procédé de l'invention selon une représentation schématique, - la figure 3 montre le fonctionnement d'un automate d'état selon un autre mode de réalisation particulièrement avantageux du procédé de l'invention, selon une représentation schématique, - la figure 4 montre le fonctionnement d'un automate d'état correspondant à un autre mode de réalisation préférentiel du procédé selon l'invention, suivant une représentation schématique, - la figure 5A montre le passage entre deux noeuds d'un graphe selon un mode de réalisation particulièrement préférentiel de l'invention, - la figure 5B montre le passage entre deux noeuds d'un graphe selon un mode de réalisation particulièrement préférentiel de l'invention, 6 - la figure 6A montre un graphe simplifié, schématique pour décrire un mode de réalisation particulièrement avantageux du procédé de l'invention, - la figure 6B montre un diagramme schématique servant à décrire un mode de réalisation particulièrement préférentiel du procédé de l'invention. Description de modes de réalisation de l'invention Les figures seront décrites ci-après dans le cas d'un exemple d'un système de véhicule appliqué à un véhicule et comprenant des composants de systèmes. Dans de tels systèmes de véhicule, on peut classer les relations de blocage cycliques selon des critères croissants de la manière suivante : 1. verrouillage « dur » (verrouillage qui ne peut être libéré). Un tel verrouillage ou blocage ne peut être libéré par les fonctions du système et doit être évité dans tous les cas. 2. Verrouillage « potentiel » (grippage potentiel). Ce grippage peut, le cas échéant, se produire et être de nouveau libéré à l'aide des informations disponibles mais aucune information plus précise ne peut être développée. Comme un tel grippage ne peut être libéré que dans des conditions déterminées, il est préférable de l'éviter. 3. Verrouillage « temporaire » (grippage temporaire). Ce grippage est de nouveau libéré lors de la marche suivante. C'est pourquoi, il est considéré comme étant faiblement critique. 4. Cycle « simple » : il s'agit d'une relation de blocage cyclique qui ne se traduit en aucun cas par un grippage car à tout instant au moins l'une des relations de blocage du cycle n'est pas activée ou ne peut l'être. On peut néanmoins avoir un blocage ou grippage selon la définition de ces termes si tous les composants du système sont bloqués dans un cycle. Le but du procédé de l'invention est d'émettre les classes 1 et 2 (grippage « dur » et grippage « potentiel ») décrites ci-dessus, comme messages de défaut ou messages d'avertissement car les blocages engendrés ne peuvent être libérés et on risque un grippage qui ne pourra pas être libéré. 7 Les grandeurs d'influence dont dépend le classement d'une relation de blocage cyclique dans l'une des quatre classes décrites ci-dessus, peuvent différer par les dimensions agissant sur les côtés d'un graphe ou les dimensions agissant sur les noeuds correspondants. La terminologie dépend des termes utilisés dans les systèmes caractéristiques de véhicules. Grandeurs d'influence agissant sur les côtés : - « interdiction » avec « non test ». Il s'agit d'une relation de blocage qui reste activée aussi longtemps que la caractéristique « non test » est appliquée. L'expression « non test » (sans test), peut générer un grippage. « non test », est activé aussi longtemps qu'un composant du système est soumis à un test prédéfini. Si ce test n'est pas exécuté pour des raisons non détaillées, le composant reste bloqué. La relation de blocage est posée au début d'un déplacement. Si à cet instant, toutes les autres relations de blocage dans le cycle sont activées (relations bloquées), on a nécessairement un blocage (grippage). - « interdiction » avec « test ». Une relation de blocage de la catégorie « test » est libérée certainement au début d'un trajet. C'est pourquoi, le grippage éventuellement produit avec un composant « test », sera résolu de manière certaine au début de chaque déplacement. Grandeurs d'influence appliquées aux noeuds : - Plusieurs contrôles DFC ont été calculés par plusieurs identificateurs de fonction FID (fournisseur multiple). Un tel contrôle DFC n'est pas seulement calculé par l'identificateur FID participant aux cycles mais par d'autres identificateurs FID. Comme la combinaison précise des identificateurs FID (fonction logique ET/ OU) n'est pas connue pour les essais de grippage, on ne connait pas non plus la participation du contrôleur FID au calcul du contrôle de diagnostic d'erreur DFC ; on ne peut avoir d'information (information algorithmique) pour savoir si à ce point il y a ou non grippage. - Contrôle de diagnostic DFC avec « ResetAtlni » et côté « défectueux » consécutif. De façon analogue à « test » pour « ResetAtlni » du contrôle DFC, on revient avec certitude au début d'un trajet. Cela ne 15 8 s'applique toutefois que si le blocage suivant est un côté « défectueux ». - A l'aide des grandeurs d'influence citées on peut déterminer une classe de grippage ou une classe critique. Une grandeur d'influence agit sur la relation de blocage cyclique si elle se produit au moins une fois dans le cycle concerné. Par exemple, la grandeur d'influence « test » se répercute si au moins un côté du cycle correspond à la limite « test ». La grandeur d'état « ResetAtlni » ne sera considérée que pour un côté « défectueux » car la grandeur d'influence « ResetAtlni », n'intervient que dans ce cas. Les côtés « défectueux » dans la mesure où un cycle correspondant a une longueur > 1, n'ont pas d'influence sur la classe critique. Dans le cas particulier considéré ci-après, on a pour les cycles de longueur 1 : Côtés Côtés Classes critiques en ° a F â Û 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 Selon l'invention, pour avoir une base uniforme pour déterminer les classes de grippage ou classes critiques, on transmet les 20 propriétés des noeuds aux propriétés correspondantes des côtés. Ainsi, seules les propriétés des côtés correspondants seront retenues pour évaluer. Un côté « hérite » ainsi des propriétés du noeud de base, c'est-à-dire un côté aura alors l'attribut « alimentation multiple » si le contrôle 5 10 9 DFC ou les noeuds dont est issu le côté, présentent l'attribut « alimentation multiple ». Sur ce fondement, on peut distinguer les propriétés suivantes des côtés : - Non test - Test - Alimentation multiple - ResetAtlni - Alimentation multiple ResetAtlni - Alimentation multiple sans test - Alimentation multiple avec test Selon un mode de réalisation particulièrement 15 avantageux, pour déterminer la classe critique à laquelle appartient un cycle, on utilise un automate d'état. L'automate d'état présente un certain nombre d'états correspondant au nombre des classes critiques. L'automate d'état possède en outre un état de départ et il est utilisé pour passer dans un cycle correspondant. Selon les attributs des côtés, 20 comme présenté ci-dessus, en passant les côtés, on change ou non d'état. L'état dans lequel se trouve l'automate après la traversée du cycle (état final), reproduit la classe du cycle. La figure 2 est un ordinogramme schématique décrivant la fonction d'un automate d'état selon l'invention. Le schéma porte 25 globalement la référence 200. Un automate d'état se trouve au début 201 dans son état de base. La figure 2 montre globalement les cinq classes critiques : « simple » 210, « potentiel » 220, « simple provisoire » 250, « dur » 230 » et « temporaire » 240. La figure 2 montre en outre les propriétés des côtés 261-268 qui correspondent aux arêtes traversant 30 l'automate d'état (schématisé par les flèches de représentation 271-278). Comme le montre la figure 2, l'automate d'état change par exemple de l'état « simple » 210 à l'état « potentiel » 220 s'il passe par le côté « alimentation multiple » ou « alimentation multiple sans testée 261 ». Les passages d'état représentés à la figure et qui correspondent à 35 d'autres propriétés de côtés 262-268, ne sont pas décrits dans un but 15 20 25 10 de simplification, mais ils peuvent toutefois être directement pris dans les figures. L'état « temporaire simple », est un état auxiliaire de la classe « simple ». L'état auxiliaire est nécessaire pour mettre en mémoire un côté déjà testé ou un côté avec « ResetAtlni ». L'état auxiliaire correspond néanmoins à la classe « simple ». Comme indiqué, on a un cas particulier pour les cycles de longueur 1. Un noeud ou un contrôle DFC correspondant se bloque lui-même par un identificateur FID correspondant. Dans ce cas, les côtés « défectueux » sont caractéristiques. Une association aux lo différentes classes critiques résulte du tableau suivant : Côtés Noeuds Classes critiques o .. z o c.) cd E . d F o o 1 0 1 1 1 0 1 1 1 1 I. 0 X 1 H 1 X 1 r 0 X 1 1 X 1 Des cycles de longueur 1 peuvent être pris en compte par deux alternatives. Soit à l'aide d'une prescription étendue pour les cycles de longueur 1, on peut associer certains états d'autres classes 30 critiques à savoir l'état « simple » de la classe critique « dur », l'état « simple temporaire » de la classe critique « temporaire ». Comme l'algorithme utilisé cherche les trajets les plus courts, on aura un autoblocage dès qu'il apparaît. Tous les autoblocages ne seront trouvés que si un contrôleur DFC dispose de plusieurs chemins de blocage. 35 Cela ne correspond toutefois qu'à une exception. En variante, à l'aide 11 d'une prescription séparée, chaque contrôleur DFC séparément, pourra rechercher s'il existe un cycle de longueur 1. Si cela est vrai, on exploite de façon correspondante le tableau. De manière avantageuse, on peut trouver tous les autoblocages. L'inconvénient est qu'il faut établir deux algorithmes différents pour les alternatives. Comme indiqué ci-dessus, la classe critique « temporaire » est peu déterminante. Dans le cadre du procédé selon l'invention, il peut être nécessaire de distinguer entre « temporaire » et « simple ». De façon correspondante, on peut simplifier l'automate d'état décrit ci-dessus. Un tel automate d'état, ainsi simplifié, est représenté à la figure 3 ; il porte globalement la référence 300. Les éléments qui correspondent à l'automate d'état de la figure 2, portent les mêmes références incrémentées de 100 et ils ne seront pas détaillés ci-après. En résumé, on caractérise l'automate d'état 300 en ce que les états « simple temporaire » et « temporaire » se fusionnent dans un seul état 345. Cet état 345 ne permet pas de savoir si une relation de blocage correspond à une classe « simple » ou à une classe « temporaire ». Comme indiqué, cela n'est toutefois pas nécessaire car les relations de blocage sont considérées comme moins critiques. L'état « simple » reste ainsi conservé et permet d'utiliser comme précédemment des cycles de longueur 1 encore appelés ci-après cycles « dur ». L'automate d'état de la figure 3 permet d'être lu de façon que dès qu'une grandeur d'influence est appliquée qui est remise à l'état initial au début du trajet (« test », « ResetAtlni »), on passe à l'état « simple temporaire ». En outre, les propriétés des côtés « alimentation multiple » et « non test » (sans test), « alimentation multiple », correspondent aux états 355, 379. On a trois conditions de transition et les propriétés correspondantes des côtés selon le tableau ci-après : Condition de transition Propriété du coté Temporaire Test ResetAtlni Alimentation multiple ResetAtlni Alimentation multiple testée Potentiel Alimentation multiple Alimentation multiple non testée Dur Sans test 12 Un automate d'état qui en résulte et qui sera ultérieurement encore plus simplifié, est présenté à la figure 3 et porte globalement la référence 400. Les éléments de la figure 3 ont ici des références incrémentées de 100. Les automates d'état des grippages représentés à la figure 4 désignent un état « dur » ou « potentiel ». En outre, les grippages « simple » de longueur 1 sont émis comme grippages « dur ». L'automate d'état 400 comporte uniquement les transitions « potentiel » 475, 490, « dur » 495 et « temporaire » 480, 480', 480". Les figures 5A et 5B montrent l'association entre les tuplets-n et les noeuds. On a également montré les transitions entre les éléments des tuplets. Aux figures 5A et 5B, la référence n correspond au nombre des niveaux critiques précédemment, les éléments tuplets correspondant au niveau critique « simple », « simple temporaire », « dur » et « potentiel ». Selon une autre écriture, les tuplets pourraient être indiqués comme « simple », « simple temporaires », « dur », « potentiel ». On a représenté chaque fois les liaisons entre deux contrôleurs DFC (DFC_1 et DFC_2). La figure 5A fait passer les contrôleurs DFC_1 et DFC_2 à une transition d'état. Ainsi, seuls subsistent les éléments en tuplet de même niveau critique. En revanche, il existe à la figure 5B un côté qui se traduit par une transition d'état passant de « simple » à « dur ». Ainsi, on peut remplacer dans une certaine mesure, le plan des graphes par des transitions d'état. On n'a aucune liaison entre les éléments de tuplets correspondants à des niveaux critiques différents. La figure 6A montre un graphe 610 plus simple formé des noeuds 1, 2, 3, 4 et à l'aide duquel, le procédé selon l'invention sera décrit à titre d'exemple suivant une forme de réalisation préférentielle. Le graphe 610 comprend les cycles 1-2-1 et 2-3-4-2 (cycles simples) ainsi qu'un cycle en « huit » à savoir 1-2-3-4-2-1. De tels cycles en « huit », sont de cycles dans lesquels un certain noeud se présente plusieurs fois. En conséquence, on examinera ci-après si de tels cas existent dans lesquels les cycles simples ne sont pas critiques, mais dans lesquels le cycle de huit est critique. On examinera en outre si, le procédé de l'invention peut traiter un tel cycle de huit. 13 Un grippage est actif si toutes les relations de grippage ou de blocage du cycle sont activées. Ainsi, il y a également un grippage dans un cycle en huit, si toutes les relations de blocage sont activées dans le cycle de huit. Ainsi, dans les cycles les plus simples, toutes les relations de blocage doivent être activées et on doit également avoir un grippage dans les cycles. Un cycle en huit n'est critique que si les cycles simples sont critiques. Un algorithme qui sera examiné selon les chemins les plus courts, s'utilisera dans le cadre de la présente invention s'il n'y a pas de cycle en huit car dans ce cas, il existe toujours un chemin plus court (à savoir celui de chaque cycle simple). Si, selon l'invention, on divise un noeud en tuplets, le noeud se décompose en quatre éléments et on perd ainsi « l'identité » entre les quatre éléments. Si dans le graphe 610, le côté 2-3 est un côté « non test », tous les autres côtés sont des côtés « défectueux ». A la figure 6B, on a représenté un trajet entre le noeud 1 (« simple ») vers le noeud 1 (« dur »), c'est-à-dire un cycle 1-2-3-4-2-1 analogue à celui des figures 5A, 5B. Ce trajet sera trouvé par un algorithme cherchant les chemins les plus courts car il s'agit d'un unique chemin simple, conduisant de l'élément de tuplet 1 (« simple ») vers 1 (« dur ») et utilisant ainsi le fait dans le cadre de l'attribution de priorité selon l'invention. L'information selon laquelle le noeud 2 est traversé deux fois, sera perdue car le chemin passe par des éléments de tuplet différents du noeud 2. Le cycle critique 2-3-4-2 est trouvé par l'algorithme. En plus toutefois, un algorithme de huit 1-2-3-4-2-1, n'aura pas à être séparé tous les jours par filtrage. Le cycle 1-2-1 n'est pas trouvé car il ne contient pas de passage avec effet de priorité. Comme celui-ci ne se compose que de côtés « défectueux », il n'est pas tellement critique. Le procédé selon l'invention sera regroupé une nouvelle fois en d'autres mots. Tout d'abord, pour les noeuds on définit les propriétés (« ResetAtlni »), (« alimentation multiple »). On classe les côtés à l'aide des propriétés des noeuds et des propriétés qui sont également à définir pour les côtés restants. 14 Dans l'étape suivante, on élimine les identificateurs FID car ceux-ci ne fonctionnent entre les chemins que pour les allonger. Les relations de blocage agissant sur un identificateur FID seront représentées sur le contrôleur DFC suivant pour être calculées par cet identificateur FID. Le nom FID peut toutefois être enregistré dans une propriété de caractéristiques différentes pour qu'il puisse être émis par l'émission d'un message d'avertissement. Dans une étape suivante, on établit une structure de données pour une recherche de grippage. Chaque noeud du graphe peut ainsi être copié sur un tuplet ou sur quatre tuplets. Chaque tuplet 4 comporte des éléments de tuplet qui correspondent aux quatre états d'un automate d'état (« simple », « simple temporaire », « dur », « potentiel »). Pour chaque élément du tuplet, on insère un côté entre deux noeuds dans les graphes. Si un noeud aboutit à une relation dans les automates, elle se traduit, dans le graphe, par des éléments de tuplets différents. Au cas contraire, le côté arrive sur le même élément de tuplet dans le noeud de destination. Les graphes construits de cette manière, ne permettent pas de rechercher le trajet le plus court ou les cycles les plus courts. Par noeud, on a trois solutions caractéristiques : 1. Plan « simple » sur le plan « simple » de longueur 1, (pour l'identification des grippages) 2. Plan « simple » sur le plan « dur », 3. Plan « simple » sur le plan « potentiel ». Ces trajets caractéristiques sont utilisés dans le cadre d'une attribution de priorité permettant d'obtenir des cycles caractéristiques qui font suite ou sont déterminés de manière préférentielle. Dans le schéma des figures 5A, 5B qui seront décrites ci- après, on décrit les chemins suivants : 1. DFC_1 [simple] -> DFC_1 [simple] et longue 2. DFC_1 [simple] -> DFC_1 [dur] 3. DFC_1 [simple] -> DFC_1 [potentiel] Dans une étape suivante, on élimine les cycles en huit comme cela a été décrit ci-dessus. En outre, pour pouvoir identifier des grippages trouvés plusieurs fois, il faut « normaliser » les grippages. Le noeud de départ d'un grippage est le contrôleur DFC qui classe par ordre alphabétique. Tous les grippages avec le même noeud de départ, ne peuvent être contrôlés que pour leur identité. Le procédé selon l'invention offre les avantages suivants : Comme le procédé selon l'invention ne recherche pas dans tous les cycles, mais seulement dans des cycles de trajet le plus court, tous les identificateurs ne sont pas identifiés comme des grippages. Toutefois, si pour un noeud il existe plusieurs cycles, en divisant le noeud comme tuplet, on peut trouver avec certitude un cycle de la classe critique. Cela permet en cas de grippage de la classe « dur », de l'ouvrir successivement en éliminant le grippage trouvé et ensuite en redémarrant la recherche. Les grippages de la classe « potentiel » pourront être éliminés successivement seulement jusqu'à ce qu'un classement soit considéré comme non caractéristique. Si pour chaque grippage il existe au moins un noeud qui n'est contenu que dans ce grippage, on trouve tous les grippages. Il est particulièrement avantageux que le procédé selon l'invention puisse être optimisé en réduisant la quantité de données à examiner dans la mesure où tous les noeuds ne sont pas éliminés et qui ne pourraient participer à aucun cycle, par exemple parce qu'ils ont des entrées ou des côtés de sortie. En outre, les algorithmes peuvent également s'utiliser même avec une faible durée de vie comme par exemple l'algorithme de feuille de vigne. Le procédé selon l'invention a été contrôlé dans certains états de programme choisis de manière aléatoire par comparaison aux algorithmes de l'état de la technique. L'algorithme selon l'invention est, dans tous les cas, mis à l'état dans un temps de parcours inférieur à 90 secondes, alors que les algorithmes de l'état de la technique nécessitaient plusieurs jours (interruption de l'essai après 100 heures). Selon une autre caractéristique de l'invention, on représente par les graphes seulement les composants qui participent le moins à un cycle. R 2952202 16 Suivant une autre caractéristique avantageuse de l'invention, on associe un nombre de points de combinaison correspondant aux différentes classes critiques à au moins une partie des noeuds. 5 Dans ce contexte, les points de combinaison de classes critiques égales ou différentes sont reliés par les côtés reliant les noeuds. De manière plus particulière à l'aide des liaisons, on détermine les cycles les plus courts qui ont des côtés reliant les points 10 de combinaison de classes critiques différentes. Enfin, suivant une autre caractéristique, on définit les points de combinaison sous la forme de tuplets-n, (n) étant le nombre de classes critiques. 15 REVENDICATIONS1 °) Procédé pour déterminer des relations critiques de grippage entre des composants en réseau d'un système de véhicule, procédé selon lequel, on utilise un graphe (100, 610) qui représente au moins partiellement les relations de blocage définies dans le système de véhicule, le graphe comportant des noeuds (DFC_l, DFC_2, FID_1, FID_2, 1, 2, 3, 4) ainsi que des côtés (110, 111, 120, 121), procédé caractérisé en ce qu' on classifie au moins une partie des côtés (110, 111, 120, 121) selon les propriétés des côtés (110, 111, 120, 121) et des noeuds (DFC_1, DFC_2, FID_l, FID_2, 1, 2, 3, 4), reliant les côtés, on attribue une priorité aux côtés (110, 111, 120, 121) en fonction du classement et on détermine les cycles les plus courts, critiques de grippage pour tous les noeuds et au moins certains côtés (110, 111, 120, 121) en fonction de l'attribution de priorité. 2°) Procédé selon la revendication 1, caractérisé en ce qu' on fait la classification en s'appuyant sur les propriétés critiques des noeuds (DFC_1, DFC_2, FID_1, FID_2, 1, 2, 3, 4) et des côtés (110, 111, 120, 121). 3°) Procédé selon la revendication 1, caractérisé en ce qu' on représente par les graphes (100, 610) seulement les composants qui participent le moins à un cycle. 4°) Procédé selon la revendication 1, caractérisé en ce qu' on utilise un automate d'état (200, 300, 400) ayant un nombre d'états (210, 220, 230, 240, 250, 310, 320, 330, 345, 355, 410, 420, 430, 445), et selon lequel le passage des côtés (261, 268, 361, 363, 365, 367, 368, 475, 480, 480', 480", 490, 495) d'un classement déterminé se traduit par un passage d'état.35 18 5°) Procédé selon la revendication 4, caractérisé en ce que les cycles sont passés par les automates d'état (200, 300, 400) et l'évaluation des relations critiques de grippage se fait selon l'état final des automates d'état (200, 300, 400). 6°) Procédé selon la revendication 1, caractérisé en ce qu' on associe un nombre de points de combinaison correspondant aux différentes classes critiques à au moins une partie des noeuds (DFC_1, DFC_2, FID_1, FID_2, 1, 2, 3, 4). 7°) Procédé selon la revendication 6, caractérisé en ce que les points de combinaison de classes critiques égales ou différentes sont reliés par les côtés reliant les noeuds (DFC_l, DFC_2, FID_1, FID_2, 1, 2, 3, 4). 8°) Procédé selon la revendication 7, caractérisé en ce qu' à l'aide des liaisons, on détermine les cycles les plus courts qui ont des côtés reliant les points de combinaison de classes critiques différentes. 9°) Procédé selon la revendication 6, caractérisé en ce qu' on définit les points de combinaison sous la forme de tuplets-n, (n) étant le nombre de classes critiques. 10°) Dispositif pour la mise en oeuvre d'un procédé selon l'une des revendications 1 à 9, caractérisé en ce qu' il comporte des moyens pour classifier au moins une partie des côtés (110, 111, 120, 121) en se fondant sur les propriétés des côtés (110, 111, 120, 121) et des noeuds (DFC_1, DFC_2, FID_1, FID_2, 1, 2, 3, 4) reliant les côtés, des moyens pour attribuer une priorité aux côtés (110, 519 111, 120, 121) en fonction du classement et des moyens pour déterminer les cycles les plus courts critiques de grippage pour tous les noeuds et au moins certains côtés (110, 111, 120, 121) en fonction de l'attribution de priorité. 10