FR 2958470 A1 20111007 FR 1052328 A 20100330 B10-1155FR-FZ/EVH 09-GR3-469 Société par actions simplifiée dite: STMICROELECTRONICS (CROLLES 2) SAS Procédé d'estimation de la fiabilité d'un circuit électronique, système informatique et produit programme d'ordinateur correspondants Invention de : TORRAS FLAQUER Josep DAVEAU Jean-Marc NAVINER Lirida ROCHE Philippe Procédé d'estimation de la fiabilité d'un circuit électronique, système informatique et produit programme d'ordinateur correspondants L'invention concerne les circuits électroniques, notamment les circuits logiques, et plus particulièrement, l'estimation de leur fiabilité. La fiabilité d'un circuit électronique peut être définie comme la probabilité que le circuit exécute la bonne opération en présence d'un jeu prédéterminé de conditions. La fiabilité d'un circuit logique peut être par ailleurs définie comme étant la probabilité que son ou ses signaux de sortie soient corrects compte tenu d'un ou de plusieurs signaux d'entrée prédéterminés. La fiabilité d'un circuit électronique devient un problème d'autant plus crucial que la taille des circuits diminue de par l'utilisation de technologies avancées, par exemple des technologies CMOS inférieures à 45 nanomètres. En effet, plus les composants du circuit électronique sont petits, plus ils sont sensibles aux facteurs environnementaux ce qui a bien entendu un impact sur la fiabilité du circuit. Il est donc particulièrement intéressant de pouvoir estimer la fiabilité d'un circuit électronique, en particulier un circuit logique. Plusieurs approches ont été jusqu'à maintenant envisagées pour estimer la fiabilité d'un circuit logique. Une première approche, connue par l'homme du métier sous la dénomination « approche PTM globale », est basée sur l'utilisation de matrices de transfert probabilistes (Matrices PTM : Probability Transfer Matrix) associées aux différents types de composants du circuit. Plus précisément, pour chaque type de composant du circuit, on peut définir une matrice de transfert idéal dite « matrice ITM » (Ideal Transfer Matrix) et une matrice PTM. Chacune de ces matrices contient les probabilités d'avoir un état pour le signal de sortie compte tenu d'un état donné du ou des signaux d'entrée du composant. Pour un composant du type combinatoire, telle qu'une porte logique, la matrice ITM contient des 1 et des 0 et se déduit immédiatement de la table de vérité du composant logique. Celui-ci est alors supposé être parfait c'est-à-dire ne produisant aucune erreur. Par contre, dans la matrice PTM, les valeurs de probabilité d'avoir un état en sortie pour un état donné d'une ou des entrées tiennent compte de probabilités d'erreurs inhérentes aux composants et liées en particulier à la technologie utilisée ainsi qu'à la réalisation dudit composant. L'obtention d'une matrice PTM pour un type de composant est bien connue de l'homme du métier et une telle matrice PTM est un des éléments caractérisant un tel composant. A titre indicatif, de nombreux paramètres technologiques peuvent être utilisés pour estimer les probabilités d'erreurs des composants et obtenir par conséquent les matrices PTM associées à ces composants. A cet égard, l'homme du métier pourra se référer à toutes fins utiles à l'article de Tanay Karnik et autres intitulé : « Characterization of Soft Errors Caused by Single Event Upsets in CMOS Processes » IEEE Transactions on dependable and secure computing, Vol. 1, No 2, pages 128-143, avril-juin 2004. A partir de là, la méthode dite « PTM globale », consiste à obtenir une matrice globale du type PTM par une combinaison successive des matrices PTM élémentaires des composants en fonction de la connexion en parallèle ou en série des composants au sein du circuit. Puis, par convolution d'une matrice de probabilités représentative des états d'un signal d'entrée, avec cette matrice PTM globale, on obtient une matrice de probabilités représentative des états du signal de sortie du circuit à partir de laquelle on peut obtenir l'information de fiabilité. Mais, une telle méthode PTM globale reste une méthode théorique. En effet, dès que le nombre d'entrées et de sorties du circuit électronique, et par conséquent le nombre de composants interconnectés entre ces entrées ou ces sorties, devient important, la taille de la matrice PTM globale devient gigantesque ce qui conduit à une saturation de la mémoire de l'ordinateur utilisé pour implémenter cette méthode. Par ailleurs, le temps de calcul pour obtenir l'information de fiabilité est considérable. I1 a alors été envisagé de façon à obtenir un temps de calcul acceptable et une taille mémoire acceptable, d'utiliser une méthode dite SPR (Signal Probability Reliability) qui ne calcule pas une matrice globale mais qui utilise une approche de propagation probabiliste en calculant de proche en proche, c'est-à-dire composant après composant, des matrices de probabilités contenant les probabilités des états du signal de sortie de chaque composant à partir d'opérations matricielles faisant intervenir des matrices de probabilités (dites matrices SPR) des signaux présents en entrée du composant et en utilisant également la matrice PTM et la matrice ITM de ce composant. Plus précisément, un signal logique, que ce soit un signal logique d'entrée du circuit, un signal logique intermédiaire interne au circuit, ou bien un signal de sortie du circuit, est représenté par une matrice de probabilités de taille 2 x 2 contenant la probabilité de l'occurrence d'une valeur logique « 0 » correcte du signal, la probabilité de l'occurrence d'une valeur logique « 1 » correcte du signal, la probabilité de l'occurrence d'une valeur logique « 0 » incorrecte du signal et la probabilité d'une valeur logique incorrecte « 1 » du signal. Une valeur logique « 0 » incorrecte est une valeur qui devrait être un « 1 » dans une condition normale de fonctionnement, c'est-à-dire une condition exempte d'erreur. De même, une valeur logique « 1 » incorrecte est une valeur qui devrait être « 0 » dans une condition exempte d'erreur. Le signal logique est par conséquent représenté par quatre états auxquels on affecte des valeurs de probabilités et qui définissent la matrice dite matrice SPR. Cependant, cette méthode SPR ne donne un résultat exact qu'en l'absence de signaux corrélés affectant le même composant à l'intérieur du circuit électronique. En effet, la détermination d'une matrice de probabilités d'un signal de sortie d'un composant à partir des matrices de probabilités des signaux d'entrée de ce composant n'est exacte que si lesdits signaux d'entrée sont indépendants. Si ces signaux sont corrélés par au moins une source de corrélation, alors le calcul de la matrice SPR de sortie du composant est inexacte. Or, un circuit électronique ne générant aucun signal corrélé en son sein relève généralement d'un cas d'école. En effet, les circuits électroniques réalisés industriellement présentent généralement un nombre important de sources de corrélation et génèrent en conséquence de nombreux signaux corrélés. De façon à prendre en compte ces signaux corrélés, il a alors été envisagé pour les circuits électroniques présentant des sources de corrélation, d'utiliser la méthode SPR en plusieurs passages successifs. Cette méthode est couramment désignée par l'homme du métier sous la dénomination « méthode SPR multi-pass ». Plus précisément, en considérant que chaque signal issu d'une source de corrélation a quatre états possibles, la méthode « SPR multi- pass » va consister à appliquer sur la totalité du circuit la méthode SPR successivement pour chacun des états de chaque signal issu de chaque source de corrélation. On va alors obtenir à chaque passage une information de fiabilité. La somme pondérée des informations de fiabilité obtenue à l'issue de tous les passages, fournit alors l'information de fiabilité du circuit électronique. On remarque immédiatement que le nombre d'exécutions de la méthode SPR est égal ici à 4m ou m désigne le nombre de sources de corrélation. Or, les circuits électroniques présentent dans la réalité de nombreuses sources de corrélation ce qui conduit par conséquent à une explosion combinatoire et un temps de calcul extrêmement important pour obtenir in fine une information sur la fiabilité du circuit. Cette méthode « SPR multi-pass » reste par conséquent industriellement inexploitable pour des circuits électroniques de très grande taille, présentant par exemple une architecture imbriquée et complexe avec plusieurs dizaines d'entrées et plusieurs dizaines de sorties. Selon un mode de mise en oeuvre, il est proposé un procédé d'estimation de la fiabilité d'un circuit électronique permettant d'obtenir une information de fiabilité exacte ou quasi exacte (pour des matrices PTM et des signaux d'entrée donnés) d'un circuit électronique comportant de nombreuses sources de corrélation générant des signaux corrélés, tout en réduisant considérablement le temps de calcul nécessaire et en réduisant également la taille mémoire nécessaire du système informatique mettant en oeuvre ce procédé. Selon un mode de mise en oeuvre il est proposé de déterminer une information de fiabilité d'un circuit électronique comprenant un réseau nodal de composants comportant au moins un chemin dit « de reconvergence » entre une source de corrélation et un puits, en utilisant par exemple au niveau de chaque composant du chemin une matrice de probabilités conditionnelles dont le conditionnement est lié à au moins un noeud du chemin situé en amont dudit composant. Selon un aspect, il est ainsi proposé un procédé d'estimation de la fiabilité d'un circuit électronique, ledit circuit électronique comprenant un réseau de noeuds interconnectés au niveau de certains au moins desquels sont disposés des composants. Ce procédé est mis en oeuvre au sein d'un système informatique et comprend un traitement global basé sur une approche de propagation probabiliste utilisant des représentations matricielles de probabilités associés à des états de signaux présents aux différents noeuds et des représentations matricielles de transfert de signaux à travers lesdits composants, et une détermination d'une information de fiabilité résultant dudit traitement global. Cette information de fiabilité est par exemple déterminée au niveau d'au moins un noeud de sortie du circuit. Selon une caractéristique générale de cet aspect, en présence dans le circuit d'au moins un chemin dit « chemin de reconvergence » comportant une source de corrélation, plusieurs branches débutant au niveau de ladite source de corrélation et un composant formant un puits où aboutissent lesdites branches, le traitement global comprend pour chaque composant dudit chemin, un traitement local comportant une élaboration d'au moins une matrice de probabilités conditionnelles contenant les probabilités des différents états d'un signal présent au niveau de ce composant conditionnés par les différents états d'au moins un signal présent au niveau de ce composant ou au niveau d'au moins un noeud situé sur ledit chemin en amont dudit composant. Ceci permet de déterminer ladite information de fiabilité à partir de signaux indépendants ou rendus indépendants, malgré la présence de sources de corrélation. En effet, conditionner un premier signal présent au niveau d'un composant d'un chemin de reconvergence à un deuxième signal présent au niveau de ce même composant ou d'un noeud connecté en amont de ce composant sur le chemin de reconvergence permet de rendre le premier signal indépendant, c'est-à-dire de rendre indépendante la matrice de probabilités conditionnelles correspondante qui lui est associée. On peut alors s'affranchir des effets de corrélation et réaliser alors tout au long du chemin de reconvergence des opérations matricielles du type SPR dont les résultats deviennent exacts. Comme indiqué ci-avant, on peut conditionner les différents états d'un signal aux différents états de ce même signal. Dans ce cas, la matrice de probabilités conditionnelle est l'identité. C'est notamment ce qui est prévu par exemple au niveau d'une source de corrélation primaire ou secondaire. On peut également conditionner les différents états d'un signal présent au niveau d'un composant aux différents états d'un signal présent au niveau d'un composant précédent (situé en amont sur le chemin) ou bien au niveau d'une source de corrélation. On peut également conditionner un signal à plusieurs sources de corrélation. Un signal présent au niveau d'un noeud peut être un signal d'entrée ou de sortie du noeud. Enfin, un noeud situé en amont d'un composant sur un chemin signifie notamment que ce noeud est situé sur un chemin entre le composant et la source de corrélation ou bien est lui-même la source de corrélation. Selon un mode de mise en oeuvre, le circuit électronique comprend au moins un noeud d'entrée et le traitement global comprend une élaboration au niveau de chaque noeud d'entrée, d'une matrice d'entrée contenant les probabilités des différents états d'un signal d'entrée reçu à ce noeud, ainsi que des traitements locaux du type matriciel associés auxdits composants et faisant intervenir des matrices d'entrée locales de probabilités et des matrices de transfert probabiliste et idéale des composants. Selon un mode de mise en oeuvre, en présence, au niveau d'un composant formant un puits, d'au moins deux signaux mutuellement corrélés par au moins une source de corrélation, ledit traitement local comprend, pour chaque signal corrélé, une élaboration, en tant que matrice d'entrée locale de probabilité, d'une matrice de probabilités conditionnelles contenant les probabilités des différents états dudit signal corrélé conditionnés par les différents états d'au moins un signal délivré par au moins une source de corrélation dont est issu ledit signal corrélé. Les signaux corrélés peuvent être corrélés par une seule source de corrélation ou plusieurs sources de corrélation, primaire ou secondaire. Et, la matrice de probabilités conditionnée associée à chaque signal corrélé peut être conditionnée à une ou plusieurs de ces sources de corrélation. Par ailleurs, le conditionnement des deux matrices de probabilités associées aux deux signaux corrélés peut être identique ou différent. Et, selon un mode de mise en oeuvre, le fait que les variables de conditionnement des matrices de probabilités conditionnées soient identiques ou différentes pour les deux matrices ou bien relatives à une seule ou à plusieurs sources de corrélation, importe peu. I1 suffit en effet simplement d'avoir pour chaque matrice conditionnée en entrée d'un puits, un conditionnement à au moins une source de corrélation, ce qui rend comme expliqué ci-avant les deux signaux mutuellement indépendants et de pouvoir ainsi appliquer des opérations matricielles du type SPR au niveau du puits en ayant l'assurance d'obtenir en sortie du composant une information exacte. Le procédé comprend avantageusement une analyse du réseau nodal du circuit électronique de façon à déterminer la ou les sources de corrélation, le ou les chemins de re-convergence débutant au niveau de cette ou de ces sources de corrélation et le ou les noeuds ou puits auxquels aboutissent ce ou ces chemins de re-convergence, chaque composant d'un puits recevant en entrée plusieurs signaux corrélés, c'est-à-dire au moins deux signaux corrélés. Selon une première variante, le traitement local associé à un composant formant un puits comprend pour chacun des signaux corrélés alimentant ce puits, une détermination en tant que matrice locale d'entrée, d'une matrice conditionnée comprenant les probabilités des différents états dudit signal corrélé conditionnés par les différents états du signal délivré par la source de corrélation alimentant ce puits s'il n'y en a qu'une, ou bien par les différents états des signaux délivrés par toutes les sources de corrélation alimentant ce puits. Selon une deuxième variante, qui permet notamment de réduire encore le temps de calcul nécessaire et la taille mémoire nécessaire, le traitement local associé à un composant formant un puits comprend, pour chacun des signaux corrélés alimentant une entrée de ce puits, une détermination en tant que matrice locale d'entrée, d'une matrice conditionnée contenant les probabilités des différents états dudit signal corrélé conditionnés par les différents états du ou des signaux délivrés par la ou les sources de corrélation les plus proches connectées à ladite entrée du puits. Selon un mode de mise en oeuvre applicable dans la première variante, lorsque les signaux corrélés alimentant le puits sont corrélés par un ensemble de sources de corrélation, la détermination de la matrice locale d'entrée conditionnée associée à chacun desdits signaux corrélés alimentant ledit puits comprend, lorsqu'une matrice initiale conditionnée associée à ce signal corrélé n'est conditionné qu'à certaines seulement des sources de corrélation dudit ensemble, une modification de la matrice initiale conditionnée de façon à la rendre conditionnée à toutes les sources de corrélation dudit ensemble. Une telle matrice modifiée comprend alors par exemple une copie de chaque colonne de la matrice initiale conditionnée un nombre de fois égale au nombre d'états possibles des signaux délivrés par les sources de corrélation non pris en compte dans la matrice initiale conditionnée. On effectue ainsi une sorte d'amplification de la taille de la matrice initiale conditionnée de façon à obtenir une matrice conditionnée à toutes les sources de corrélation dudit ensemble. Selon un autre mode de mise en oeuvre applicable également à la première variante, lorsque chaque signal corrélé alimentant le puits corrélé par une seule et même source de corrélation, la détermination de la matrice locale d'entrée conditionnée associée à chacun des signaux corrélés alimentant ledit puits comprend, lorsqu'une matrice initiale conditionnée associée à ce signal corrélé n'est pas conditionnée à ladite source de corrélation, une modification de la matrice initiale conditionnée de façon à la rendre conditionnée à ladite source de corrélation. Ainsi, cette modification comprend avantageusement une multiplication matricielle des matrices locales de sortie conditionnées de tous les composants connectés entre ledit puits et ladite source de corrélation. En d'autres termes, on effectue ici une simple multiplication de matrices conditionnées au lieu d'effectuer une amplification de matrices par recopie de colonnes. Le réseau nodal du circuit électronique peut comporter au moins une source primaire de corrélation et au moins une source secondaire de corrélation ; chaque source primaire de corrélation est une source à partir de laquelle débute au moins un chemin de reconvergence et chaque source secondaire de corrélation est une source à partir de laquelle débute au moins un chemin de re-convergence cette source appartenant par ailleurs à un chemin de re-convergence alimenté par une source précédente de corrélation, primaire ou secondaire, disposée en amont de ladite source secondaire de corrélation. Selon un mode de mise en oeuvre, applicable également dans la première variante (moins performante en temps de calcul), le traitement local d'un composant formant une source secondaire de reconvergence comprend une élaboration de deux matrices conditionnées, à savoir - une matrice de sortie locale conditionnée égale à la matrice identité et, - une matrice auxiliaire conditionnée contenant les probabilités des différents états du signal local de sortie délivré par cette source secondaire conditionnée par les différents états des signaux délivrés par toutes les sources de corrélation situées en amont de cette source secondaire et reliée à cette source secondaire ; on utilise alors ladite matrice locale de sortie conditionnée, c'est-à-dire la matrice identité, comme matrice locale d'entrée conditionnée d'un composant situé en aval de cette source secondaire sur un chemin de re-convergence et directement relié à cette source secondaire. Selon un mode de mise en oeuvre applicable dans la deuxième variante, c'est-à-dire celle permettant de réduire encore le temps de calcul, le traitement local d'un composant formant une source secondaire de re-convergence comprend également une élaboration de deux matrices de sortie locale conditionnée, à savoir la matrice identité et une matrice auxiliaire conditionnée. Cependant, dans ce cas, cette matrice auxiliaire conditionnée contient les probabilités des différents états du signal local de sortie délivré par cette source secondaire conditionnés par les différents états des signaux délivrés par les sources de corrélation situées en amont de cette source secondaire, les plus proches de cette source secondaire, et reliées à cette source secondaire. On utilise là encore la matrice locale de sortie conditionnée, c'est-à-dire la matrice identité, comme matrice locale conditionnée d'un composant situé en aval de cette source secondaire sur un chemin de re-convergence et directement reliée à cette source secondaire. Quelle que soit la variante utilisée, le traitement local associé à un composant situé sur au moins un chemin de re-convergence et ne formant ni une source de corrélation ni un puits comporte, selon un mode de mise en oeuvre, une élaboration d'une matrice locale de sortie conditionnée par les composants immédiatement situés en amont dudit composant sur chacun des chemins de re-convergence, à partir de matrices conditionnées contenant respectivement les probabilités des différents états des signaux délivrés par ces composants amont conditionnés par les différents états de ces mêmes signaux. Ces matrices sont donc les matrices « identité ». Le réseau nodal du circuit électronique peut comporter au moins un puits interne et au moins un puits final. Un puits dit interne est un puits au niveau duquel se termine un chemin de re-convergence mais qui forme également un noeud intermédiaire d'un autre chemin de re-convergence. Par contre, un puits final est un puits qui n'appartient pas à un autre chemin de re-convergence. Selon un mode de mise en oeuvre, le traitement local associé à un puits interne comprend une élaboration, à partir des matrices locales d'entrée conditionnées associées à ce puits interne, d'une matrice locale de sortie conditionnée contenant les probabilités des différents états du signal local de sortie dudit puits interne conditionnés par les différents états des signaux conditionnant lesdites matrices locales d'entrées conditionnées de ce puits interne. Le traitement local associé à un puits final comprend également une élaboration d'une matrice locale de sortie conditionnée à partir des matrices locales d'entrée conditionnées associées à ce puits final, mais en outre un traitement de pondération des éléments de cette matrice locale conditionnée de sortie, par les probabilités des différents états des signaux délivrés par toutes les sources de corrélation reliées à ce puits final. La différence entre le traitement local d'un puits interne et celui d'un puits final réside donc dans le fait qu'on n'effectue pas de traitement de pondération au niveau d'un puits interne de façon à garder le conditionnement jusqu'au puits final. Et, c'est ce traitement de pondération qui permet notamment de prendre en compte les différentes corrélations des signaux dans la détermination de l'information de fiabilité. Et, certaines desdites probabilités utilisées dans ledit traitement de pondération sont avantageusement des éléments de ladite ou desdites matrices auxiliaires conditionnées qui ont été déterminées au niveau des sources secondaires. Selon un mode de mise en oeuvre, le traitement de pondération s'applique sur les colonnes de valeurs de la matrice conditionnée de sortie du puits final et le traitement local du puits final comprend en outre à partir du résultat de ce traitement de pondération, une élaboration d'une matrice locale de sortie ayant la même taille que chaque matrice d'entrée associée à un noeud d'entrée du circuit électronique. En d'autres termes, selon un mode de mise en oeuvre, on élabore une matrice du type SPR à partir de laquelle on détermine l'information de fiabilité si le puits final est un noeud de sortie. Ainsi, par exemple, dans le cas d'un circuit électronique dont les composants comportent des éléments combinatoires, l'élaboration de cette information de fiabilité comprend la somme des probabilités de la matrice de sortie du signal de sortie du circuit électronique associées respectivement aux états correspondants à des valeurs correctes du signal de sortie. Au cours de la mise en oeuvre du procédé, on peut être amené à élaborer une matrice conditionnée associée à un composant à partir d'une première matrice ayant une taille égale à la taille d'entrée de chaque matrice d'entrée associée à un noeud d'entrée du circuit électronique, c'est-à-dire une matrice du type SPR, et d'une matrice conditionnée initiale ; dans ce cas, selon un mode de mise en oeuvre, l'élaboration de la matrice conditionnée comprend - une transformation de chaque colonne de la matrice conditionnée initiale en une première matrice intermédiaire ayant ladite taille d'entrée, c'est-à-dire par exemple une matrice du type SPR, et, pour chaque première matrice intermédiaire, un produit matriciel faisant intervenir la transposée de la matrice de transfert idéal du composant, la matrice de transfert probabiliste de ce composant, et le produit de Kronecker entre la première matrice et ladite matrice intermédiaire, chaque matriciel fournissant une deuxième intermédiaire, et une transformation de deuxième matrice intermédiaire en un colonne, tous les vecteurs colonne ainsi formant ladite matrice conditionnée. On peut également être amené au cours du procédé, à élaborer 20 une matrice conditionnée associée à un composant à partir d'une première matrice conditionnée initiale et d'une deuxième matrice conditionnée initiale ; dans ce cas, selon un mode de mise en oeuvre, l'élaboration de ladite matrice conditionnée comprend : - une transformation de chaque colonne de la première 25 matrice conditionnée initiale en une première matrice intermédiaire ayant la taille d'entrée, c'est-à-dire par exemple une matrice dudit SPR, - une transformation de chaque colonne de la deuxième matrice conditionnée initiale en une 30 deuxième matrice intermédiaire ayant ladite taille d'entrée, c'est-à-dire par exemple là encore une matrice du type SPR, et - pour chaque première matrice intermédiaire et pour chaque deuxième matrice intermédiaire homologue, 10 15 produit matrice chaque vecteur obtenus un produit matriciel faisant intervenir la transposée de la matrice de transfert idéal du composant, la matrice de transfert probabiliste de ce composant et le produit de Kronecker entre la première matrice intermédiaire et la deuxième matrice intermédiaire, chaque produit matriciel fournissant une troisième matrice intermédiaire, une transformation de chaque troisième matrice intermédiaire en un vecteur colonne, tous les vecteurs colonne ainsi obtenus formant ladite matrice conditionnée. Bien que cela ne soit pas indispensable, il est préférable, pour des facilités de mise en oeuvre informatique, que lesdits traitements locaux soient effectués de façon récursive depuis les sorties vers les entrées du circuit électronique, c'est-à-dire dans le sens montant du 15 bas vers le haut. Lorsque selon un mode de mise en oeuvre, les composants comportent des éléments combinatoires, chaque signal d'entrée du circuit électronique et chaque signal de sortie du circuit électronique sont des signaux logiques susceptibles de prendre une première valeur 20 logique (par exemple la valeur 0) ou une deuxième valeur logique (par exemple la valeur 1) et chaque matrice d'entrée associée à un signal d'entrée et la matrice de sortie associée au signal de sortie est une matrice élémentaire de taille 2x2 comportant : - une probabilité que la première valeur logique soit 25 une valeur correcte, correspondant à un premier état du signal, - une probabilité que la première valeur logique soit une valeur incorrecte, correspondant à un deuxième état du signal, 30 - une probabilité que la première valeur logique soit une valeur incorrecte, correspondant à un troisième état du signal, 10 - une probabilité que la deuxième valeur logique soit une valeur correcte, correspondant à un quatrième état du signal. Et, de préférence, on arrange chaque matrice de taille 2x2 associée aux quatre états possibles d'un signal de façon à ce que : - la première colonne de ladite matrice contienne la probabilité associée au premier état et la probabilité associée au troisième état, - la deuxième colonne de ladite matrice contienne la probabilité associée au deuxième état et la probabilité associée au quatrième état, - la diagonale de ladite matrice contenant la probabilité associée au premier état et la probabilité associée au quatrième état ; et on arrange une matrice conditionnée associée à un signal de façon à ce qu'une colonne de la matrice conditionnée contienne des probabilités de tous les états dudit signal respectivement conditionnés par un même état d'un signal conditionnant ou d'un ensemble de signaux conditionnant, deux colonnes différentes non dupliquées de ladite matrice conditionnée étant respectivement associées à deux états différents du signal conditionnant ou de l'ensemble de signaux conditionnant. Un tel arrangement d'une matrice conditionnée facilite la mise en oeuvre du procédé en permettant notamment d'effectuer de simples multiplications matricielles de matrices conditionnées lorsque ceci est nécessaire pour transformer le conditionnement d'une matrice conditionnée initiale. Selon un autre aspect, il est proposé un système informatique, par exemple un ordinateur portable ou non ou bien un processeur et ses mémoires associées, comprenant des moyens configurés pour mettre en oeuvre le procédé tel que défini ci-avant. Selon un autre aspect, il est proposé un produit programme d'ordinateur chargeable directement dans une mémoire d'un système informatique, comprenant des portions de code de logiciel pour l'exécution du procédé tel que défini ci-avant lorsque ledit programme est exécuté sur ledit système informatique. Selon un autre aspect, il est proposé un support lisible par un système informatique, ayant des instructions exécutables par ordinateur adaptées pour provoquer l'exécution par le système informatique du procédé tel que défini ci-avant. D'autres avantages et caractéristiques de l'invention apparaîtront à l'examen de la description détaillée de modes de mises en oeuvre et de réalisations, nullement limitatifs, et des dessins annexés sur lesquels : - la figure 1 illustre très schématiquement les principales étapes d'un mode de mise en oeuvre d'un procédé selon l'invention, - la figure 2 illustre schématiquement un exemple d'un réseau nodal d'un circuit électronique, - la figure 3 illustre un exemple d'une représentation matricielle non conditionnée d'un signal, - la figure 4 illustre schématiquement des exemples de matrices ITM et PTM d'une porte logique et d'une opération matricielle du type SPR, - la figure 5 illustre schématiquement les différentes étapes d'un produit de Kronecker entre deux matrices, - la figure 6 illustre un exemple d'arrangement d'une matrice de probabilité conditionnée, - les figures 7 à 15 illustrent schématiquement certains aspects de modes de mise en oeuvre du procédé selon l'invention, et - les figures 16 à 18 représentent trois exemples différents de réseaux d'un circuit électronique permettant d'illustrer des mises en oeuvre du procédé selon l'invention. Sur la figure 1, la référence SINF désigne globalement un système informatique, par exemple un ordinateur, comportant des moyens tels qu'une unité centrale et des moyens de mémoire, configurés pour mettre en oeuvre un mode de mise en oeuvre du procédé selon l'invention. Selon ce mode de mise en oeuvre illustré sur la figure 1, il est prévu tout d'abord une analyse 10 du circuit électronique de façon à établir une liste de noeuds et de liens ou connexions entre les noeuds (« net list » selon une dénomination anglo-saxonne bien connue de l'homme du métier). Cette liste est par exemple stockée dans une mémoire de l'ordinateur et va être utilisée pour effectuer des traitements locaux 11 au niveau des composants du circuit électronique pour fournir à partir d'un ou de plusieurs signaux d'entrée une information de fiabilité R au niveau d'un signal de sortie du circuit électronique. La liste de noeuds et des liens entre les noeuds est par exemple écrite dans un langage VHDL ou Verilog. Un exemple de réseau nodal est illustré sur la figure 2. Celui-ci comprend quatre noeuds d'entrée ND1, S2, S3, S5, un noeud de sortie ND7 et des noeuds intermédiaires ND2, ND3, ND4, ND5, ND6, interconnectés entre les noeuds entrée et les noeuds de sortie et au niveau desquels sont situés des composants du circuit électronique, ici des éléments combinatoires comportant des portes logiques bien que l'invention ne soit pas limitée à ce type de composant. Le noeud ND7 a été représenté comme un noeud différent du noeud ND6 pour bien indiquer le noeud de sortie, mais en pratique le noeud de sortie est également formé par un composant. L'analyse 10 du circuit électronique va permettre d'identifier les sources de corrélation primaires et secondaires, ainsi que les chemins de re-convergence issus de ces sources de corrélation, et les puits internes ou finals. Plus précisément, dans l'exemple de la figure 2, le noeud ND1 forme une source de corrélation primaire d'où part un premier chemin de re-convergence comportant la branche BR1, BR3 d'une part et la branche BR2 et BR4 d'autre part et aboutissant à un puits ND4. De la source ND1 part également un autre chemin de reconvergence comportant en premier lieu la branche BR1, BR3, BR6, en deuxième lieu la branche BR2, BR5, BR7 et en troisième lieu la branche BR2, BR4, BR6. Cet autre chemin de re-convergence aboutit au puits ND6. Le noeud ND3 forme par ailleurs une source de corrélation secondaire d'où part un autre chemin de re-convergence comportant d'une part la branche BR4, BR6, et d'autre part la branche BR5 et BR7 et qui aboutit également au puits ND6. Le puits ND4 est un puits interne car il appartient notamment au chemin de re-convergence se terminant au puits ND6. Le puits ND6 est un puits final car il n'appartient à aucun autre chemin de re-convergence. Les signaux arrivant au puits interne ND4 sont des signaux mutuellement corrélés et les sources de corrélation alimentant ce puits sont les sources ND1 et ND3. Par contre, les signaux arrivant au noeud ND2 sont mutuellement indépendants de même que les signaux arrivant au noeud ND3 et au noeud ND5. Enfin, les signaux arrivant au noeud ND6 sont également des signaux mutuellement corrélés et les sources de corrélation alimentant ce puits final ND6 sont les sources ND1 et ND3. Une matrice d'entrée associée à un signal d'entrée logique A est ici une matrice de taille 2x2. Comme illustré sur la figure 3, les éléments ai-a4 représentent respectivement la probabilité que ce signal A présente un état « 0 » correct, la probabilité que ce signal présente un état « 1 » incorrect, la probabilité que ce signal présente un état « 0 » incorrect et la probabilité que ce signal présente un état « 1 » correct. Une telle matrice sera dénommée dans la suite une matrice du type SPR ou matrice SPR, car ce genre de matrice est couramment utilisé dans la méthode SPR selon l'art antérieur. La figure 4 illustre schématiquement l'obtention d'une matrice de sortie Z du type SPR délivrée par une porte logique PL, ici une porte logique ET, recevant en entrée deux signaux A et B représentés par leur matrice de type SPR A et B. Pour effectuer cette opération, on utilise une matrice de transfert idéal ITM du composant et une matrice de transfert probabiliste PTM de ce même composant. Comme illustré sur cette figure 4, la matrice ITM est dérivée de la table de vérité du composant PL et contient les probabilités d'obtenir un état du signal de sortie en fonction des états des signaux d'entrée dans le cas où le composant est supposé parfait c'est-à-dire ne générant aucune erreur. Par contre, la matrice PTM contient ces mêmes probabilités mais en tenant compte de la probabilité p d'erreurs intrinsèques du composant. Dans la matrice PTM, q est égal à 1-p. Comme illustré sur la figure 4, l'élaboration de la matrice Z comprend un produit matriciel de trois matrices, à savoir dans l'ordre la matrice transposée de la matrice ITM, une matrice résultant du produit de Kronecker (symbolisé par O), des matrices A et B, et la matrice PTM. Le produit de Kronecker de deux matrices est bien connu de l'homme du métier. On en rappelle ici, en référence à la figure 5, une mise en oeuvre dans le cas de deux matrices A et B de type SPR. La matrice résultant du produit de Kronecker des matrices A et B illustrées en haut de la figure 5, est illustrée dans le bas de la figure 5. Bien entendu si le composant ne présente qu'une seule entrée, comme un inverseur, il est inutile dans ce cas d'effectuer un produit de Kronecker. La matrice SPR de sortie de l'inverseur est alors simplement obtenue par le produit matriciel de la matrice transposée de la matrice ITM, de la matrice SPR de l'entrée, et de la matrice PTM de l'inverseur. Comme on le verra plus en détail ci-après, il est avantageusement prévu d'utiliser dans l'estimation de la fiabilité du circuit électronique, une matrice de probabilités conditionnelles, dite matrice conditionnée ou matrice CPM, qui va permettre de s'affranchir des effets de corrélation des signaux corrélés dans les opérations matricielles du type SPR telles que celles illustrées au bas de la figure 4. Sur la figure 6, est illustrée la matrice CPM associée au signal Z et conditionnée par le signal A. Plus précisément, cette matrice contient les probabilités conditionnelles P (z;/agi) des états z; du signal Z conditionnés par les états ai du signal A. Et, dans l'exemple illustré, on arrange cette matrice CPM de façon à ce qu'une colonne de la matrice conditionnée contienne les probabilités de tous les états z;, i = 1 à 4, du signal Z conditionnés par un même état ai du signal conditionnant A. Plus précisément, la première colonne de la matrice CPM est relative à tous les états z; conditionnés à l'état al tandis que la deuxième colonne est relative à tous les états z; conditionnés à l'état a2, que la troisième colonne est relative à tous les états z; conditionnés à l'état a3 et que la quatrième colonne est relative à tous les états z; conditionnés à l'état a4. Cette construction particulière de matrices CPM permettra, comme on le verra plus en détail ci-après, d'obtenir très aisément dans certains cas des matrices CPM par multiplication matricielle d'autres matrices CPM. Dans la suite du texte, une matrice de probabilités conditionnelles CPM (Z/A) contenant les probabilités des différents états du signal Z conditionnés par les différents états du signal A sera également désigné sous le vocable de « matrice conditionnée » ou « matrice CPM de Z conditionnée à A ». Le traitement local effectué au niveau de chaque composant du circuit électronique dépend de la position et de la fonction du composant dans le réseau nodal. Ainsi, ce traitement local va différer selon que le composant situé au niveau d'un noeud forme une source de corrélation primaire, une source de corrélation secondaire, un puits interne, un puits final, ou encore un simple noeud intermédiaire situé sur un chemin de reconvergence. Sur la figure 7, on a représenté un exemple de traitement local effectué en entrée d'un puits PTS. Plus précisément, on suppose ici comme illustré dans le cadre 70 de la figure 7 que le réseau nodal comporte trois sources de corrélation primaires SC1, SC2 et SC3 et que le puits PTS reçoit en entrée deux signaux mutuellement corrélés SSC1, SSC2 issus de ces sources de corrélation. Dans ce cas, le traitement local peut comporter, pour chacun des signaux corrélés SSC1 et SSC2, une élaboration 71 d'une matrice CPM conditionnant le signal corrélé correspondant à toutes les sources de corrélation SC1, SC2, SC3 dont est issu chaque signal corrélé. I1 convient de noter ici que, le symbole mathématique (n) représentant une intersection signifie ici « et ». I1 signifie notamment que dans ce cas on prendra en compte toutes les combinaisons possibles des états des signaux délivrés par ces sources de corrélation. Dans le cas où, comme illustré dans le cadre 70 de la figure 7, il est prévu en outre une source de corrélation secondaire SC4 reliée par exemple à toutes les sources de corrélation primaires SC1, SC2 et SC3 et délivrant le signal corrélé SSC1, on peut alors calculer comme matrice CPM d'entrée du noeud PTS, une matrice CPM du signal SSC1 conditionnée par l'ensemble des sources de corrélation SC1, SC2, SC3, SC4 alimentant le puits PTS. I1 en est de même pour la matrice CPM du signal corrélé SSC2. En variante, dans le cas où le signal SSC1 est issu directement de la source secondaire SC4 et où le signal SSC2 est issu directement de la source SC3, il serait possible de calculer pour le signal SSC1, une matrice CPM conditionnée uniquement à la source secondaire SC4, et pour le signal SSC2, une matrice CPM conditionnée uniquement à la source de corrélation SC3. Dans ce dernier cas, non seulement on ne conditionne pas les matrices CPM des signaux SSC1 et SSC2 à l'ensemble des sources de corrélation dont sont issus les signaux SSC1 et SSC2, mais la variable de conditionnement est différente pour les deux signaux corrélés puisqu'il s'agit de la source de corrélation SC4 pour la signal SSC1 et de la source de corrélation SC3 pour le signal corrélé SSC2. Comme on le verra plus en détails ci après, une telle variante de mise en oeuvre permet de réduire encore le temps de calcul de l'information de fiabilité et de réduire également la taille des matrices CPM utilisées et par conséquent de réduire la taille mémoire nécessaire. Quoi qu'il en soit, quelle que soit la variante mise en oeuvre, en élaborant pour chacun des signaux corrélés SSC1 et SSC2 une matrice conditionnée à au moins une source de corrélation dont est issu le signal corrélé, on rend ces signaux mutuellement indépendants, ce qui va permettre d'utiliser ces matrices CPM d'entrée pour des calculs matriciels du type SPR. Dans le mode de mise en oeuvre illustré sur la figure 8, on se place dans le cas où les matrices CPM des signaux corrélés SSC1 et SSC2 doivent être conditionnées à l'ensemble des sources de corrélation dont ils sont issus, pour permettre le calcul de la matrice CPM associé au signal de sortie SPTS du puits PTS. On se place également dans le cas où, comme illustré dans le cadre 80 de la figure 8, la matrice CPM initiale du signal SSC1 n'est conditionnée qu'à la source de corrélation SC1 tandis que la matrice CPM initiale du signal SSC2 n'est conditionnée qu'à la source de corrélation SC2. Dans ce cas, le traitement local du puits PTS comporte une transformation 81 de la matrice CPM initiale du signal SSC1 de façon à obtenir une matrice CPM du signal SSC1 conditionnée à l'ensemble des sources de corrélation SC1 et SC2. De même, la matrice initiale CPM du signal SSC2 est transformée en une matrice CPM également conditionnée à l'ensemble des sources de corrélation. Comme illustré sur la figure 9, une telle transformation d'une matrice CPM initiale CPMi peut comporter une recopie 810 de chaque colonne de la matrice initiale CPMi un nombre de fois égal au nombre d'états possible des signaux délivrés par les sources de corrélation non prises en compte dans la matrice initiale conditionnée. On obtient alors une matrice transformée qui est en fait une matrice « amplifiée » CPMamplified. Ceci est le cas lorsque l'on a plusieurs sources de corrélation dont sont issus les signaux corrélés SSC1 et SSC2. Par contre, lorsque ces signaux corrélés ne sont corrélés que par une seule et même source de corrélation, et que l'une des matrices CPM initiale d'un signal corrélé n'est pas conditionnée à cette source de corrélation, ladite transformation 81 peut comporter, comme illustré sur la figure 10, une simple multiplication matricielle 811 des matrices locales de sortie conditionnées de tous les composants connectés entre le puits et ladite source de corrélation. On obtient alors une matrice CPM transformée CPMtrans. Si l'on revient maintenant à la figure 8, on voit que le traitement local du puits PTS se poursuit, après transformation des matrices CPM d'entrée, par une élaboration d'une matrice CPM de sortie. Cette matrice CPM de sortie est en fait la matrice CPM du signal de sortie SPTS du puits PTS conditionnée par l'ensemble des sources de corrélation SC1 et SC2. Cette matrice CPM de sortie est obtenue à partir des matrices CPM d'entrée transformées. Une telle élaboration 82 est effectuée dans le cas où le puits PTS est un puits interne. Cette élaboration 83 est également effectuée dans le cas où le puits PTS est un puits final. Cependant, dans le cas où le puits PTS est un puits final, l'élaboration 83 se poursuit par un traitement de pondération 84 des éléments de cette matrice CPM de sortie faisant intervenir les probabilités des différents états des signaux délivrés par toutes les sources de corrélation reliées à ce puits final. Ce traitement de pondération 84 s'applique sur les colonnes de valeurs de la matrice CPM de sortie et le traitement local du puits final comprend en outre à partir du résultat de ce traitement de pondération, une élaboration 85 d'une matrice locale de sortie du type SPR ayant une taille égale ici à 2 x 2. Cette matrice SPR (SPTS) associée au signal de sortie SPTS du puits final PTS, forme alors la matrice de probabilités des états du signal de sortie du circuit électronique si ce puits final PTS forme le noeud de sortie. Dans ce cas, l'information de fiabilité sera déterminée à partir de cette matrice SPR (SPTS). Dans le cas où le noeud PTS n'est pas le noeud de sortie du circuit électronique, cette matrice SPR (SPTS) pourra être combinée matriciellement au niveau d'un autre composant du circuit électronique avec une autre matrice du type SPR relative à un autre signal d'entrée de cet autre composant. On se réfère maintenant à la figure 11, pour illustrer un exemple de traitement local effectué au niveau d'une source secondaire de corrélation SSD. Dans l'exemple décrit ici, et illustré dans le cadre 110 de la figure 1l, cette source secondaire de corrélation SSD est reliée à trois sources primaires de corrélation SC1, SC2 et SC3. Pour une source secondaire de corrélation, on élabore une matrice de sortie locale conditionnée CPMssDoät qui est égale à la matrice identité. En effet, cette matrice locale de sortie conditionnée est la matrice CPM du signal de sortie de la source secondaire conditionné par lui-même. C'est cette matrice identité qui sera utilisée comme matrice locale d'entrée conditionnée CPM d'un composant situé en aval de cette source secondaire sur un chemin de reconvergence et directement relié à cette source secondaire. Outre l'élaboration de cette matrice locale de sortie conditionnée égale à l'identité, on élabore, pour la source secondaire de corrélation SSD, une matrice auxiliaire conditionnée CPMssD,f qui contient les probabilités des différents états du signal local de sortie SSD délivré par cette source secondaire, conditionnés par les différents états des signaux délivrés par toutes les sources de corrélation situées en amont de cette source secondaire et reliées à cette source secondaire. Dans le cas présent, la matrice CPMssD,f est égale à la matrice CPM du signal SSD conditionnée par l'ensemble des sources de corrélation SC1, SC2 et SC3. On verra plus en détails ci-après que cette matrice auxiliaire conditionnée contient des probabilités qui seront utilisées dans le traitement de pondération effectué au niveau du puits final alimenté par cette source secondaire de corrélation. Sur la figure 12, on illustre un autre exemple de traitement local effectué au niveau de la source secondaire SSD. Dans cet exemple, comme illustré dans le cadre 120 de la figure 12, la source secondaire SSD est reliée à trois sources primaires de corrélation SC1, SC2 et SC3 par l'intermédiaire de deux sources de corrélation secondaire SC4 et SC5. Ainsi, dans cet exemple, les sources de corrélation situées en amont de la source secondaire SSD et les plus proches de cette source de corrélation SSD sont les sources de corrélation SC4 et SC5. Alors que dans les exemples de mise en oeuvre illustrés sur la figure 11, on aurait calculé comme matrice CPMssD,f la matrice CPM du signal de sortie SSD délivré par cette source secondaire, conditionnée à l'ensemble des sources de corrélation SC1, SC2, SC3, SC4 et SC5, on élabore (étape 121) ici comme matrice auxiliaire conditionnée CPMssD,f, la matrice CPM du signal SSD conditionnée seulement à l'ensemble des sources de corrélation les plus proches de la source secondaire SSD, à savoir les sources de corrélation SC4 et SC5. Ceci permet comme expliqué ci-avant et comme détaillé ci-après dans un exemple, de limiter la taille des matrices conditionnées et de réduire encore le temps de calcul. Par ailleurs, comme dans l'exemple de mise en oeuvre de la figure 11, on élabore également la matrice identité comme matrice locale de sortie conditionnée CPMssDout de cette source secondaire SDD. Là encore, c'est cette matrice identité qui sera utilisée en tant que matrice CPM d'entrée pour un composant situé immédiatement en aval de la source secondaire SSD sur un chemin de reconvergence Sur la figure 13, on illustre schématiquement un exemple de traitement local effectué au niveau d'un composant ND2 qui n'est ni une source de corrélation secondaire, ni un puits interne, ni un puits final mais tout simplement un composant possédant une entrée et une sortie appartenant à un chemin de reconvergence CH. On suppose dans cet exemple que le signal d'entrée du composant ND2 reçu par l'intermédiaire du chemin de reconvergence CH est le signal A. Le signal B est quant à lui un signal indépendant du signal A et le signal Z est le signal de sortie délivré par le composant ND2. Dans ce cas, on élabore simplement (étape 131) une matrice CPM du signal Z conditionnée par le signal A délivré par le composant immédiatement situé en amont du noeud ND2 sur le chemin de reconvergence. Cette matrice CPM (Z/A) est calculée à partir de la matrice SPR du signal B qui n'appartient pas au chemin de reconvergence, et à partir d'une matrice CPM, qui n'est pas la matrice CPM du signal de sortie délivré par le noeud ND1, mais qui est la matrice identité. En effet, le noeud ND1 va être utilisé comme variable de conditionnement, et la matrice CPM d'entrée du noeud ND2 contiendra donc les probabilités P (ND l;/ND 1i) des états du signal ND1 conditionnés par les états du signal ND1. Dans un traitement local, on peut être amené à effectuer des opérations matricielles du type SPR sur deux matrices SPR d'entrée de façon à obtenir une matrice SPR de sortie. Ceci a déjà été évoqué en référence à la figure 4. On peut également être amené dans un traitement local, à élaborer une matrice conditionnée CPM2 associée à un composant à partir d'une première matrice du type SPR et d'une matrice conditionnée initiale. Un exemple d'élaboration d'une telle matrice conditionnée CPM2 est illustré sur la figure 14. Plus précisément, on souhaite ici élaborer la matrice CPM2 à partir de la matrice SPRA du type SPR et de la matrice conditionnée CPM1. La première étape (140) vise à transformer chaque colonne COLT-COL4 de la matrice CPM1 en une matrice intermédiaire SPRl-SPR4 du type SPR. Puis, pour chaque matrice intermédiaire SPRi, on effectue (étape 141) un produit matriciel du type SPR entre cette matrice intermédiaire SPRi et la matrice SPRA en faisant intervenir la transposée de la matrice ITM du composant ainsi que la matrice PTM de ce composant. On obtient alors des deuxièmes matrices intermédiaires SPR10, SPR20, SPR30 et SPR40. On effectue ensuite une transformation 142 de chaque deuxième matrice intermédiaire en un vecteur colonne, tous les vecteurs colonne ainsi obtenus formant les colonnes COLT-COL4 de la matrice conditionnée CPM2. I1 est également possible, au cours d'un traitement local associé à un composant, d'élaborer, comme illustré sur la figure 15, une matrice conditionnée CPM3 à partir d'une première matrice conditionnée initiale CPM1 et d'une deuxième matrice conditionnée initiale CPM2. Dans ce cas, une telle élaboration comporte une transformation 151 de chaque colonne de la première matrice CPM1 en une première matrice intermédiaire du type SPR ainsi qu'une transformation 152 de chaque colonne de la deuxième matrice CPM2 en une deuxième matrice intermédiaire du type SPR. Puis, pour chaque première matrice intermédiaire SPR1, et pour chaque deuxième matrice intermédiaire homologue SPR2;, on effectue un produit matriciel 153 du type SPR de façon à obtenir une troisième matrice intermédiaire SPR3;. On transforme alors chaque troisième matrice intermédiaire SPR3; en un vecteur colonne (étape 154). Tous les vecteurs colonne ainsi obtenus forment alors ladite matrice conditionnée CPM3. On se réfère maintenant plus particulièrement à l'annexe 1 ci-après, qui fait partie intégrante de la présence description et qui décrit, dans un langage du type pseudocode, un exemple d'implémentation d'un mode de mise en oeuvre du procédé d'estimation de fiabilité du circuit électronique au sein d'un système informatique. Ce programme, bien qu'implémenté en langage C++, est décrit ici en pseudocode à des fins de simplification. Dans le langage pseudocode utilisé, le terme « node » désigne un noeud du circuit électronique, et le terme « edge » désigne une connexion entre deux noeuds. Dans le mode de mise en oeuvre décrit ici, l'algorithme a été implémenté sous une forme récursive en débutant depuis les sorties du circuit électronique. Le programme comporte un module logiciel désigné par « ApplyCPM » qui est appelé pour tous les noeuds de sortie et pour tous les noeuds d'entrée (Annexe 1(1)). Le pseudocode du module « ApplyCPM » est décrit au point (2) de l'annexe 1. A cet égard, le module logiciel « analyze-path » calcule la matrice de probabilités conditionnelles de la connexion (« edge ») appelant le module et les probabilités ainsi obtenues sont conditionnées par les sources alimentant le chemin dans lequel se trouve ladite connexion. Le module « compute_CPM_matrix » détermine une matrice CPM tandis que le module « compute_out_CPM » détermine les deux matrices CPM associées à une source secondaire. Le module logiciel « computeedgesSPRmatrix » détermine une matrice SPR associée à une connexion. On se réfère maintenant plus particulièrement à la figure 16 et à l'annexe 2, qui fait également partie intégrante de la présente description, pour décrire, dans un exemple particulier, un mode de mise en oeuvre du procédé selon l'invention. Sur la figure 16, le réseau nodal RSN1 comporte des noeuds d'entrée A, B, C, D, E. Par ailleurs, des portes « ET » à deux entrées sont respectivement disposées au niveau des noeuds U, V et Y tandis que des portes « OU » à deux entrées sont respectivement disposées au niveau des noeuds W, X et Z. Le noeud Z forme également la sortie du circuit électronique. A des fins de simplification, on nommera également le signal de sortie d'un noeud par le nom de ce noeud. Par exemple, le signal de sortie du noeud A s'appellera A. On considère ici que la matrice SPR représentant la distribution des entrées au niveau d'un noeud est identique pour toutes les entrées. On considère également que ces entrées ne sont pas bruitées, c'est-à-dire qu'elles ne contiennent que des valeurs correctes, et sont équiprobables pour les états logiques « 1 » et « 0 ». En conséquence, la matrice SPR associée à chacun des noeuds d'entrée est définie au point (1) de l'annexe 2. On considère également que toutes les portes logiques ont la même probabilité d'erreur, en l'espèce une probabilité P égale à 0,05. En conséquence, les matrices ITM et PTM associée à une porte « ET » sont définies aux points (2) et (3) de l'annexe 2 tandis que les matrices ITM et PTM associées à une porte « OU » sont définies aux points (4) et (5) de l'annexe 2. L'analyse du graphe du réseau RSN1 montre que le noeud B est une source de corrélation. De cette source de corrélation partent trois chemins de reconvergence. Un premier chemin comporte les branches B-U-W et B-W. Ce chemin de reconvergence aboutit au puits W. Un autre chemin de reconvergence comporte les branches B-WY et B-V-X-Y et aboutit au puits Y. Enfin, le troisième chemin de reconvergence comporte les branches B-U-W-Y et B-V-X-Y et aboutit au puits Y. Le puits W est par conséquent un puits interne et le puits Y un puits final. Alors qu'on a vu précédemment qu'il était possible d'effectuer une analyse du graphe et les traitements locaux correspondants dans le sens ascendant, c'est-à-dire des sorties vers les entrées, on va effectuer ici une analyse et un traitement dans le sens descendant c'est-à-dire des entrées vers les sorties. Traitement du noeud U Ce noeud U est alimenté par une branche ou connexion qui provient du noeud A et par une branche qui provient du noeud B. Ce noeud U se situe donc dans un chemin de reconvergence. On va donc calculer la matrice CPM du noeud U telle que définie au point (6) de l'annexe 2. Pour calculer cette matrice CPMU, on utilise directement la matrice SPR du signal A puisque le noeud A ne se trouve dans aucun chemin de reconvergence. Cette matrice SPR du noeud A est définie au point (7) de l'annexe 2. En ce qui concerne le noeud B qui se situe dans un chemin de reconvergence et qui en l'espèce est lui-même la source de corrélation, on va utiliser la matrice CPM de ce noeud B qui contient la probabilité des différents états de B conditionnés par les différents états de B, c'est-à-dire la matrice identité. Cette matrice CPMB est indiquée au point (8) de l'annexe 2. Le calcul de la matrice CPMU va être effectué par conséquent à partir de la matrice SPR du noeud A et de la matrice CPM du noeud B d'une façon analogue à ce qui a été décrit en référence à la figure 14. I1 convient de noter ici que le calcul de la matrice CPM du noeud U est effectué par le module logiciel « compute_CPM_matrix » évoqué à l'annexe 1. Dans une première étape, on prend la première colonne de la matrice CPMB et on la met sous la forme d'une matrice SPR (annexe 2, point (9)). I1 convient de noter que cette obtention de la matrice SPR à partir de la colonne de la matrice CPM est obtenue par le module « computeedgesSPRmatrix » du pseudocode de l'annexe 1. Puis on calcule, conformément au point (10) de l'annexe 2, la matrice SPR1 à partir de la matrice SPRA et de la matrice SPRB1. Le résultat est donné au point (11) de l'annexe 2. Cette matrice SPR est ensuite transformée en un vecteur colonne (point (12) de l'annexe 2) qui va former la première colonne de la matrice CPMU. On répète ces mêmes opérations pour la deuxième colonne de la matrice CPMB (points (13) et (14) de l'annexe 2) de façon à obtenir (point (15) de l'annexe 2) la deuxième colonne de la matrice CPMU. Les mêmes opérations sont répétées pour les troisième et quatrième colonnes de la matrice CPMB (points (15) à (19) de l'annexe 2) de façon à obtenir in fine la matrice CPMU représentée au point (20) de l'annexe 2. Traitement du noeud W Ce noeud est un puits interne qui reçoit deux signaux mutuellement corrélés. Les deux matrices CPM en entrée de ce noeud W sont les matrices CPMU et CPMB. On va calculer la matrice CPM de ce puits W à partir des matrices CPMU et CPMB d'une façon analogue à celle qui a été décrite en référence à la figure 15. Plus précisément, on transforme la première colonne de la matrice CPMU en une matrice SPR (annexe 2, point (21)). On effectue la même opération pour la première colonne de la matrice CPMB de façon à obtenir une matrice SPR (annexe 2, point (22)). Puis, on calcule une matrice SPR intermédiaire (annexe 2, point (23)) que l'on transforme en un vecteur colonne (annexe 2, point (24)) qui va former la première colonne de la matrice CPMw. On effectue les mêmes opérations pour les trois autres colonnes des matrices CPMU et CPMB (annexe 2, points (25)-(36)) de façon à obtenir in fine la matrice CPM du noeud W illustrée au point (37) de l'annexe 2. I1 convient de noter ici que, puisque le puits W est un puits interne et non un puits final, on n'effectue pas de traitement de pondération sur la matrice CPMw car il faut garder l'information de conditionnement jusqu'au puits final Y. Traitement du noeud V Les caractéristiques de ce noeud sont identiques à celles du noeud U. En effet, une de ces entrées n'appartient pas à un chemin de reconvergence tandis que l'autre appartient à ce chemin de reconvergence et est directement reliée à la source de reconvergence. De plus, le type de porte du noeud V est le même que le type de porte du noeud U. Par conséquent, la matrice CPM de ce noeud V est égale à la matrice CPM du noeud U (annexe 2, point (38)). Traitement du noeud X I1 s'agit cette fois-ci d'une porte « OU ». Une des entrées du noeud X appartient à un chemin de reconvergence, en l'espèce celle provenant du noeud V tandis que l'autre entrée, celle provenant du noeud D, n'appartient pas au chemin de reconvergence. Le noeud V va donc être une variable de conditionnement pour le calcul de la matrice CPM de l'entrée du noeud X qui est reliée au noeud V. Cette matrice CPM va donc contenir les probabilités P(v;/vi),I1 s'agit donc de la matrice identité. La façon de calculer la matrice CPM de sortie du noeud X, qui est définie au point (39) de l'annexe 2, à partir de la matrice CPM d'entrée provenant du noeud V (la matrice « identité ») et de la matrice SPR du noeud D, est identique à celle qui a été décrite pour le calcul de la matrice CPM du noeud U à partir de la matrice SPR du noeud A et de la matrice CPM du noeud B. On ne reviendra donc pas plus en détails sur ces opérations qui sont mentionnées aux points (40) à (52) de l'annexe 2 et qui permettent d'aboutir à l'obtention de la matrice CPMX mentionnée au point (53) de l'annexe 2. Traitement du noeud Y Ce noeud est un puits final, c'est-à-dire que tous les signaux issus de la source de corrélation B s'y retrouvent. Pour ce puits final Y, il convient tout d'abord de calculer sa matrice CPM de sortie à partir des deux matrices CPM d'entrée. Cependant, dans ce mode de mise en oeuvre, il convient que les deux matrices CPM d'entrée soient conditionnées de la même manière à la source de corrélation B. Or, la matrice CPMw, issue d'un puits interne, est déjà conditionnée par la source de corrélation B. I1 n'y a donc pas d'opération de transformation à effectuer sur cette matrice. Par contre, la matrice CPMX est conditionnée par la variable V. Mais, on dispose par ailleurs de la matrice CPM de sortie du noeud V qui est conditionnée par la source de corrélation B. Par conséquent, les valeurs de probabilités des différents états x; du signal X conditionnés par les différents états b; du signal B peuvent être obtenues aisément à partir de la formule (54) de l'annexe 2. En conséquence, de par la construction décrite ci-avant des matrices CPM, le produit de la matrice CPM du noeud X par la matrice CPM du noeud V va fournir une matrice CPM transformée associée au noeud X et référencée CPMX' (annexe 2, point (55)). Comme montré au point (56) de l'annexe 2, cette matrice transformée contient bien les probabilités recherchées, et par conséquent un conditionnement à la source de corrélation B. Les valeurs de cette matrice transformée sont illustrées au point (57) de l'annexe 2. Les colonnes de la matrice CPM du noeud Y vont ensuite être calculées, d'une façon analogue à ce qui a été décrit précédemment, à partir des deux matrices CPM d'entrée. Les opérations relatives à ce calcul sont détaillées aux points (58) à (73) de l'annexe 2 et les quatre colonnes de cette matrice CPM de sortie du noeud Y sont explicitées aux points (61), (65), (69) et (73) de l'annexe 2. On va ensuite effectuer un traitement de pondération sur ces colonnes avec les probabilités des différents états des signaux délivrés par toutes les sources de corrélation reliées à ce puits final, en l'espèce par les probabilités des différents états du signal délivré par la seule source de corrélation B. Le poids à appliquer à chaque colonne de la matrice CPM de sortie du noeud Y est donné par les éléments correspondants de la matrice SPR de la source de corrélation B qui est rappelée au point (74) de l'annexe 2. En d'autres termes, le poids des colonnes 1 et 4 de la matrice CPM de sortie du noeud Y est égal à 0,5 et le poids des colonnes 2 et 3 est égal à O. On multiplie par conséquent les éléments de chaque colonne de la matrice CPM de sortie du noeud Y par le poids correspondant, et l'on effectue une sommation ligne à ligne de ces colonnes ainsi pondérées de façon à obtenir une colonne résultante que l'on transforme ensuite en une matrice SPR formant la matrice SPR de sortie du noeud Y. Bien entendu, au lieu de pondérer chaque colonne, de les sommer et de transformer la colonne résultante en une matrice SPR, on peut transformer chaque colonne en une matrice SPR, pondérer cette matrice SPR avec le poids correspondant, et sommer toutes les matrices SPR pondérées pour obtenir la matrice SPR de sortie. Cette matrice SPR de sortie est explicitée au point (75) de l'annexe 2. Traitement du noeud Z C'est le dernier noeud à traiter. Ce noeud n'appartient à aucun chemin de reconvergence. Donc on peut appliquer de façon directe les opérations matricielles du type SPR puisque ses deux entrées reçoivent des signaux mutuellement indépendants. Pour calculer la matrice SPR de sortie de ce noeud Z, on prend donc comme entrées les deux matrices SPR des deux branches convergeant sur ce noeud Z, c'est-à-dire la matrice SPR du noeud Y (point (75) de l'annexe 2) et la matrice SPR du noeud E (point (76) de l'annexe 2). La matrice SPR de sortie du noeud Z est déterminée comme indiquée précédemment par la formule (77) de l'annexe 2, ce qui permet d'obtenir la matrice mentionnée au point (78) de cette annexe 2. A partir de cette matrice SPRz, on obtient l'information de fiabilité R du circuit en sommant les éléments de cette matrice associés à des états représentant des valeurs de signaux correctes, c'est-à-dire un « 0 » correct et un « 1 » correct. On sommera donc les éléments zi et z4 de façon à obtenir comme mentionné au point (79) de l'annexe 2, une fiabilité, c'est-à-dire en fait une valeur de probabilité, de 89% environ. On se réfère maintenant plus particulièrement à la figure 17 et à l'annexe 3 qui fait également partie intégrante de la présente description, pour décrire un autre exemple de mise en oeuvre du procédé. Dans cet exemple, le réseau nodal RSN2 comporte trois noeuds d'entrée A, B, C, quatre composants situés au niveau des noeuds G1, G2, G3 et G4, le noeud G4 formant également le noeud de sortie du circuit. Des portes « ET » à deux entrées sont disposées au niveau des noeuds G1 et G2 tandis que des portes « OU » à deux entrées sont disposées au niveau des noeuds G3 et G4. Là encore, on considère que les entrées ne sont pas bruitées et sont équiprobables pour les états logique « 1 » et « 0 ». En d'autres termes, la matrice SPR de chaque entrée est définie par le point (1) de l'annexe 3. D'une façon analogue à ce qui a été décrit en référence à l'annexe 2, les matrices ITM et PTM des portes « ET » et « OU » sont définies aux points (2) à (5) de l'annexe 3. Dans ce réseau RSN2, on a une source de corrélation primaire, à savoir le noeud B, et une source de corrélation secondaire, à savoir le noeud G1, un puits interne G3 et un puits final G4. Les chemins de reconvergence sont les suivants pour la source de corrélation B : - le chemin comportant les deux branches B-G2-G3 et B-Gl-G3, et - le chemin comportant les trois branches B-G2-G3- G4, B-Gl-G3-G4 et B-Gl-G4. Par ailleurs, il existe également un chemin de reconvergence issu de la source de corrélation secondaire G1, à savoir le chemin comportant les branches Gl-G3-G4 et Gl-G4. Traitement du noeud G2 Le traitement local du noeud G2 est analogue au traitement local du noeud U du réseau RSN1 de la figure 16. En conséquence, on ne reviendra pas plus en détails ici sur ce traitement local. La matrice CPM de sortie de ce noeud G2 est définie au point (6) de l'annexe 3 et les valeurs numériques de cette matrice sont mentionnées au point (7) de l'annexe 3. Traitement du noeud G1 Ce noeud est une source secondaire de corrélation. Comme indiqué précédemment, pour une source secondaire on détermine deux matrices CPM à savoir, une matrice CPM contenant les probabilités des états du signal de sortie délivré par cette source secondaire conditionnés par les différents états du signal délivré par la source de corrélation B reliée à cette source secondaire. Cette matrice CPMG1if est déterminée de la même manière que la matrice CPM du noeud G2. Elle est matérialisée au point (8) de l'annexe 3. I1 convient de noter ici que cette matrice est en fait une matrice CPM auxiliaire qui n'est pas utilisée comme matrice CPM d'entrée pour un noeud situé en aval de cette source secondaire, par exemple le noeud G3. Par contre, ses termes vont être utilisés dans le traitement de pondération effectué au niveau du puits final. La deuxième matrice CPM élaborée au niveau de cette source secondaire est une matrice contenant les probabilités des différents états du signal G1 délivré par cette source secondaire conditionnés par les différents états de ce même signal. I1 s'agit donc de la matrice identité, qui est référencée ici par la référence CPMGIoä t matérialisée au point (9) de l'annexe 3. C'est cette matrice de sortie, en l'espèce la matrice identité, qui va être utilisée en tant que matrice CPM d'entrée pour le traitement local du noeud G3 et pour le traitement local du noeud G4. Traitement du noeud G3 Ce noeud est un puits interne. Les sources de corrélation qui nourrissent ce puits sont les sources B et G1, donc on élabore en sortie de ce noeud G3 une matrice CPM contenant les probabilités des états du signal G3 conditionnés par toutes les combinaisons possibles des états des signaux B et G1 (point (10) de l'annexe 3). Pour obtenir une telle matrice CPM en sortie, il faut que les matrices CPM en entrée de ce puits soient également conditionnées par les deux sources B et G1. Or, l'une des entrées est la matrice CPM du noeud G2, qui est conditionnée par la source B uniquement, et l'autre entrée du noeud G3 est la matrice CPM du noeud G1 conditionnée ce même noeud, c'est-à- dire la matrice identité. I1 faut donc modifier ces deux matrices de façon qu'elles soient conditionnées par les deux sources de corrélation B et G1. Puisque la matrice CPM du noeud G2 est conditionnée par B, elle est par conséquent indépendante de G1. Donc, rendre la matrice CPM du noeud G2 conditionnée par B et G1 revient à recopier les valeurs de la matrice CPM du noeud G2 dans une nouvelle matrice plus grande qui va contenir le conditionnement désiré. En pratique, chaque colonne de la matrice CPMG2 va être copiée ici quatre fois dans une matrice plus grande pour obtenir les valeurs de probabilités définies au point (11) de l'annexe 3. Cette matrice plus grande, dénommée CPMG2amplified est par conséquent matérialisée au point (12) de l'annexe 3. Cette matrice ainsi amplifiée contient donc quatre groupes de colonnes et chaque groupe contient quatre colonnes identiques. A des fins de simplification seules la première colonne et la dernière colonne de chaque groupe sont matérialisée au point (12) de l'annexe 3. L'autre matrice CPM, c'est-à-dire la matrice CPMGIout, qui est égale à la matrice identité, a été rendue indépendante de B de par son conditionnement par le noeud G1. Là aussi, il convient d'amplifier cette matrice de façon à la rendre conditionnée aux deux sources de corrélation B et G1. On effectue donc la même opération de copie de colonnes dans le même ordre de conditionnement et l'on obtient finalement la matrice CPMGloutamplified matérialisée au point (13) de l'annexe 3. Une fois ces deux matrices amplifiées, on leur applique un traitement local analogue à celui qui a été décrit en référence à la figure 15 pour obtenir la matrice CPM de sortie du noeud G3. Les huit premières colonnes de la matrice CPM du noeud G3 sont matérialisées au point (14) de l'annexe 3 et les huit dernières colonnes sont représentées au point (15) de l'annexe 3. Traitement du noeud G4 Ce noeud est un puits final. Le traitement local à effectuer est donc analogue à celui réalisé pour le puits interne avec la particularité que cette fois on doit en outre appliquer un traitement de pondération en utilisant les probabilités de toutes les combinaisons possibles des états des signaux délivrés par les deux sources de corrélation B et G1. Et, puisque G1 dépend de B, on ne peut pas effectuer une simple multiplication des probabilités des états de B par les probabilités des états de G mais on doit utiliser la formule mentionnée au point (16) de l'annexe 3. Et, on remarque ici que le premier terme du produit mentionné au point (16) de l'annexe 3 est en fait contenu dans la matrice CPM auxiliaire associée à la source secondaire G1 et référencée CPMG1,f. Avant d'effectuer le calcul de la matrice CPM de sortie du puits G4 et d'effectuer le traitement de pondération sur les colonnes de cette matrice, il faut que les deux matrices CPM d'entrée du noeud G4 soient conditionnées par les mêmes sources de convergence. Alors que la matrice CPMG3 est déjà conditionnée par B et G1, celle provenant du noeud G1, c'est-à-dire l'identité, n'est conditionnée que par G1. I1 convient donc d'appliquer sur cette matrice les mêmes opérations d'amplification que celles qui ont été décrites précédemment pour le traitement du noeud G3 de façon à obtenir une matrice CPMGlamplified. Puis, on réalise les mêmes opérations que celles qui ont été décrites pour le noeud Y du réseau RSN1. Plus précisément, chaque matrice SPR pondérée associée à chaque colonne ik de la matrice CPM de sortie du noeud G4 est obtenue par la formule (17) de l'annexe 3. La sommation de toutes ces matrices SPR permet d'obtenir la matrice SPR finale du noeud G4 décrite au point (18) de l'annexe 3. La fiabilité du circuit est donc obtenue comme décrite précédemment, par la formule (19) de l'annexe 3. On obtient donc ici une fiabilité de l'ordre de 85%. On se réfère maintenant plus particulièrement à la figure 18 et à l'annexe 4 qui fait également partie intégrante de la description pour décrire un autre exemple de mise en oeuvre du procédé selon l'invention dans une variante permettant de réduire encore le temps de calcul par rapport aux mises en oeuvre qui viennent d'être décrites en référence aux figures 16 et 17. Le réseau RSN3 de la figure 18 comporte comme noeuds d'entrée les noeuds Il, I2, I3 I4 et I5. Le réseau comporte par ailleurs des portes logiques du type « ET » à deux ou trois entrées aux noeuds A à J. Le noeud J représente le noeud de sortie du circuit. Par analogie avec les exemples précédents, on choisira encore des matrices SPR d'entrée non bruitées et équiprobables et on supposera là encore que les portes ont une probabilité d'erreur intrinsèque égale à 0,05. Le réseau RSN3 est un réseau plus complexe qui présente des chemins de reconvergence imbriqués. Dans ce réseau, les sources de corrélation primaire sont situées au niveau des noeuds Il, I2, I3 et I4. Les sources secondaires sont les noeuds E, F, D. Les puits internes sont les noeuds E, G et I, et le puits final est le noeud J. Les branches des chemins de reconvergence de ce circuit sont les suivantes : pour la source Il et le puits E - I 1-A-E - Il-B-F-E, pour la source Il et le puits I - I 1-A-E-I, - I1-B-F-E-I, - I1-B-F-G-I, pour la source Il et le puits J : - I1-A-E-I-J, - I1-B-F-E-I-J, - I1-B-F-G-I-J, - I 1-A-E-J, - Il-B-F-E-J, pour la source I2 et le puits E - I2-A-E, - I2-B-F-E, pour la source I2 et le puits I - I2-A-E-I, - I2-B-F-E-I, - I2-B-F-G-I, pour la source I2 et le puits J : - I2-A-E-I-J, - I2-B-F-E-I-J, - I2-B-F-G-I-J, - I2-A-E-J, - I2-B-F-E-J, pour la source I3 et le puits G : - I3-D-G, - I3-C-F-G, pour la source I3 et le puits I - I3-D-G-I, - I3-C-F-E-I, - I3-C-F-G-I, pour la source I3 et le puits J - I3-D-G-I-J, - I3-C-F-E-I-J, - I3-C-F-G-I-J, - I3-D-H-J, - I3-C-F-E-J, pour la source I4 et le puits I - I4-D-G-I, - I4-C-F-E-I, - I4-C-F-G-I, pour la source I4 et le puits J - I4-D-G-I-J, - I4-C-F-E-I-J, - I4-C-F-G-I-J, - I4-D-H-J, - I4-C-F-E-J pour la source F et le puits I - F-E-I, - F-G-I, pour la source F et le puits J : - F-E-J, - F-E-I-J, - F-G-I-J, pour la source D et le puits J - D-G-I-J, - D-H-J, pour la source E et le puits J : - E-I-J, - E-J. Dans les modes de mise en oeuvre précédents qui viennent d'être décrits, lors du traitement d'un puits final ou pas, ou lors du traitement d'une source secondaire, on réalise une amplification des matrices CPM d'entrée pour d'une part conditionner chacune des matrices CPM d'entrée aux mêmes sources de corrélation, et d'autre part les conditionner à toutes les sources de corrélation alimentant le puits, qu'elles soient primaires ou secondaires. Cette opération d'amplification matricielle se traduit, comme on l'a vu, par une recopie des mêmes informations un certain nombre de fois, ce qui conduit notamment à augmenter la taille des matrices. L'exemple de mise en oeuvre qui va être décrit maintenant en référence à la figure 18 permet d'éviter cette opération de duplication de colonnes. Cela étant, afin que les deux modes de mise en oeuvre puissent aboutir au même résultat, il ne faut pas perdre l'information de conditionnement qui résultait de cette duplication de colonnes. C'est la raison pour laquelle, dans cette mise en oeuvre dite « optimisée », car elle permet notamment de diminuer le temps de calcul, on va récupérer cette information au niveau du traitement de pondération qui va être un traitement plus lourd que le traitement de pondération de la mise en oeuvre non optimisée. Cependant, le traitement de pondération résulte essentiellement en des multiplications de scalaires, ce qui est bien moins contraignant que des opérations matricielles. La suppression de cette opération d'amplification matricielle va avoir pour conséquence qu'il n'est plus nécessaire, dans un traitement local d'un puits, ou dans un traitement local d'une source secondaire, de conditionner les matrices CPM d'entrée de ces noeuds, d'une part d'une façon identique, et d'autre part à toutes les sources de corrélation qui alimentent ce noeud. En effet, il suffit alors de conditionner ces matrices CPM d'entrée aux sources de corrélation les plus proches de ce noeud. 43 Dans la suite du texte, on ne détaillera pas les calculs des différentes matrices CPM car ces calculs ont déjà été explicités dans les modes de mise en oeuvre précédents. On insistera simplement en particulier sur la taille de ces matrices et les différences de conditionnement par rapport à la variante précédente. Traitement du noeud A La matrice CPM de sortie du noeud A va être conditionnée aux sources de corrélation Il et I2, et par conséquent, la matrice CPMA contiendra les probabilités P(ai Ill n I2k). On utilisera à cet égard les matrices CPM (I1/I1) et CPM (I2/I2) qui sont les matrices « identité ». La taille de cette matrice CPMA est de 4 x 16 (16 est le nombre de combinaisons possibles entre les quatre états possibles de Il et les quatre états possibles de I2). Traitement du noeud B Le traitement du noeud B est similaire à celui du noeud A. La matrice CPMB contiendra les probabilités P(bi I11 n 12k). Traitement du noeud C La traitement du noeud C est similaire à ceux des noeuds A et B mais dans ce cas, les variables de conditionnement sont les sources de corrélation I3 et I4. Donc, la matrice CPMc contiendra les probabilités : P(ci I31 n I4k). Traitement du noeud F Ce noeud est une source de corrélation secondaire. Comme déjà expliqué, on va donc calculer pour cette source secondaire, deux matrices CPM. Une première matrice contiendra le conditionnement par les sources de corrélation antérieures à cette source secondaire, en l'espèce les sources de corrélation Il, I2, I3 et I4. Par conséquent, cette matrice CPMF.n contiendra les probabilités P(f Ill nl2k nI3i nl4m). La taille de cette matrice est égale à 4 x 256. La deuxième matrice calculée est la matrice CPMFoä t qui est la matrice du signal F conditionné par lui-même donc la matrice identité. Traitement du noeud E Ce noeud E est à la fois un puits interne et une source secondaire de corrélation. Puisqu'il s'agit d'une source secondaire de corrélation, on calcule comme pour le noeud F deux matrices CPM à savoir une matrice de sortie CPMEoä t qui est la matrice identité, et une matrice CPM auxiliaire CPME,f. Le calcul de cette matrice CPM auxiliaire est effectué à partir des deux matrices CPM d'entrée du noeud E. Ces deux matrices CPM d'entrée sont la matrice CPM du noeud A qui est conditionnée aux sources de corrélation Il et I2 et la matrice CPM égale à l'identité provenant de la source secondaire F. Dans la mise en oeuvre précédente, il aurait été nécessaire d'amplifier ces matrices CPM d'entrée de façon à les conditionner chacune à toutes les sources de corrélation reliées au noeud E, c'est-à- dire aux sources de corrélation Il, I2, I3, I4 et F. On aurait donc obtenu des matrices ayant 45 colonnes. Dans cette mise en oeuvre, on conditionne simplement chacune des matrices CPM d'entrée de la source de corrélation E, aux sources de corrélation les plus proches situées en amont de cette source E et qui l'alimentent, c'est-à-dire les sources Il, I2 et F. En conséquence, on va utiliser telle quelle la matrice CPM du noeud A, qui est conditionnée aux sources Il et I2, ainsi que la matrice identité, qui est conditionnée à la source F. Ainsi, la matrice CPM auxiliaire associée à ce noeud E, référencée CPME.n contiendra les probabilités P(ei ll1 nl2k n f~). Le nombre de colonnes de cette matrice est par conséquent égal à 43. I1 convient de noter également ici que puisque le noeud E est à la fois un puits interne et une source secondaire, la matrice CPM de sortie du puits interne, qui est normalement calculée lorsque le noeud est seulement un puits interne, correspond en fait ici à la matrice CPM auxiliaire calculée pour la source secondaire. Traitement du noeud D C'est également une source secondaire de corrélation. Les traitements sont donc analogues à ceux effectués pour les autres sources secondaires. On calcule donc une matrice CPMD.n qui contiendra les probabilités P(di I31 nl4k) et la matrice CPM., qui contiendra P(di d1), c'est-à-dire la matrice identité. Traitement du noeud G Ce noeud est un puits interne. Les matrices CPM des entrées sont conditionnées par F et par D respectivement. Donc, la matrice CPMG contiendra les probabilités P(gi .f; n dk). On obtient donc une matrice de taille 4 x 16. Si l'on avait utilisé une mise en oeuvre relative à la variante non optimisée, il aurait été nécessaire pour ce puits G de conditionner chacune des matrices CPM d'entrée aux sources de corrélation Il, I2, I3, I4, D et F, ce qui aurait conduit à une amplification matricielle des matrices CPM d'entrée. Par ailleurs, la matrice CPM de sortie du noeud G aurait contenu également un conditionnement par toutes les sources de corrélation et on aurait obtenu une matrice ayant 46 colonnes. I1 convient de noter ici que même lorsqu'une matrice CPM d'entrée n'est conditionnée qu'à une seule source de corrélation, en l'espèce la source D ou la source F, ces deux matrices sont représentatives de signaux indépendants, et ce même si le conditionnement est différent entre les matrices CPM d'entrée. Traitement du noeud H Ce noeud a une entrée appartenant à un chemin de reconvergence et une entrée, celle reliée au noeud I5, qui n'appartient pas à ce chemin de reconvergence, donc la matrice CPM à calculer, CPMH, contiendra P(h~ di). Elle va être calculée à partir de la matrice CPM de D conditionné par D (la matrice identité) et de la matrice SPR de I5. Traitement du noeud I Ce noeud est un puits interne. Le traitement local est analogue à celui effectué pour le noeud G. Les matrices CPM des entrées sont conditionnées par E, et par F et D, respectivement. Donc, la matrice CPMI contiendra les probabilités P(i e1 n fk n di). On obtiendra donc une matrice ayant 64 colonnes alors qu'avec la mise en oeuvre non optimisée, qui aurait nécessité une amplification des matrices CPM des entrées de façon à les conditionner par toutes les sources de corrélation, on aurait obtenu un conditionnement par l'ensemble des sources de corrélation Il, I2, I3, I4, D, F et E, c'est-à-dire une matrice ayant 47 colonnes. Traitement du noeud J Ce noeud est un puits final. I1 faut donc appliquer un traitement de pondération dans le traitement local de ce noeud, de façon à obtenir la matrice SPR finale de ce noeud, qui sera ici la matrice de sortie du circuit électronique. Pour ce noeud J, on a trois entrées et par conséquent trois matrices CPM à savoir : - E : CPME., qui contient P(ei e1). - I : CPMI qui contient P(ii e1 n fk n d~). - H : CPMH qui contient P(hi di). Comme pour le traitement des puits internes G et I, on va utiliser ces trois matrices d'entrée sans les amplifier, pour réaliser le calcul de la matrice SPR finale. Et, pour calculer les poids à appliquer lors du traitement de pondération, on va utiliser les conditionnements calculés dans les matrices CPM relatives aux sources secondaires. Un exemple d'algorithme permettant d'effectuer ces opérations est écrit en pseudocode sur l'annexe 4. Les trois premières boucles de cet algorithme permettent d'assigner un état aux trois sources de corrélation E, F et D qui sont les variables de conditionnement intervenant dans le puits final. A la suite de ça, on réalise un calcul du type SPR. A cet égard, on prend dans chaque matrice CPM d'entrée du puits final la colonne qui correspond à la combinaison des entrées ej, fk et dl. Ensuite, on calcule le poids de cette opération. Ce poids doit contenir toutes les combinaisons possibles des entrées primaires (au niveau des sources de corrélation primaire) qui donnent cette combinaison ej, fk et dl au niveau des entrées des sources secondaires E, F et D. Ceci correspond à la boucle du pseudocode commençant par poids =0. Pour calculer ce poids, on utilise la matrice CPM auxiliaire CPM,,, calculée pour chaque source secondaire, de façon à obtenir des probabilités conditionnées respectivement définies par les trois premiers termes du produit figurant dans l'instruction de calcul du poids ( commençant par poids=poids + ) dans le pseudocode annexé. Enfin, on accumule cette matrice SPR aux qu'on vient de calculer, pondérée par le poids calculé, dans une matrice SPR finale et on effectue au sein d'une boucle un traitement d'accumulation de cette matrice pour toutes les combinaisons possibles des sources de corrélation primaires et secondaires arrivant au puits final. On utilise donc aussi les probabilités contenues dans les matrices SPR des noeuds d'entrée. Et, bien entendu, une fois que l'on a obtenu cette matrice SPR finale, on en déduit l'information de fiabilité d'une façon analogue à celle qui a été décrite précédemment. Avec cette mise en oeuvre évitant des opérations d'amplification matricielles, le temps de calcul et la taille mémoire requise par le système lors de son exécution sont beaucoup plus faibles. En effet, on réduit au strict minimum le nombre d'opérations matricielles à réaliser. En compensation, il est nécessaire de faire beaucoup plus d'opérations scalaires pour calculer les poids des opérations matricielles, mais ces produits scalaires sont moins contraignants en termes de temps de calcul et de taille mémoire que des opérations matricielles. A titre indicatif, pour le réseau illustré sur la figure 18, le temps de calcul nécessaire à la mise en oeuvre du procédé selon l'invention dans la variante dite « optimisée » n'utilisant pas d'amplification de matrice, est de l'ordre de 0,12 secondes alors qu'il serait de l'ordre de 7,8 secondes si l'on utilisait la méthode dite « SPR Multipass » de l'art antérieur. A titre indicatif, si l'on utilisait le procédé selon l'invention dans sa variante non optimisée, c'est-à-dire avec des amplifications matricielles, on obtiendrait un temps de calcul d'environ 3,4 secondes. On remarque donc que le procédé selon l'invention, dans sa variante dite « optimisée », est environ 70 fois plus rapide que la méthode SPR Multipass pour le circuit de la figure 18. Et bien entendu, plus il y a de chemins de reconvergence, plus le rapport entre le temps de calcul d'une méthode SPR Multipass et le temps de calcul du procédé selon l'invention va augmenter. Annexe 1 (1) for all ù output nodes do for all ù input ù edges do apply_CPM end for end for Annexe 2 (2) if node source is sink then activate_path for all_input_edges do if edge_is_active then apply ù CPM analyse ù PATH else apply ù CPM computeedgesSPRmatrax end if end for if node is~final_sink then compute_edges_SPR_matrix else compute_ou t_ CPM end if else if node source isreconvergencesource then for all_input_edges do apply CPM if edge_is_active then analyze ù PATH else compute_edges_SPR_matrix end if end for if node == primarysource then compute_edges_SPR_matrix else compute_ou t_ CPM end if Annexe 1 (2) suite et fin else for al/ input edges do apply ù CPM end for if no_pathisactive then compute_edges_SPR_matrix else compute_CPM_matrix end if end if Annexe 2 (al a2 " "P(0e) P(li) (0.5 0 a3 a4 ~P(Oi) P(l )/ ~0 0.5 / (1) SP1\input ITMAND = (2) PTM AND = (0.95 0.05 0.95 0.05 0.95 0.05 0.05 0.95 / (3) ITMOR (4) PTM OR (0.95 0.05 0.05 0.95 0.05 0.95 0.05 0.95 / (5)20 '7P(ul/bl) P(u1/b2) P(u1/b3) P(u1/b4 P(u2/ bl) P(u2/b2) P(u2/b3) P(u2/b 4 P(u 3 / bl) P(u3 /b2) P(u3 /b3) P(u3 /4 U P(u4 /bl) P(u4/b2) P(u4/b3) P(u4/b4 ) SPRA = gal a2 X0.5 0 (7) ~a3 a4 ~0 0.5 / (1 o o o` 0 1 0 0 CPMB = (8) 0 0 1 0 0 0 0 1 i (1 0 SPRB1 = (9) SPR1 = ITMANDT 0 o i • (SPRA O SPRB1) • PTMAND (10) (0.95 0.05 CPMU = (6) SPR1 = "0.95 0.05 0 0 io o i (12)20 SPRB2 = (13) SPR2 = ITMANDT • (SPRA O SPRBZ • PTMAND (14) (0.5 0.5 0 0 / SPRB3 = 0.475 0.025 0.475 0.025 / SPRB4 = 0.475 0.025 0.025 0.475 (19) (15) (16) (17) (18) 56 (0.95 0.5 0.475 0.475 0.05 0.5 0.025 0.025 CPMU = (20) 0 0 0.475 0.025 0 0 0.025 0.475 SPRUI = SPRBI = (0.95 0.05 0 0 i (21) (22) SPR1 = ITMoRR • (SPRUI OO SPRBI• PTMoR (23) 0.905 0.095 (24) 0 0 i (0.5 0.5 SPRUI = (25) 0 0 i (0 1 SPRB2 = (26) 0 0; SPR2 = ITMoRR • (SPRUI OO SPRBI) •PTMoR (27)20 (0.05 0.95 (28) 0 0 0.475 0.025 SPRU3 (29) 0.475 0.025 / (0 e SPRB3 = (30) 1 0 SPR3 = ITMORR (SPRV3 OO SPRB3 • PTMoR (31) 0.095 0.475 0.025 SPRU4 (33) 0.025 0.475 / (0 SPRB4 (34) 0 1 15 SPR4 = ITMoR R • (SPRU4 OO SPRB4) . PTMOR (35) (32) (36) CPMW = CPMV = 5 CPM, = 58 0.905 0.05 0 0 0.095 0.95 0 0 0 0 0.905 0.05 0 0 0.095 0.95; (0.95 0.5 0.475 0.475 0.05 0.5 0.025 0.025 0 0 0.475 0.025 0 0 0.025 0.475 '7P(x1/V1) P(.x1/v2) P(.x1/v3) P(.x1/v4) P(x2 /V1) P(x2 /v2) P(x2 /v3) P(x2 /v4 ) P(x3 /v1) P(x3 /v2) P(x3 /v3) P(x3 /v4 ) P(x4/v1) P(x4/v2) P(x4/v3) P(x4/v4 ) (37) (38) (39) 10 SPRD = SPRV1 = (0.5 0 0 0.5 i (40) (41) SPR1 = ITMoRR (SPRV1 OO SPRD) • PTMoR (42) 0.475 0.025 0.025 (43) C1.475 j 15 SPR,,~ _ (44) SPR2 = ITMoRR • (SPRV2 OO SPRD )• PTMoR (45) 0.025 0.475 0.025 0.475 / SPRV3 = (46) (47) SPR3 = ITMoRR (SPRV3 OO SPRD)• PTMoR (48) (49) SPRV4 = (50) SPR4 = ITMoRR • (SPRV4 OO SPRD) • PTMoR (51) 0 0 (52) 0.05 0.95 / 0.475 0.025 0 0 0.025 0.475 0 0 CPMX = (53) 0.025 0.025 0.5 0.05 0.475 0.475 0.5 0.95 / P(x~ / b1) = P(x~ l vk) • P(vk l b1) (54) CPMX'= CPMX CPMv (55) '7P(x / b) P(x /b2) P(x /b3) P(x /b4) P(x2/bl) P(x2/b2) P(x2/b3) P(x2/b4) P(x3 /bl) P(x3/b2) P(x3/b3) P(x3/b4) P(x4 / bl) P(x4/b2) P(x4/b3) P(x4/b4 ) 0.4525 0.2500 0.2262 0.2262 0.0475 0.2500 0.0238 0.0238 0.0250 0.0250 0.2512 0.0488 0.4750 0.4750 0.4987 0.7012 / 0.905 0.05 0 0 (58) (56) (57) 0.4525 0.0475 0.025 0.475 / (59) 10 SPRX'i = SPR1 = ITMANDT • (SPRWI O SPRX'1)• PTMAND (60) 0.9053 0.0947 0 (61) 0 / 15 SPRW2 = (0.05 0.95 0 0 (62) SPRX'2 = 0.25 0.25 0.025 0.475/ (63) 20 SPR2 = ITMANDT • (SPRW2 O SPRX'2) • PTMAND (64) 61 .3301 0.6699 0 0 i (65) SPRW 3 0 0 0.905 0.095 (66) 0.2262 0.0238 " 0.2512 0.4987 (67) SPRX'3 = 10 SPR3 = ITMANDT •(SPRW3 OSPRX'3)•PTM AND (68) 0.2355 0.0145 0.6698 (69) 0.0801; SPRW 4 (0 0' 0.05 0.95 (70) 0.2262 0.0238 " 0.0488 0.7012 SPRX'4 = (71) 15 SPR4 = ITMAT (SPRW4 O SPRX '4) • PTMAND (72) 0.2172 0.0328 0.1130 (73) 0.6370; SPRB = (0.5 0 0 0.5 i (74) 0.5612 0.0638 0.0565 0.3185 SPR, = (75) SPRE= (0.5 0 0 0.5 i (76) SPRZ = ITMoRE • (SPR, OO SPRE) • PTMOR (77) 0.2682 0.0443 0.0598 0.6277; SPRZ = (78) Fiabilité = zi + z4 = 0.2682 + 0.6277 = 0.8959 (79) Annexe 3 (al a2 " 'tP(0,) P(li) (0.5 0 " a3 a4 / \P(0i) P(le) / \0 0.5/ (1) SP1\input ITMAND = (2) PTM AND = (0.95 0.05 " 0.95 0.05 0.95 0.05 0.05 0.95 / (3) (4) (5) 15 CPMG 2 = (0.95 0.05 0.05 0.95 0.05 0.95 0.05 0.95/ '7P(g21 /b1) P(g21 /b2) P(g21 /b3) P(g21 /b4 P(g22 /b1) P(g22 /b2) P(g22 /b3) P(g22 /b4 P(g23/b1) P(g23/b2) P(g23/b3) P(g23/b4) v P(g24 /b1) P(g24 /b2) P(g24 /b3) ` (g24 /b4) / ITMOR PTMOR (6) 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 (£ 1) 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 ~0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1) . pa ipdueo;nolD TT SZO 0 SZO 0 SZO 0 SZO 0 0 0 0 (Z 1) SL1'0 "' SL1'0 SL1'0 SL1'0 0 "' 0 0 0 pdfipduevZD SZO 0 SZO 0 SZO 0 SZO O S 'O S 'O SO O SO O SL1'0 SL1'0 SL1'0 S'0 S'0 S6'0 "' S6'0) (II) (1712u `q'Z1d`('12u `q'Z1d`(z12u `q'Z1d`('12u 01 (01) ('112 u `q '£ld SI (6) 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1) ,no = LITdD S i SL1'0 (8) SZO'0 0 0 SZO'O SL1'0 0 0 SZO'0 SZO'0 S'0 SO'0 SL~'0 SL1'0 S'0 S6'0) i SL1'0 SZ0'0 0 0 w ID 1' l -cD SZO'O SL17'0 0 0 SZO'O SZO'O S'0 S0'0 SL~'0 SL17'0 S'0 S6'0) (L) ZD = LV-cD 179 OLt8S6Z 5 65 0.905 0.05 0 0 0.5 0.05 0 0 0.095 0.95 0 0 0.5 0.95 0 0 0 0 0.905 0.05 0 0 0.5 0.05 (14) 0 0 0.095 0.95 0 0 0.5 0.95 0.4525 0.025 0 0 0.4525 0.025 0 0 0.0475 0.475 0 0 0.0475 0.475 0 0 (15) 0.4525 0.025 0.905 0.05 0.0475 0.025 0.5 0.05 0.0475 0.475 0.095 0.95 0.4525 0.475 0.5 0.95 P(bi n glk) = P(O lk ). ) (16) SPRG4ik = (ITMORT (SPRGlikampliled 0 SPRG3ik ). PTMOR) (P(glk bi) P(bi )) (1 7) 10 SPRG4= 0.5149 0.1101 0.0345 0.3405 (18) R = SPRG4 (0,0)+ SPRG4 (1,1) = 0.5149 + 0.3405 = 0.8554. (19) Annexe 4 SPRfinal(1,1)=0 SPRfinal(1,2)=0 SPRfinal(2,1)=0 SPRfinal(2,2)=0 for j=1:4 e=ej; for k=1:4 f=f k; for 1=1:4 d=d l; SPRaux=(ITMT)*(produitkronecker(SPRE(j),SPRI(j,k,l), SPR H(l))*PTM ; poids=0 for m=1:4 il=il m ; for n=1:4 i2=i2 n for o=1:4 i3=i3 o for q=1:4 i4=i4_q; poids=poids+(em,i2n,fk)*(f 1(1.11 m,i2n,i3o,i4q) *(d1113o,i4q)*ilm*i2n*i3o*i4q; end; end; end; end; SPR final=DPR final+SPR aux*poids; end; end; end; REVENDICATIONS1. Procédé d'estimation de la fiabilité d'un circuit électronique, ledit circuit électronique comprenant un réseau de noeuds interconnectés au niveau de certains au moins desquels sont disposés des composants, ledit procédé, mis en oeuvre au sein d'un système informatique (SINF), comprenant un traitement global basé sur une approche de propagation probabiliste utilisant des représentations matricielles de probabilités associées à des états de signaux présents aux différents noeuds du réseau et des représentations matricielles de transfert de signaux (ITM, PTM) à travers les composants, et une détermination d'une information de fiabilité (R) résultant dudit traitement global, caractérisé en ce qu'en présence dans le circuit d'au moins un chemin comportant une source de corrélation, plusieurs branches débutant au niveau de ladite source de corrélation et un composant formant un puits où aboutissent lesdites branches, le traitement global comprend pour chaque composant dudit chemin, un traitement local (11) comportant une élaboration d'au moins une matrice de probabilités conditionnelles (CPM) contenant les probabilités des différents états d'un signal présent au niveau de ce composant conditionnés par les différents états d'au moins un signal présent au niveau de ce composant ou au niveau d'au moins un noeud situé sur ledit chemin en amont dudit composant, de façon à déterminer ladite information de fiabilité à partir de signaux indépendants ou rendus indépendants, malgré la présence de sources de corrélation. 2. Procédé selon la revendication 1, dans lequel le circuit électronique comprend au moins un noeud d'entrée et le traitement global comprend une élaboration au niveau de chaque noeud d'entrée, d'une matrice d'entrée (SPR) contenant les probabilités des différents états d'un signal d'entrée reçu à ce noeud, des traitements locaux du type matriciel (11) associés auxdits composants et faisant intervenir des matrices d'entrée locales de probabilités et des matrices de transfert probabiliste (PTM) et idéale (ITM) des composants. 3. Procédé selon la revendication 2, dans lequel en présence au niveau d'un composant formant un puits (PTS), d'au moins deux signaux (SSC1, SCC2) mutuellement corrélés par au moins une source de corrélation (SC1, SC2, SC3), ledit traitement local comprend, pour chaque signal corrélé, une élaboration, en tant que matrice d'entrée locale de probabilité, d'une matrice de probabilités conditionnelles (CPM) contenant les probabilités des différents états dudit signal corrélé conditionnés par les différents états d'au moins un signal délivré par au moins une source de corrélation dont est issu ledit signal corrélé. 4. Procédé d'estimation de la fiabilité d'un circuit électronique, ledit circuit électronique comprenant un réseau nodal possédant au moins un noeud d'entrée, au moins un noeud de sortie et plusieurs composants formant des noeuds intermédiaires interconnectés entre le noeud d'entrée et le noeud de sortie, ledit procédé, mis en oeuvre au sein d'un système informatique, comprenant un traitement global basé sur une approche de propagation probabiliste utilisant des représentations matricielles de probabilités des états de signaux présents aux différents noeuds et des représentations matricielles de transfert de signaux à travers lesdits composants, et une détermination d'une information de fiabilité au niveau dudit au moins un noeud de sortie résultant dudit traitement global, caractérisé en ce qu'en présence au niveau de l'un au moins des composants d'au moins deux signaux mutuellement corrélés par au moins un noeud formant au moins une source de corrélation, la représentation matricielle de probabilités associée à chaque signal corrélé comprend une matrice de probabilités conditionnelles contenant les probabilités des différents états dudit signal corrélé conditionnés par les différents états d'au moins un signal délivré par au moins une source de corrélation dont est issu ledit signal corrélé, de façon à déterminer ladite information de fiabilité à partir de signaux indépendants ou rendus indépendants, malgré la présence de sources de corrélation. 5. Procédé selon la revendication 4, dans lequel le traitement global comprend une élaboration au niveau de chaque noeud d'entréed'une matrice d'entrée contenant les probabilités des différents états d'un signal d'entrée reçu à ce noeud, des traitements locaux du type matriciel associés auxdits composants et faisant intervenir des matrices d'entrée locales de probabilités et des matrices de transfert probabiliste et idéale des composants, et le traitement local associé à un composant recevant lesdits au moins deux signaux corrélés comprend pour chacun des signaux corrélés, une détermination en tant que matrice locale d'entrée de ladite matrice de probabilités conditionnelles correspondante. 6. Procédé selon l'une des revendications précédentes, comprenant une analyse (10) du réseau nodal du circuit électronique de façon à déterminer la ou les sources de corrélation, le ou lesdits chemins débutant au niveau de cette ou de ces sources de corrélation et le ou les puits auxquels aboutissent ce ou ces chemins, chaque composant d'un puits recevant en entrée plusieurs signaux corrélés. 7. Procédé selon la revendication 6, dans lequel le traitement local associé à un composant formant un puits (PTS) comprend pour chacun des signaux corrélés (SSC1, SCC2) alimentant ce puits, une détermination en tant que matrice locale d'entrée d'une matrice conditionnée contenant les probabilités des différents états dudit signal corrélé conditionnés par les différents états du ou des signaux délivrés par la ou toutes les sources de corrélation (SC1, SC2, SC3) alimentant ce puits. 8. Procédé selon la revendication 7, dans lequel lorsque les signaux corrélés alimentant ledit puits sont corrélés par un ensemble de sources de corrélation, la détermination de la matrice locale d'entrée conditionnée associée à chacun desdits signaux corrélés alimentant ledit puits, comprend lorsqu'une matrice initiale conditionnée associé à ce signal corrélé n'est conditionnée qu'à certaines seulement des sources de corrélation dudit ensemble, une modification (81) de la matrice initiale conditionnée de façon à obtenir une matrice modifiée conditionnée à toutes lesdites sources de corrélation dudit ensemble. 9. Procédé selon la revendication 8, dans lequel ladite matrice modifiée comprend une copie (810) de chaque colonne de la matrice initiale conditionnée un nombre de fois égal au nombre d'états possibles des signaux délivrés par les sources de corrélation non prises en compte dans la matrice initiale conditionnée. 10. Procédé selon la revendication 7, dans lequel lorsque chaque signal corrélé alimentant ledit puits est corrélé par une seule et même source de corrélation, la détermination de la matrice locale d'entrée conditionnée associée à chacun desdits signaux corrélés alimentant ledit puits, comprend lorsqu'une matrice initiale conditionnée associé à ce signal corrélé n'est pas conditionnée à ladite source de corrélation, une modification (81) de la matrice initiale conditionnée de façon à la rendre conditionnée à ladite source de corrélation. 11. Procédé selon la revendication 9, dans lequel ladite modification comprend une multiplication matricielle (811) des matrices locales de sortie conditionnées de tous les composants connectés entre ledit puits et ladite source de corrélation. 12. Procédé selon l'une des revendications 7 à 11, dans lequel le réseau nodal du circuit électronique comporte au moins une source primaire de corrélation (SC1, SC2, SC3) et au moins une source secondaire de corrélation (SSD), chaque source primaire de corrélation étant une source à partir de laquelle débute au moins un chemin, chaque source secondaire de corrélation étant une source à partir de laquelle débute au moins un chemin et appartenant à un chemin alimenté par une source précédente de corrélation, primaire ou secondaire, disposée en amont de ladite source secondaire de corrélation, et le traitement local (11) d'un composant formant une source secondaire de corrélation (SSD) comprend une élaboration (111) d'une matrice de sortie locale conditionnée (CPMssDOät) égale à la matrice identité et d'une matrice auxiliaire conditionnée (CPMssDin) contenant les probabilités des différents états du signal local de sortie délivré par cette source secondaire conditionnés par les différents états des signaux délivrés par toutes les sources de corrélation situées enamont de cette source secondaire et reliées à cette source secondaire, et on utilise ladite matrice locale de sortie conditionnée (CPMssDout) comme matrice locale d'entrée conditionnée d'un composant situé en aval de cette source secondaire sur un chemin et directement relié à cette source secondaire. 13. Procédé selon la revendication 6, dans lequel le traitement local associé à un composant formant un puits (PTS) comprend pour chacun des signaux corrélés alimentant une entrée de ce puits, une détermination en tant que matrice locale d'entrée d'une matrice conditionnée contenant les probabilités des différents états dudit signal corrélé conditionnés par les différents états du ou des signaux délivrés par la ou les sources de corrélation les plus proches (SC4, SC3) connectées à ladite entrée du puits. 14. Procédé selon la revendication 13, dans lequel le réseau nodal du circuit électronique comporte au moins une source primaire de corrélation et au moins une source secondaire de corrélation (SSD), chaque source primaire de corrélation étant une source à partir de laquelle débute au moins un chemin, chaque source secondaire de corrélation étant une source à partir de laquelle débute au moins un chemin et appartenant à un chemin alimenté par une source précédente de corrélation, primaire ou secondaire, disposée en amont de ladite source secondaire de corrélation, et le traitement local d'un composant formant une source secondaire comprend une élaboration d'une matrice de sortie locale conditionnée (CPMssDOät) égale à la matrice identité et d'une matrice auxiliaire conditionnée (CPMssD,f) contenant les probabilités des différents états du signal local de sortie délivré par cette source secondaire conditionnés par les différents états des signaux délivrés par les sources de corrélation (SC4, SC3) situées en amont de cette source secondaire, les plus proches de cette source secondaire, et reliées à cette source secondaire, et on utilise ladite matrice locale de sortie conditionnée (CPMssDout) comme matrice locale d'entrée conditionnée d'un composant situé en aval de cette source secondaire sur un chemin et directement relié à cette source secondaire. 15. Procédé selon l'une des revendications 6 à 14, dans lequel le traitement local associé à un composant situé sur au moins un chemin et ne formant ni une source de corrélation ni un puits, comporte une élaboration (131) d'une matrice locale de sortie (CPM(Z/A)) conditionnée par les composants situés immédiatement en amont dudit composant sur chacun des chemins, à partir de matrices conditionnées contenant respectivement les probabilités des différents états des signaux délivrés par ces composants amont conditionnés par les différents états de ces mêmes signaux. 16. Procédé selon l'une des revendications 6 à 15, dans lequel le traitement local associé à un puits dit interne formant un noeud intermédiaire d'un autre chemin comprend une élaboration (82), à partir des matrices locales d'entrée conditionnées associées à ce puits interne, d'une matrice locale de sortie conditionnée contenant les probabilités des différents états du signal local de sortie dudit puits interne conditionnés par les différents états des signaux conditionnant lesdites matrices locales d'entrée conditionnées de ce puits interne. 17. Procédé selon l'une des revendications 6 à 16, dans lequel le traitement local associé à un puits dit final n'appartenant pas à un autre chemin, comprend une élaboration (83) d'une matrice locale de sortie conditionnée à partir des matrices locales d'entrée conditionnées associées à ce puits final et un traitement de pondération (84) des éléments de cette matrice locale conditionnée de sortie par les probabilités des différents états des signaux délivrés par toutes les sources de corrélation reliées à ce puits final. 18. Procédé selon la revendication 17 prise en combinaison avec la revendication 12 ou 14, dans lequel certaines desdites probabilités utilisées dans ledit le traitement de pondération sont des éléments de ladite ou desdites matrices auxiliaires conditionnées (CPMssDin). 19. Procédé selon la revendication 17 ou 18, dans lequel chaque matrice d'entrée (SPR) associée à un noeud d'entrée du circuit électronique à une taille d'entrée, et le traitement de pondération (84) s'applique sur les colonnes de valeurs de la matrice conditionnée desortie du puits final et le traitement local du puits final comprend en outre à partir du résultat de ce traitement de pondération, une élaboration (85) d'une matrice locale de sortie ayant ladite taille d'entrée. 20. Procédé selon l'une des revendications précédentes, dans lequel chaque matrice d'entrée (SPR) associée à un noeud d'entrée du circuit électronique à une taille d'entrée, et l'élaboration d'une matrice conditionnée (CPM2) associée à un composant à partir d'une première matrice (SPRA) ayant la taille d'entrée et d'une matrice conditionnée initiale (CPM1), comprend une transformation (140) de chaque colonne de la matrice conditionnée initiale en une première matrice intermédiaire ayant ladite taille d'entrée, et pour chaque première matrice intermédiaire, un produit matriciel (141) faisant intervenir la transposée de la matrice de transfert idéale du composant, la matrice de transfert probabiliste de ce composant et le produit de Kronecker entre la première matrice et ladite première matrice intermédiaire, chaque produit matriciel fournissant une deuxième matrice intermédiaire, une transformation (142) de chaque deuxième matrice intermédiaire en un vecteur colonne, tous les vecteurs colonnes ainsi obtenus formant ladite matrice conditionnée. 21. Procédé selon l'une des revendications précédentes, dans lequel chaque matrice d'entrée associée à un noeud d'entrée du circuit électronique a une taille d'entrée, et l'élaboration d'une matrice conditionnée (CPM3) associée à un composant à partir d'une première matrice conditionnée initiale (CPM1) et d'une deuxième matrice conditionnée initiale (CPM2), comprend une transformation (151) de chaque colonne de la première matrice conditionnée initiale en une première matrice intermédiaire ayant ladite taille d'entrée, une transformation (152) de chaque colonne de la deuxième matrice conditionnée initiale en une deuxième matrice intermédiaire ayant ladite taille d'entrée,et pour chaque première matrice intermédiaire et pour chaque deuxième matrice intermédiaire homologue, un produit matriciel (153) faisant intervenir la transposée de la matrice de transfert idéale du composant, la matrice de transfert probabiliste de ce composant et le produit de Kronecker entre la première matrice intermédiaire et la deuxième matrice intermédiaire, chaque produit matriciel fournissant une troisième matrice intermédiaire, une transformation (154) de chaque troisième matrice intermédiaire en un vecteur colonne, tous les vecteurs colonnes ainsi obtenus formant ladite matrice conditionnée. 22. Procédé selon l'une des revendications précédentes prises en combinaison avec la revendication 6, dans lequel lesdits traitements locaux (11) sont effectués de façon récursive depuis les sorties vers les entrées du circuit électronique. 23. Procédé selon l'une des revendications précédentes, dans lequel les composants comportent des éléments combinatoires, chaque signal d'entrée du circuit électronique et chaque signal de sortie du circuit électronique sont des signaux logiques susceptibles de prendre une première valeur logique ou une deuxième valeur logique et chaque matrice d'entrée associée à un signal d'entrée et chaque matrice de sortie associée à un signal de sortie est une matrice élémentaire (SPR) de taille d'entrée 2x2 comportant une probabilité que la première valeur logique soit une valeur correcte correspondant à un premier état du signal, une probabilité que la deuxième valeur logique soit une valeur incorrecte correspondant à un deuxième état du signal, une probabilité que la première valeur logique soit une valeur incorrecte correspondant à un troisième état du signal, une probabilité que la deuxième valeur logique soit une valeur correcte correspondant à un quatrième état du signal. 24. Procédé selon la revendication 23, dans lequel on arrange chaque matrice de taille 2x2 (SPR) associée aux quatre états possibles d'un signal de façon à ce que la première colonne de ladite matrice contienne la probabilité associée au premier état et la probabilité associée au troisième état, la deuxième colonne de ladite matrice contienne la probabilité associée au deuxième état et la probabilitéassociée au quatrième état, la diagonale de ladite matrice contenant la probabilité associée au premier état et la probabilité associée au quatrième état, et on arrange une matrice conditionnée (CPM) associée à un signal de façon à ce qu'une colonne de la matrice conditionnée contienne les probabilités de tous les états dudit signal respectivement conditionnés par un même état d'un signal conditionnant ou d'un ensemble de signaux conditionnants, deux colonnes différentes non dupliquée de ladite matrice conditionnée étant respectivement associées à deux états différents du signal conditionnant ou de l'ensemble de signaux conditionnants. 25. Procédé selon l'une des revendications précédentes, dans lequel le réseau nodal comporte au moins un noeud de sortie au niveau duquel on élabore une matrice de sortie associé à un signal de sortie et la détermination de ladite information de fiabilité (R) comprend la somme des probabilités de la matrice de sortie du signal de sortie du circuit électronique associées respectivement aux états correspondant à des valeurs correctes du signal de sortie (zi, z4). 26. Système informatique comprenant des moyens configurés pour mettre en oeuvre le procédé selon l'une des revendications 1 à 25. 27. Produit programme d'ordinateur chargeable directement dans une mémoire d'un système informatique, comprenant des portions de code de logiciel pour l'exécution du procédé selon l'une des revendications 1 à 25 lorsque ledit programme est exécuté sur ledit système informatique. 28. Support lisible par un système informatique, ayant des instructions exécutables par ordinateur adaptées pour provoquer l'exécution par le système informatique du procédé selon l'une des revendications 1 à 25.