METHOD FOR ENCODED DIAGNOSTICS IN A FUNCTIONAL SAFETY SYSTEM

A method includes, storing a set of valid codewords including: a first valid functional codeword representing a functional timeout state of a second controller; a first valid fault codeword representing a fault timeout state of the second controller and characterized by a minimum hamming distance from the first valid functional codeword; a second valid functional codeword representing a functional state of a system; and a second valid fault codeword representing a fault state of the system; in response to detecting receipt of a safety message from the second controller within a predefined time quantum, storing the first valid functional codeword in a first memory; in response to detecting a match between contents of the first memory and the first valid functional codeword, outputting the second valid functional codeword; in response to detecting a mismatch between contents of the first memory and every codeword in the first set of valid codewords, outputting the second valid fault codeword. Un procédé consiste à stocker un ensemble de mots de code valides, comprenant : un premier mot de code fonctionnel valide représentant un état de temporisation fonctionnelle d'un second dispositif de commande; un premier mot de code de défaut valide représentant un état de temporisation de défaut du second dispositif de commande et caractérisé par une distance de Hamming minimale par rapport au premier mot de code fonctionnel valide; un second mot de code fonctionnel valide représentant un état fonctionnel d'un système; et un second mot de code de défaut valide représentant un état de défaut du système; en réponse à la détection de la réception d'un message de sécurité provenant du second dispositif de commande dans un quantum de temps prédéfini, à stocker le premier mot de code fonctionnel valide dans une première mémoire; en réponse à la détection d'une correspondance entre des contenus de la première mémoire et du premier mot de code fonctionnel valide, à fournir le second mot de code fonctionnel valide; en réponse à la détection d'un décalage entre le contenu de la première mémoire et chaque mot de code dans le premier ensemble de mots de code valides, à fournir le second mot de code de défaut valide.