FR 2954496 A1 20110624 FR 0959513 A 20091223 1 Procédé de diagnostic d'un disfonctionnement d'un système mécatronique La présente invention concerne un procédé de diagnostic d'un disfonctionnement d'un système mécatronique, un outil pour la mise en oeuvre de ce procédé, ainsi qu'un procédé de génération d'une table de signatures pour la mise en oeuvre du procédé de diagnostic. L'électronique est utilisée dans l'industrie automobile pour la mise en oeuvre d'une multitude de fonctionnalités. Les systèmes électroniques embarqués dans les véhicules sont aujourd'hui architecturés autour d'Unités Electroniques de Contrôle (UEC). Ces UEC sont connectées les unes aux autres via des réseaux informatiques, généralement des réseaux ou bus CAN, et sont reliées aux systèmes physiques via des capteurs et des actionneurs. Les composants physiques, qu'ils soient électroniques, mécaniques, hydrauliques ou thermiques par exemple, sont constamment surveillés et contrôlés par les UEC. Les UEC forment ainsi des systèmes de commande, et les composants physiques les systèmes commandés. L'ensemble de l'électronique véhicule permet la réalisation de différentes fonctions, la réalisation d'une fonction pouvant nécessiter un ou plusieurs UEC. Cette notion de fonction est importante car c'est en termes de défaut sur cette fonction qu'un usager décrit son problème à un garagiste. C'est la première information que reçoit le garagiste. Une fonction est l'ensemble des ressources (UEC, partie de logiciel, réseaux, composants électroniques et mécaniques...) nécessaires à la réalisation d'une prestation. La maintenance des véhicules, et notamment le diagnostic de panne en garage, est ainsi devenu un véritable problème. Les systèmes de diagnostic connus font appel à des méthodes basées sur la modélisation des composants physiques, qui déterminent des valeurs statiques, à comparer avec la mesure effectuée lors d'un test. Ces méthodes demeurent assez rudimentaires de sorte qu'aujourd'hui, dans les garages, le diagnostic des systèmes mécatroniques basé sur ces méthodes repose principalement sur les connaissances du garagiste ou sur des arbres de diagnostic construits manuellement. Il est indispensable de donner aux opérateurs des outils d'aide à la maintenance de plus en plus performants. La présente invention vise à proposer un procédé performant de diagnostic d'un système mécatronique et un outil adapté à la mise en oeuvre de ce procédé. A cet effet, la présente invention propose un procédé de diagnostic d'un système mécatronique, suivant lequel : a) en réponse à l'observation d'un disfonctionnement d'une fonction dudit système, on choisit un premier parmi une pluralité de tests (Ti) prédéterminés de ladite fonction, b) on met en oeuvre ledit premier test choisi (Ti) pour recueillir un signal temporel de test représentatif d'une première variable observable de ladite fonction, c) on compare le signal temporel de test recueilli à un ensemble de signaux temporels de référence associés chacun à l'un de plusieurs modes de disfonctionnement (Fi) connus de ladite fonction, d) on sélectionne, par ressemblance entre ledit signal temporel de test et lesdits signaux de référence, auquel desdits signaux de référence correspond le signal temporel de test recueilli, e) on identifie ledit disfonctionnement observé si le signal de référence sélectionné est spécifique à un seul desdits modes de disfonctionnement (Fi) connus, et f) dans le cas contraire, on répète les étapes a) à d) avec un nouveau test (Ti) jusqu'à l'obtention d'une séquence de signaux de référence sélectionnés qui, pour les tests mis en oeuvre successivement, est spécifique à un seul desdits modes de disfonctionnement connus. Grâce au procédé selon l'invention, la comparaison opérée entre un signal représentant l'évolution dans le temps d'une variable observable et un signal de référence permet, par la richesse des informations qu'elle met en jeu, de rendre compte avec une pertinence bien supérieure d'un beaucoup plus grand nombre de disfonctionnements que la simple comparaison conventionnelle entre la valeur prise à un instant donné par cette variable observable et une valeur, une fourchette ou un seuil de référence. En effet, une telle comparaison selon l'état de la technique porte sur une valeur statique et ignore tout régime transitoire ou périodique. Selon d'autres caractéristiques du procédé de diagnostic selon l'invention considérées seules ou en combinaison : - on compare également ledit signal temporel de test à un signal de référence représentatif d'un mode de bon fonctionnement de ladite fonction ; - le procédé comprend également une étape de sélection de l'un desdits signaux de référence en réponse à une observation directe par un opérateur de ladite variable observable (Oi). - ladite variable observable (Oi) est un paramètre de ladite fonction ; ladite variable observable (Oi) est une grandeur physique mesurée sur un composant physique de ladite fonction; - chaque test de ladite pluralité de tests (Ti) consiste à recueillir ledit signal de test dans une configuration donnée de ladite variable observable (Oi) ; - ledit nouveau test porte sur ladite première variable observable (Oi) dans une configuration différente de celle dudit premier test ou sur une variable observable (Oi) différente de ladite première variable observable ; - chacun desdits signaux de référence est représentatif d'une classe d'équivalence (M;;) de signaux de signature individuelle regroupés par ressemblance et dont chacun est la signature de l'une desdites variables observables dans une configuration donnée et un mode de fonctionnement donné ; - lesdits signaux de référence sont stockés dans une table dans laquelle l'un desdits tests est associé à chacune desdites variables observables dans chacune de ses configurations, dans ses différents modes de fonctionnement anticipés. L'invention concerne également un outil de diagnostic, pour la mise en oeuvre du procédé de diagnostic précité, comprenant un calculateur, au moins une mémoire, des moyens d'interface homme-machine comportant au moins des moyens d'affichage, et des moyens d'acquisition de variables dudit système reliés au calculateur, cet outil étant remarquable en ce que : - lesdits signaux temporels de référence sont stockés dans ladite mémoire (6), - ledit calculateur est adapté pour mettre en oeuvre ledit test et acquérir ledit signal temporel de test à partir desdits moyens d'acquisition, - ledit calculateur est adapté pour remplir l'une au moins des deux fonctions comprenant : - l'affichage dudit premier signal temporel de test et ledit ensemble de signaux de référence associés audit test, - la comparaison dudit premier signal temporel de test avec ledit ensemble de signaux de référence associés audit test et la détermination de ladite classe d'équivalence dudit premier signal temporel de test. Selon d'autres caractéristiques de l'outil de diagnostic selon l'invention considérées seules ou en combinaison : - ledit premier signal temporel de test et ledit ensemble de signaux de référence associés audit test sont affichés sur lesdits moyens d'affichage pour permettre visuellement ladite comparaison par un opérateur - la comparaison dudit premier signal temporel de test avec ledit ensemble de signaux de référence associés audit test est faite visuellement par l'opérateur, par l'intermédiaire des moyens d'affichage de l'outil ou, avantageusement, le calculateur est programmé pour opérer la comparaison dudit premier signal temporel de test avec ledit ensemble de signaux de référence associés audit test ; - les moyens d'acquisitions de variables comportent un circuit électronique de diagnostic doté d'une prise de diagnostic, et/ou un circuit électronique de mesure de grandeurs physiques. L'invention concerne en outre un procédé d'obtention d'une table de signatures pour la mise en oeuvre du procédé de diagnostic précité, ce procédé étant remarquable en ce que: - on modélise l'ensemble des ressources nécessaires à la réalisation d'une fonction du système mécatronique, - on simule un ensemble de tests de ladite fonction en mode de bon fonctionnement, et dans les divers modes de disfonctionnement anticipés, pour toutes les configurations possibles des ressources de la fonction, - on génère un signal de signature individuelle pour chacune des simulations, on compare ces signaux de signature individuelle entre eux, - on regroupe, en fonction de leur ressemblance, lesdits signaux de signature individuelle en une pluralité de classes d'équivalence dont chacune est représentée par un signal de référence, et - on construit ladite table en associant à chacun desdits modes de fonctionnement, pour chacun desdits tests, l'un desdits signaux de référence. Selon d'autres caractéristiques du procédé d'obtention d'une table de signatures selon l'invention considérées seules ou en combinaison : - la modélisation à l'étape i) est réalisée hiérarchiquement, et décomposée jusqu'aux composants élémentaires de la fonction ; - la modélisation à l'étape i) est une modélisation causale des systèmes de commande, et une modélisation acausale des systèmes commandés. - la simulation à l'étape ii) est réalisée uniquement pour des variables observables par l'opérateur. - le regroupement des signaux de signature individuelle à l'étape v) est opéré par un algorithme de ressemblance de signaux. - un signal temporel de référence représentatif d'une première classe d'équivalence doit être distinct du signal temporel de référence représentatif d'une deuxième classe d'équivalence, afin de pouvoir être distingués visuellement par le garagiste. L'invention va maintenant être décrite plus en détails, seulement à titre d'exemple et de façon non limitative, en regard des figures annexées et dans lesquelles : - les figures 1, 1 a, 1 b sont des tables de signature selon un mode de réalisation de la présente invention ; - les figures 2, 2a sont des représentations schématiques d'un outil de diagnostic selon l'invention ; - la figure 3 est une représentation du modèle global de la fonction d'essuyage de la glace arrière d'un véhicule; - la figure 4 est une représentation du modèle du calculateur habitacle de la fonction modélisé à la figure 3 ; - la figure 5 est une représentation du modèle du logiciel du calculateur modélisé à la figure 4 ; - la figure 6 est une représentation du modèle du moteur d'essuyage de la fonction modélisé à la figure 3 ; - la figure 7 est un exemple d'une modélisation par automate d'un composant de la fonction modélisé à la figure 3 ; - la figure 8 représente une matrice de résultats obtenue par une simulation de la fonction d'essuyage de la glace arrière d'un véhicule; et - la figure 9 représente une matrice de signature de fautes dérivée de la matrice de résultats de la figure 8. Les systèmes mécatroniques, tels que les véhicules automobiles, comportent des composants électroniques associés à des composants mécaniques, et/ou électromécaniques, et/ou hydrauliques, et/ou pneumatiques, etc., et de plus en plus fréquemment à des composants logiciels. Le disfonctionnement d'un tel système mécatronique s'avère difficile à diagnostiquer. Depuis que les véhicules automobiles comportent beaucoup d'électronique, quand un usager détecte un disfonctionnement de son véhicule et le signale à un garagiste, celui- ci procède au diagnostic au moyen d'un outil électronique de diagnostic qui peut être connecté à une prise de diagnostic du véhicule pour mettre en oeuvre un procédé de diagnostic. Le procédé de diagnostic suivant l'invention sera maintenant décrit à propos d'un véhicule automobile, mais il doit être compris que l'invention est applicable à d'autres systèmes mécatroniques que des véhicules automobiles. Dans un véhicule automobile, une fonction peut être définie comme l'ensemble des ressources (UEC, partie de logiciel, réseaux, composants physiques, électroniques, mécaniques, thermiques...) nécessaires à la réalisation d'une prestation. Ces ressources constituent des variables de la fonction qui peuvent prendre différentes configurations. Par exemple, s'agissant d'un interrupteur, celui-ci peut être à l'état fermé ou ouvert. On appelle configuration de la fonction l'ensemble constitué de la configuration de chaque ressource. Les variables du système mécatronique qui sont susceptibles d'être observées et testées par le garagiste sont dénommées ci-après variables observables, ou simplement observables. Ces observables peuvent être de trois catégories. Les observables fonctionnelles sont les abstractions d'une variable physique, directement appréhendable par le garagiste. A titre d'exemple, une vitesse de rotation des balais d'essuie glace dont le signal est une sinusoïde peut être traduite en observation fonctionnelle par une information à deux paramètres, à savoir les balais sont en mouvement, ou les balais sont à l'arrêt. Les observables de type paramètre sont l'ensemble des paramètres que l'on peut obtenir directement grâce à un outil de diagnostic connecté à une prise diagnostic du véhicule. Enfin les observables de type grandeurs physiques sont toutes les grandeurs physiques susceptibles d'être mesurées sur un système commandé, c'est-à-dire sur des composants physiques. Ces mesures physiques peuvent être par exemple électriques, comme des mesures de potentiel, hydrauliques, comme des mesures de pression, etc. Le procédé de diagnostic suivant l'invention implique de procéder à un ou plusieurs tests sur un ou plusieurs observables d'une fonction dont un disfonctionnement a été détecté. Un test est l'observation d'un observable dans une configuration de la fonction donnée. C'est donc un couple (observable, configuration). Les observations fonctionnelles relatives au disfonctionnement détecté effectuées par un usager ou un garagiste permettent de déterminer quel est le test, ou la série de tests, le plus approprié à l'étude de ce disfonctionnement. Un test Ti est initialement choisi par le garagiste. Le choix de ce test à effectuer peut être laissé à l'initiative du garagiste, ou être guidé par un algorithme déterminant la pertinence de tel ou tel test en fonction des observations fonctionnelles précédentes. Au cours de ce test Ti, on recueille soit au moyen d'une prise de diagnostic, soit par mesure de grandeurs physiques, soit au moyen d'une observation fonctionnelle un premier signal temporel de test correspondant à un observable O; dans une configuration du système donnée C. Ce test doit être réalisé durant un certain temps. Sa durée doit être de l'ordre de grandeur de deux fois la période maximale des phénomènes périodiques qui existent dans le système, et supérieure à la durée de tous les transitoires. Ce premier signal temporel de test est alors comparé à un ensemble de signaux temporels de référence présents dans une table ou matrice des signatures M, représentée à la figure 1. Ces signaux temporels de référence, qui peuvent être générés par simulation comme décrit dans la suite, ont également des durées de l'ordre de grandeur de deux fois la période maximale des phénomènes périodiques qui existent dans le système afin de pouvoir comparer des signaux ayant sensiblement la même durée. La table des signatures M, ou table des modalités, associe une signature à chacun des modes de fonctionnement, à savoir le mode de bon fonctionnement et l'ensemble des modes de disfonctionnement anticipés, des observables de la fonction étudiée dans chacune de leur différentes configurations. Dans l'exemple de table des signatures représentée à la figure 1, trois modes de disfonctionnement F1, F2, F3 ont été représentés, ainsi que le mode de bon fonctionnement F0, pour trois observables 01, 02, 03 qui peuvent être observées dans une configuration de la fonction CO et une configuration de la fonction Cl. A chaque mode de fonctionnement donné d'un observable donné dans une configuration donnée est associé dans la table des signatures de la figure 1 une signature constituée par un signal temporel de référence M;;. Chaque signal de référence M;; est représentatif d'une classe d'équivalence, aussi nommée modalité et également désignée par la référence M;;, qui regroupe par ressemblance un certain nombre de signaux temporels de signature individuelle. Ces signaux de signature individuelle sont les véritables signatures des différents modes de fonctionnement des observables dans les différentes configurations de la fonction. Ces signaux de signature individuelle sont obtenus de préférence par simulation des différentes fonctions à diagnostiquer, selon un procédé qui sera décrit ci-après. Dans l'exemple représenté à la figure 1, le même signal de référence Mä constitue la signature du mode de fonctionnement FO pour l'observable 01 dans une configuration CO et celle du mode de fonctionnement F2 pour l'observable 01 dans cette même configuration CO. Autrement dit, un observable peut avoir un même signal de référence ou classe d'équivalence M;;, pour plusieurs modes de fonctionnement distincts dans une configuration donnée. On appelle ensemble d'ambiguïté l'ensemble des modes de fonctionnement suspects à un moment donné de la session de diagnostic, c'est-à-dire le bon fonctionnement FO ou les disfonctionnements F1, F2 ou F3 dans le cas de la figure 1. Au début d'une session de diagnostic, tous les modes de fonctionnement sont suspects. C'est l'ensemble d'ambiguïté total. Pour la figure 1 nous avons {F0, F1, F2, F3}. Ensuite la réalisation des tests va permettre de réduire cet ensemble d'ambiguïté. Le processus s'arrête quand l'ensemble d'ambiguïté ne comporte qu'un seul élément, même si cet élément est le bon fonctionnement. Le signal temporel de test recueilli lors du test Ti effectué par le garagiste est comparé aux signaux de référence contenus dans la table des signatures M pour ce test Ti afin de déterminer par ressemblance à quelle classe d'équivalence appartient ce signal de test. Cette détermination par ressemblance peut être faite par un algorithme tel que l'algorithme DTW (Dynamic Time Warping), ou visuellement par le garagiste, comme décrit ci après. Si pour ce test Ti, le signal de référence sélectionné correspond à une classe d'équivalence spécifique à un seul des modes de fonctionnement de l'observable dans la configuration testée, ledit mode de fonctionnement Fi se trouve directement identifié. Par exemple dans la figure 1, si le test choisi est Ti et que le signal correspond à la modalité M12 le diagnostic s'arrête car l'ensemble d'ambiguïté n'est plus que {F1}. De la même manière si le signal correspond à M13, l'ensemble d'ambiguïté est alors {F3}. Et le diagnostic s'arrête sur cette faute. Dans le cas ou la classe d'équivalence sélectionnée à partir du signal de test est commune à plusieurs modes de fonctionnement, un nouveau test doit être effectué pour déterminer lequel de ces modes de fonctionnement est à retenir. Plus généralement quand l'ensemble d'ambiguïté contient plus d'un mode fonctionnement on doit procéder à d'autres tests. A titre d'exemple, comme représenté à la figure 1 a, si pour le test Tl le signal de référence sélectionné correspond à la classe d'équivalence M,,, les modes de fonctionnement peuvent être FO et F2. L'ensemble d'ambiguïté est alors {F0, F2}. Le diagnostic doit continuer, il convient alors de procéder à un nouveau test, différent du test précédent. Ce nouveau test peut porter sur un observable différent de celui testé précédemment, ou peut porter sur le même observable dans une configuration différente. Le choix de ce nouveau test à effectuer peut être laissé à l'initiative du garagiste, ou être guidé par un algorithme déterminant la pertinence de tel ou tel test en fonction du test précédent et des résultats trouvés. Au cours de ce nouveau test, on recueille un second signal temporel de test Ti, représentatif d'un observable de ladite fonction, dans une configuration donnée. Ce second signal temporel est alors comparé aux signaux de référence présents dans la table de signatures pour les modes de fonctionnement de l'observable dans la configuration qui est celle du test. On détermine alors par ressemblance à quel signal de référence, donc à quelle classe d'équivalence, le second signal temporel correspond. Cette détermination par ressemblance peut être faite par un algorithme tel que l'algorithme DTW (Dynamic Time Warping), ou visuellement par le garagiste. Les enseignements des tests successifs pratiqués sont combinés pour déterminer si la séquence des classes d'équivalence M;; sélectionnées successivement est spécifique à un seul des modes de fonctionnement Fi. Si c'est le cas, ledit mode de fonctionnement Fi est identifié. A titre d'exemple, comme représenté à la figure 1 b, si le test Ti de l'observable 01 dans la configuration CO a conduit à sélectionner la classe d'équivalence M,,, l'ensemble d'ambiguïté est {F0, F2}. Puis, si le test T2 du même observable dans la configuration Cl a conduit à sélectionner la classe d'équivalence M23, l'ensemble d'ambiguïté n'est alors plus que {F2}. La séquence M,,, M23 est spécifique au mode de disfonctionnement F2 de l'observable 01. Un disfonctionnement est identifié, le diagnostic peut s'arrêter. Le procédé de diagnostic décrit ci-dessus peut être mis en oeuvre au moyen d'un outil de diagnostic tel que celui représenté à la figure 2. Avantageusement, cet outil de diagnostic 2 se présente sous la forme d'un ordinateur portable, facilement transportable par le garagiste vers le véhicule sur lequel il doit intervenir. En se reportant également à la figure 2a, cet outil de diagnostic 2 comporte un calculateur 4 et au moins une mémoire 6, dans laquelle la table des signatures M est mémorisée. Il comporte en outre des moyens d'interface homme-machine comme un clavier 8 et des moyens d'affichage 10. L'outil de diagnostic 2 comporte également des moyens d'acquisition 12 de variables du système mécatronique du véhicule, à savoir un circuit électronique de diagnostic 14 doté d'une prise de diagnostic (non représentée) susceptible d'être connectée à une prise de diagnostic complémentaire d'un véhicule automobile et un circuit électronique de mesure de grandeurs physiques 16, par exemple une tension ou une pression hydraulique, doté également de moyens capteurs appropriés.(non représentés) Le circuit électronique de diagnostic et le circuit électronique de mesure sont reliés par des moyens de connectique 18 appropriés au calculateur 4. Le circuit électronique de diagnostic 14 et le circuit électronique de mesure 16 peuvent être physiquement séparés de l'ordinateur ou bien se présenter sous forme de cartes électroniques intégrées à celui-ci. En fonctionnement, une fois en possession d'une description fonctionnelle d'un disfonctionnement d'une fonction d'un véhicule, et le cas échéant après une première observation fonctionnelle, le garagiste choisit un premier test sur l'ordinateur, procède aux connections requises et effectue ce premier test sur une des variables observables permettant de réaliser la fonction incriminée. Le calculateur 4 commande les moyens d'acquisition 12 pour acquérir le signal temporel de test. Selon une première forme de réalisation, le calculateur 4 est adapté pour permettre l'affichage simultané, sur les moyens d'affichage 10, d'une part du signal temporel de test recueilli, et d'autre part de l'ensemble des signaux de référence associés à ce test donné dans la table des signatures. Cet affichage simultané permet au garagiste de comparer visuellement ces signaux temporels et de déterminer lui-même quel est le signal de référence qui présente la plus grande ressemblance avec le signal de test recueilli. Du fait qu'ils correspondent à des classes d'équivalences, les signaux de référence sont en nombre limité de sorte qu'ils se distinguent les uns des autres par des formes caractéristiques débarrassées de certaines singularités, ce qui facilite leur comparaison avec le signal de test et le classement de celui-ci dans une parmi plusieurs classes d'équivalences. Dans une variante de réalisation, le calculateur 4 est programmé pour opérer la comparaison du premier signal temporel de test recueilli avec l'ensemble des signaux de référence correspondant audit test dans la table des signatures M, et pour déterminer à quelle classe d'équivalence appartient le premier signal temporel de test. Si la comparaison entre le premier signal temporel et les signaux de référence aboutit à une classe d'équivalence spécifique à l'un des modes de disfonctionnement associés au test, l'outil de diagnostic 2 signale à l'opérateur par les moyens d'affichage 10 quel est le disfonctionnement est identifié. Sinon l'outil signale à l'opérateur qu'un nouveau test doit être effectué. Suivant le mode de réalisation, le nouveau test peut être choisi manuellement par l'opérateur ou proposé par le calculateur 4 par un calcul d'optimisation locale ou globale du choix du test. En effet, le calculateur 4 peut être avantageusement programmé pour déterminer quelle est la séquence de tests à mettre en oeuvre pour effectuer avec un coût minimum le diagnostic de la fonction du système. Cette détermination peut être faite au moyen d'un algorithme qui utilise la table des signatures comme entrée, et prend en compte en outre des informations telles que les coûts intrinsèques des tests, les coûts de changement de configuration, les coûts d'instrumentation, ou encore les probabilités des disfonctionnements. Une optimisation locale du choix du test, c'est-à-dire décider quel est le prochain meilleur test, peut être mise en place et actualisée après chaque test effectué par le garagiste. Une seconde solution peut être la mise en place d'un graphe formant une arborescence générale des tests, et d'un algorithme de recherche dans ce graphe, pour l'optimisation globale du choix des tests. La séquence des classes d'équivalences sélectionnées lors des tests successifs est mise à jour et mémorisée au moins jusqu'à l'obtention d'un diagnostic. Une liste des tests à venir par ordre de pertinence peut être présentée au garagiste sur les moyens d'affichage 10, sans que le garagiste soit contraint dans son choix. Si le test conseillé est une observation fonctionnelle à effectuer par le garagiste, celui-ci peut utiliser le clavier 8 pour entrer dans le calculateur 4 le résultat observé visuellement. Le procédé permettant de construire, pour une fonction donnée, la table ou matrice des signatures par modélisation et simulation de cette fonction sera maintenant décrit. La construction de la table des signatures nécessite dans un premier temps une modélisation de l'ensemble des ressources (UEC, réseaux, composants physiques et électroniques) nécessaires à la réalisation d'une fonction du système mécatronique. Le principe de la modélisation consiste en une approche basée sur des modèles de l'ensemble de la fonction. Celle-ci se décompose en un système commandé et un système de commande. Deux types de modélisation sont mis en oeuvre pour un système mécatronique, une modélisation causale du système de commande et une modélisation acausale du système commandé. Le système commandé qu'il soit électronique, mécanique, hydraulique ou thermique par exemple, est modélisé d'une manière acausale par les équations de la physique du domaine correspondant. La modélisation acausale prend en compte deux types d'information, la connaissance structurelle du système commandé, et la connaissance comportementale de chaque composant physique de ce système commandé, dans les divers modes de fonctionnement, tant dans un mode de bon fonctionnement que dans un mode de disfonctionnement. Dans la modélisation acausale, les composants sont reliés entre eux avec des ports acausaux. Par exemple, pour les composants électroniques, ces ports sont les broches du composant. Les ports sont les points de partage des variables de flux et d'effort, à titre d'exemple, pour l'électronique, l'intensité du courant I qui traverse le port et le potentiel U au niveau du port. Les équations correspondant à chaque port sont indépendantes du type de composant, ce sont des équations de structure. Ainsi, pour un port électronique, ces équations sont relatives à la loi des noeuds ainsi qu'à l'égalité des potentiels. A titre d'exemple, une résistance R sera connectée aux autres composants par l'intermédiaire d'un port positif p et d'un port négatif n. Deux variables sont présentes à chacun de ces ports, le courant (p.i et n.i) et le potentiel (p.v et n.v). Le sens des courants est positif en direction du dipôle. De plus, le port négatif R1.n du composant R1 est 12 connecté à R.p et le port positif R2.p du composant R2 est connecté à R.n. Cette connaissance structurelle permet d'écrire quatre équations de structure, indépendantes du type de composant : R1.n.i + R.p.i = 0 ; R2.p.i + R.n.i = 0 ; R.p.v = R1.n.v ; R.n.v = r2.p.v Tel qu'évoqué ci-dessus, la modélisation doit prendre en outre en considération la connaissance comportementale de chaque composant. Dans le cas d'une résistance en bon fonctionnement, il y a deux équations propres au dipôle, à savoir la conservation du courant et la loi d'Ohm. R.p.i + R.n.i = 0 ; R.p.v û R.n.v = R.R * R.p.i Les équations de structure doivent être considérées comme des équations partagées entre deux dipôles, et les équations comportementales comme des équations propres à chaque dipôle. Dans le cas présent, la modélisation d'une résistance aboutit à quatre équations et quatre variables. Les deux équations de comportement correspondent à un mode de fonctionnement particulier, le bon fonctionnement. Il faut également intégrer le fonctionnement du composant pour les modes de disfonctionnement anticipés. Parallèlement, les équations de structure restent les mêmes pour tous les modes de fonctionnement. Le comportement de chaque composant est modélisé par un automate hybride à deux niveaux. Le premier niveau correspond au mode de bon fonctionnement et aux différents modes de disfonctionnement. Les transitions entre le mode de bon fonctionnement et un mode de disfonctionnement représentent les défaillances anticipées pour le composant, par exemple un relais qui grille. Dans la modélisation décrite, seuls les disfonctionnements permanents sont considérés, et les transitions d'un mode de disfonctionnement vers le mode de bon fonctionnement ne sont donc pas prises en compte. A chaque transition est associée une condition, par exemple pour le relais l'intensité qui dépasse un seuil. Le second niveau va décrire chaque mode du premier niveau par un automate. Ainsi un commutateur commandé aura un mode de bon fonctionnement qui sera décrit par un automate à deux états, passant et bloqué. La condition de transition entre ces deux états est liée à un signal de commande cmd. Le modèle du commutateur peut ainsi être représenté par la figure 7. Dans cette figure, le signal cmd est un signal causal qui détermine le sous mode à utiliser, fermé ou ouvert. Un premier disfonctionnement Fi correspond au commutateur bloqué en circuit ouvert, un deuxième disfonctionnement Fii correspond au commutateur ouvert en circuit fermé. Le système de commande est modélisé d'une manière causale avec, entres autres, des automates à états finis pour les parties logicielles. De plus, il est tenu compte que certains composants physiques du système commandé peuvent avoir une entrée causale. La modélisation causale de la partie de commande et des modèles de comportement causaux distingue principalement quatre types d'éléments. Ces types d'éléments sont soit : des capteurs en entrée, qui proviennent des composants acausaux, ou des paramètres de configuration, des commandes en sortie, qui vont sur les composants acausaux, tels que des commutateurs commandés par logiciel, des bus en entrée/sortie qui regroupent des signaux causaux d'un point à un autre, par exemple d'une Unité Electronique de Contrôle à une autre, ou encore des éléments de traitement des signaux simples sous forme de schémas blocs, ou des automates à états finis pour représenter les composants logiciels. Cette modélisation causale est une abstraction du fonctionnement des Unités Electroniques de Contrôle. Il est toutefois inutile de considérer des disfonctionnements sur la partie logicielle, sur lesquels le garagiste ne pourra pas intervenir. Avantageusement, seuls les disfonctionnements entrées/sorties des signaux causaux sont pris en compte. Les observables de cette modélisation causale seront des variables accessibles par le garagiste via la prise diagnostic du véhicule. Grâce à ces modèles on peut simuler la globalité de la fonction en mode de bon fonctionnement et dans les divers modes de disfonctionnement anticipés. Il est à noter que la simulation d'une fonction donnée rend possible l'étude de très nombreuses variables, tant au niveau du système de commande que du système commandé. L'implémentation du modèle obtenu est effectuée sur un simulateur hybride et multi physique. Cette simulation peut être basée sur le langage Modelica, dont on trouvera des éléments dans l'article de P. Fritzson, "Principles of Object-oriented Modelling and Simulation with Modelica" (Wiley-IEEE Computer Society Pr, 2003, ISBN 0471471631). Un tel simulateur pourra être par exemple l'environnement Dymola (société Dynasim, Dassault Systèmes). La construction de la table des signatures pour une fonction implique de simuler cette fonction en mode de bon fonctionnement, et dans les divers modes de disfonctionnement anticipés, pour toutes les configurations possibles des No observables de la fonction. Si, pour la fonction, N, est le nombre de disfonctionnements anticipés dans les composants physiques et la partie de commande, et No est le nombre de configurations différentes, et sachant que pour chaque configuration il faut aussi simuler le bon fonctionnement, il sera effectué un nombre de simulations différentes égal à (N, +1) x Nc. Un signal temporel de signature individuelle est généré pour chaque observable donné Oi dans chacune de ses configurations données Ci et chacun de ses modes de fonctionnement anticipés Fi, à savoir un mode de bon fonctionnement et un ou plusieurs modes de disfonctionnement. Pour une simulation d'un test donné Ti d'un observable donné Oi dans une configuration donnée Ci, le signal temporel de signature individuelle recueilli peut donc prendre la forme de l'une de N,+1 courbes différentes. Chaque simulation doit être réalisée pendant une certaine durée. Cette durée doit être de l'ordre de grandeur de deux fois la période maximale des phénomènes périodiques qui existent dans le système, et supérieur à la durée de tous les transitoires. Dans l'exemple de l'essuyage d'une vitre arrière de véhicule dont la modélisation sera décrite ci-après, la durée est de l'ordre de 20 secondes. Les signaux temporels de signature individuelle sont comparés entre eux, avantageusement par un algorithme de ressemblance de signaux, puis ces signaux de signature individuelle sont regroupés, en fonction de leur ressemblance, en une pluralité de classes d'équivalence ou modalités dont chacune est représentée par un signal de référence. Pour ce faire, un algorithme de comparaison de signaux détermine la ressemblance qu'il y a entre deux signaux, et les regroupe si la ressemblance est avérée. A titre d'exemple, l'algorithme DTW (Dynamic Time Warping) pourra être utilisé. On trouvera des informations sur cet algorithme par exemple dans l'article de H. Sakoe et S. Chiba, "Dynamic programming algorithm optimization for spoken word recognition" (IEEE Trans. Acoust., Speech, Signal Processing, vol. 26, no. 1, pp 43-49, Feb 1978), ou encore dans l'article de L. Rabiner et B.H. Juang, "Fundamentals of Speech Recognition" (Prentice Hall, Upper Saddle River, New Jersey 07458, 1993). Ainsi, comme le montre la figure 1, pour chaque test Ti d'un observable donné Oi dans une configuration donnée Ci, un signal de référence ou classe d'équivalence Mij est associé à chacun des modes de fonctionnement F; anticipés. Un signal temporel de référence représentatif d'une première classe d'équivalence doit être distinct du signal temporel de référence représentatif d'une deuxième classe d'équivalence, afin de pouvoir être distingués visuellement par le garagiste. C'est le rôle de l'algorithme de comparaison, qui détermine les classes d'équivalence traduites en signaux de référence, de gérer cette notion de tolérance visuelle. De préférence, la modélisation et la simulation d'une fonction donnée portent de façon ciblée sur des observables, c'est-à-dire des variables que le garagiste ou autre opérateur peut observer. La table des signatures est construite en répétant les opérations de simulation décrites ci-dessus pour chacune des fonctions du système mécatronique qui sont susceptibles d'être diagnostiquées. Un exemple de modélisation et de simulation d'une fonction pour l'obtention d'une table des signatures va être décrit ci-dessous pour la fonction d'essuyage de la glace arrière d'un véhicule automobile. Le principe de fonctionnement de cette fonction est tel que l'utilisateur effectue une demande d'essuyage arrière par l'intermédiaire d'un levier de commande, cette demande est transmise à un calculateur associé à l'habitacle du véhicule via un réseau d'information de type CAN. Le calculateur du véhicule gère le comportement intermittent de l'essuyage en appliquant une tension au moteur de l'essuie glace jusqu'à obtenir l'information que le balai est revenu à sa position repos. Il suspend alors l'application de la tension pendant quelques secondes avant de recommencer un cycle. La modélisation de cette fonction s'effectue par hiérarchisation. Sur l'ensemble des figures qui vont suivre, il convient de noter que les ports sont des carrés pour les signaux acausaux et des flèches pour les signaux causaux. Un signal causal part d'un point pour aller à un autre point. Il y a un sens de circulation de l'information d'où la flèche. Un signal acausal correspond à une variable dans une équation algébrique. Il n'y pas de sens clairement défini (même par exemple pour les intensités des courant, les sens sont des conventions, les intensités peuvent être positives ou négatives suivant la valeur des composants). Les figures 3, 4, 5, 6 et 7 sont des modèles graphiques réalisés dans l'environnent Dymola qui est un environnement de développement Modelica (Société Dynasim, Dassault Systèmes). Les composants de modélisation utilisés dans ces modèles sont de deux types : 1. des composants directement issus des librairies Modelica / Dymola 2. des composants créés pour la modélisation des différents modes de fonctionnement. Ces composants dits de « diagnostic » sont regroupés dans une bibliothèque de composants de diagnostic. Ces composants sont des automates hybrides comme décrit précédemment et ont des modes de fautes. Quand on dit que le système est en disfonctionnement, Fi par exemple, cela veut dire qu'un des composants de diagnostic est dans un mode de disfonctionnement. Un composant de diagnostic peut avoir plusieurs modes de disfonctionnement : par exemple une résistance peut avoir 1/R=0 ou R=0 comme mode de disfonctionnement. Un premier niveau de modélisation est illustré à la figure 3. Sur cette figure sont représentés le calculateur 31 associé au levier de commande et le calculateur de l'habitacle 32, reliés entre eux par un bus CAN 33. Au calculateur consacré à l'habitacle 32 sont connectés une source d'alimentation 34, des connecteurs de faisceaux 35, des fils 36 et le moyen d'essuyage arrière 37 constitué par le moteur et la partie mécanique de l'essuyage de la glace arrière. La figure 4 illustre un deuxième niveau de modélisation, à savoir le modèle du calculateur habitacle 32 évoqué ci-dessus. Sur cette figure sont représentés le logiciel 41 de commande de la fonction essuyage arrière, des éléments d'électronique de puissance 42, et le logiciel 43 de test du moteur du moyen d'essuyage. Les éléments d'électronique de puissance comprennent entre autres un fusible 44, une résistance de protection 45 et un interrupteur 46. . La modélisation de la partie de commande purement logicielle 41 du calculateur habitacle 32 est illustrée sous forme d'un automate à états finis à la figure 5, sur laquelle les carrés représentent des états et les barres des transitions entre ces états. Le premier état EO correspond à un état où la fonction d'essuie-vitre arrière ne peut pas être activée car le contact du véhicule n'a pas été fermé au moyen de la clé de contact. La première transition Ti correspond à l'information selon laquelle la clé de contact a été tournée et le contact du véhicule fermé. L'état suivant El correspond à l'état de fermeture du contact par la clé de contact. La transition qui suit T2 correspond à une demande de balayage de la vitre arrière à petite vitesse faite par l'utilisateur du véhicule. L'état E2 est celui dans lequel il y a balayage de la vitre arrière à petite vitesse. La transition suivante T3 est représentative d'une information d« La figure 6 est un exemple de modèle global acausal multi physique de la partie moteur électrique et tringlerie de la fonction essuyage de la vitre arrière, qui intègre des composants électroniques, électromécaniques et mécaniques. La partie électrique du moteur est représentée par une inductance 60 en parallèle avec une résistance 61 qui représente la valeur ohmique de cette inductance. L'inductance 60 est représentée montée en série par l'une de ses bornes avec une résistance 62 et un fil 63 relié à un port acausal P3 représentant un pôle d'une source d'alimentation électrique. L'autre borne de l'inductance 60 est connectée au port P2, qui constitue l'autre pôle de la source d'alimentation, par l'intermédiaire d'un composant 64 constituant un « transformateur électrique-mécanique », et d'un interrupteur d'arrêt fixe 65 commandé par un capteur (modélisé par le composant 68) qui détecte le retour du balai au voisinage de sa position de départ. Quand le balai d'essuie-vitre revient à sa position de départ, le capteur ferme l'interrupteur 65 dont la borne opposée au port P2 est connectée à un port P1 par l'intermédiaire d'un fil 66. La circulation du courant dans la boucle port P1, interrupteur 65, fil 66, port P2 est détectée par le calculateur d'habitacle 32 pour interrompre le balayage comme illustré par l'état E3 de la figure 5. Le composant 64, appelé « transformateur électrique-mécanique » du point de vue de la modélisation, représente la transformation d'un courant qui le traverse en un mouvement mécanique de rotation continue. Le composant 67 connecté au composant 64 illustre la transformation en un mouvement alternatif du mouvement de rotation continue à la sortie du composant 64. Ce composant 67 peut être représenté sous la forme d'un automate hybride à deux états et deux transitions. Enfin, le composant 68 correspond à une modélisation du capteur mécanique précitée qui détecte l'angle de rotation du balai d'essuie-vitre et ferme l'interrupteur 65 lorsque sa position angulaire par rapport à la position de repos devient inférieure à un seuil donné. Enfin, le composant 69 représente un modèle de l'isolant entre les fils aboutissant aux ports P2 et P3 et correspond en fonctionnement normal à un circuit ouvert, et à un circuit fermé en cas de court-circuit. Le modèle de la fonction d'essuie-vitre arrière est ainsi réalisé de manière hiérarchique, la fonction est décomposée successivement jusqu'aux composants élémentaires. Pour la clarté de la description, il a été donné ici une illustration de la modélisation sous forme graphique, et non sous forme d'équations. Mais, bien entendu, ce sont ces équations à la disposition de l'homme de métier grâce aux outils de modélisation (Modelica) qui permettent de générer par simulation les signaux temporels de signature individuelle des variables observables. Ainsi, la matrice de résultats de la figure 8 illustre les signaux temporaires de signature individuelle qui sont obtenus par simulation, grâce au modèle qui vient d'être décrit ci-dessus au regard des figures 3 à 6, pour la fonction d'essuie-vitre arrière. Les lignes V1, V2 et V3 de la matrice correspondent à des signaux qui sont présents aux bornes V1, V2 et V3 à l'entrée du moteur d'essuyage (figure 3), pour différents modes de fonctionnement qui seront détaillés ci-après. La ligne « arrêt-fixe » correspond à un paramètre du calculateur habitacle relatif à la circulation ou non circulation d'un courant dans la boucle P1, 66, 65, P2 comme décrit ci-dessus en regard de la figure 6. Lors d'un test sur un système mécatronique, ce paramètre sera lu par l'outil de diagnostic au moyen de la prise diagnostic du véhicule. De même, la ligne « CMB_PV_AR » est également un paramètre qui traduit le fait que le calculateur d'habitacle 31 commande ou non le moteur électrique 37 du système d'essuie-vitre. Enfin, la ligne « vitesse balais » montre sous forme de signal temporel la vitesse du ou des balais dans un certain nombre de modes de fonctionnement. Lors d'un diagnostic, cette observable correspond à une observation fonctionnelle faite par le garagiste et rentrée par ses soins dans l'outil de diagnostic sous forme d'une information. La colonne BF correspond au mode de bon fonctionnement. La colonne 146.RC correspond à un disfonctionnement selon lequel le calculateur d'habitacle voit l'interrupteur 46 de la figure 4 fermé en permanence, c'est-à-dire qu'il reste collé. La colonne FIL 361.00 signifie que le fil 361 de la figure 3 est en circuit ouvert. De même, la colonne suivante FIL 362.00 correspond au disfonctionnement selon lequel le fil 362 de la figure 3 est en circuit ouvert. La colonne Cal 31.VR correspond à la situation dans laquelle la commande sortant du calculateur 31 reste toujours dans l'état « vrai », c'est-à-dire un état de commande. La matrice de la figure 8 montre à chaque intersection d'une ligne et d'une colonne le signal temporel de signature individuelle, généré par simulation au moyen des équations appropriées, qui est obtenu pour la variable concernée dans le mode de fonctionnement concerné. On peut voir d'après cette matrice qu'un certain nombre de signaux temporels de signatures individuelles présentent des parentés. Comme décrit précédemment, ces signaux sont comparés entre eux et regroupés en classes d'équivalences si ces parentés sont suffisantes. C'est ainsi, par exemple, que pour la ligne V1 les signaux des colonnes 146.RC et Cal 31.VR sont suffisamment proches au point de pouvoir être regroupés dans une modalité mod12. Le processus de comparaison et de classement en modalités ou classes d'équivalences est réalisé pour l'ensemble de la matrice de résultats de la figure 8 et donne lieu, à la fin du processus, à l'obtention de la matrice de signature des fautes de la figure 9. Dans cette matrice de signature des fautes, une modalité mo_ii est associée à chacune des lignes et des colonnes de la matrice, les modalités étant identiques dans une même ligne lorsque les signaux temporels de signatures individuelles obtenus dans la matrice de résultats de la figure 8 ont été estimés suffisamment ressemblants. Il doit être compris qu'à chacune des désignations mo_ii des cellules de la figure 9 de la matrice correspond un signal de référence qui est le signal de la cellule correspondante de la matrice de la figure 8 ou un signal approchant en cas de regroupement par ressemblance de plusieurs signaux dans une même classe d'équivalence. C'est cette matrice de signature des fautes qui permet de construire la table de signatures de la figure 1, qui est utilisée pour le diagnostic comme décrit précédemment. Bien entendu, le réalisme des signaux de référence générés par modélisation et simulation dépend du degré d'abstraction de la modélisation de la fonction. En d'autres termes, plus cette abstraction est élevée, plus la forme de ces signaux s'éloigne de celle des signaux réels que l'on peut retrouver sur le système mécatronique. C'est ainsi, par exemple, que le signal de »vitesse balais » dans le mode BF de la matrice de la figure 8 correspond à une modélisation relativement idéalisée de la fonction. Afin de générer un signal simulé plus proche de la réalité physique, il conviendrait d'introduire dans le modèle, comme cela est bien connu des spécialistes de la technique, un certain nombre de composants qui permettent de tenir compte de phénomènes supplémentaires de nature électrique, mécanique ou autre tels que, par exemple, l'inertie, les frottements, etc. de l'ensemble balais et tringlerie. Le choix du degré d'abstraction est une question de compromis entre la complexité du modèle et le minimum de réalisme des signaux jugé nécessaire pour permettre à l'opérateur de mettre en oeuvre le diagnostic. REVENDICATIONS1.- Procédé de diagnostic d'un disfonctionnement d'un système mécatronique, suivant lequel : a) en réponse à l'observation d'un disfonctionnement d'une fonction dudit système, on choisit un premier parmi une pluralité de tests (Ti) prédéterminés de ladite fonction, b) on met en oeuvre ledit premier test choisi (Ti) pour recueillir un signal temporel de test représentatif d'une première variable observable de ladite fonction, c) on compare le signal temporel de test recueilli à un ensemble de signaux temporels de référence associés chacun à l'un de plusieurs modes de disfonctionnement (Fi) connus de ladite fonction, d) on sélectionne, par ressemblance entre ledit signal temporel de test et lesdits signaux de référence, auquel desdits signaux de référence correspond le signal temporel de test recueilli, e) on identifie ledit disfonctionnement observé si le signal de référence sélectionné est spécifique à un seul desdits modes de disfonctionnement (Fi) connus, et f) dans le cas contraire, on répète les étapes a) à d) avec un nouveau test (Ti) jusqu'à l'obtention d'une séquence de signaux de référence sélectionnés qui, pour les tests mis en oeuvre successivement, est spécifique à un seul desdits modes de disfonctionnement connus. 2.- Procédé de diagnostic selon la revendication 1, suivant lequel on compare également ledit signal temporel de test à un signal de référence représentatif d'un mode de bon fonctionnement de ladite fonction. 3.- Procédé de diagnostic selon l'une quelconque des revendications 1 et 2, caractérisé en ce que ladite variable observable (Oi) est un paramètre de ladite fonction. 4.- Procédé de diagnostic selon l'une quelconque des revendications 1 et 2, 30 caractérisé en ce que ladite variable observable (Oi) est une grandeur physique mesurée sur un composant physique de ladite fonction. 5.- Procédé de diagnostic selon la revendication 1, caractérisé en ce qu'il comprend également une étape de sélection de l'un desdits signaux de référence en réponse à une 35 observation directe par un opérateur de ladite variable observable (Oi).25 21 6.- Procédé de diagnostic selon l'une quelconque des revendications précédentes, dans lequel chaque test de ladite pluralité de tests (Ti) consiste à recueillir ledit signal de test dans une configuration donnée de ladite variable observable (Oi). 7.- Procédé de diagnostic selon la revendication 6, caractérisé en ce que ledit nouveau test porte sur ladite première variable observable (Oi) dans une configuration différente de celle dudit premier test. 8.- Procédé de diagnostic selon la revendication 6, caractérisé en ce que ledit nouveau test porte sur une variable observable (Oi) différente de ladite première variable observable. 9 - Procédé de diagnostic selon l'une quelconque des revendications précédentes, suivant lequel chacun desdits signaux de référence est représentatif d'une classe d'équivalence (M;;) de signaux de signature individuelle regroupés par ressemblance et dont chacun est la signature de l'une desdites variables observables dans une configuration donnée et un mode de fonctionnement donné. 10 - Procédé de diagnostic selon l'une quelconque des revendications 6 à 9, suivant lequel lesdits signaux de référence sont stockés dans une table dans laquelle l'un desdits tests est associé à chacune desdites variables observables dans chacune de ses configurations, dans ses différents modes de fonctionnement anticipés. 11. Outil de diagnostic (2) pour la mise en oeuvre du procédé de diagnostic d'un disfonctionnement d'un système mécatronique selon l'une quelconque des revendications 1 à 10, comprenant un calculateur (4), au moins une mémoire (6), des moyens d'interface homme-machine comportant au moins des moyens d'affichage (10), et des moyens d'acquisition de variables (14, 16) dudit système reliés au calculateur, caractérisé en ce que : - lesdits signaux temporels de référence sont stockés dans ladite mémoire (6); - ledit calculateur (4) est adapté pour mettre en oeuvre ledit test et acquérir ledit signal temporel de test à partir desdits moyens d'acquisition (14, 16), et - ledit calculateur (4) est adapté pour remplir l'une au moins des deux fonctions comprenant : - l'affichage dudit premier signal temporel de test et ledit ensemble de signaux de référence associés audit test ; 22 - la comparaison dudit premier signal temporel de test avec ledit ensemble de signaux de référence associés audit test et la détermination de ladite classe d'équivalence dudit premier signal temporel de test. 12.- Outil de diagnostic (2) selon la revendication 11, caractérisé en ce qu'il est adapté pour afficher sur lesdits moyens d'affichage ledit premier signal temporel de test et ledit ensemble de signaux de référence associés audit test , et permettre visuellement ladite comparaison par un opérateur. 13.- Outil de diagnostic (2) selon la revendication 11, caractérisé en ce que le calculateur (4) est programmé pour opérer la comparaison dudit premier signal temporel de test avec ledit ensemble de signaux de référence associés audit test. 14.- Outil de diagnostic (2) selon l'une des revendications 11 à 13, caractérisé en ce que les moyens d'acquisitions de variables comportent un circuit électronique de diagnostic (14) doté d'une prise de diagnostic. 15.- Outil de diagnostic (2) selon l'une des revendications 11 à 13, caractérisé en ce que les moyens d'acquisitions de variables comportent un circuit électronique de mesure de grandeurs physiques (16). 16.- Procédé d'obtention d'une table des signatures (M), pour la mise en oeuvre du procédé selon la revendication 10, caractérisé en ce que : i) on modélise l'ensemble des ressources nécessaires à la réalisation d'une fonction du système mécatronique, ii) on simule un ensemble de tests de ladite fonction en mode de bon fonctionnement (F0), et dans les divers modes de disfonctionnement (F1, F2, F3,...) anticipés, pour toutes les configurations (Ci) possibles des ressources de la fonction, iii) on génère un signal de signature individuelle pour chacune des simulations, iv) on compare ces signaux de signature individuelle entre eux, v) on regroupe, en fonction de leur ressemblance, lesdits signaux de signature individuelle en une pluralité de classes d'équivalence (M;;) dont chacune est représentée par un signal de référence, etvi) on construit ladite table (M) en associant à chacun desdits modes de fonctionnement (Fi), pour chacun desdits tests (Ti), l'un desdits signaux de référence. 17.- Procédé d'obtention d'une table de signatures selon la revendication 16, caractérisé en ce que la modélisation à l'étape i) est réalisée hiérarchiquement, et décomposée jusqu'aux composants élémentaires de la fonction. 18.- Procédé d'obtention d'une table de signatures selon l'une des revendications 16 ou 17, caractérisé en ce que la modélisation à l'étape i) est une modélisation causale des systèmes de commande, et une modélisation acausale des systèmes commandés. 19.- Procédé d'obtention d'une table de signatures selon la revendication 16, caractérisé en ce que la simulation à l'étape ii) est réalisée uniquement pour des variables observables par l'opérateur. 20.- Procédé d'obtention d'une table de signatures selon la revendication 16, caractérisé en ce que le regroupement des signaux de signature individuelle à l'étape v) est opéré par un algorithme de ressemblance de signaux. 21.- Procédé d'obtention d'une table de signatures selon la revendication précédente, caractérisé en ce qu'un signal temporel de référence représentatif d'une première classe d'équivalence doit être distinct du signal temporel de référence représentatif d'une deuxième classe d'équivalence, afin de pouvoir être distingués visuellement par le garagiste.