Procede et dispositif de programmation d'une commande de securite

La presente invention concerne un procede de programmation d'une commande de securite, consistant a determiner des liaisons logiques entre des signaux d'entree de la commande de securite et a attribuer des produits logiques (M4, M5) a des signaux de sortie de la commande de securite. La determination desdites liaisons et l'attribution s'effectuent pour cela selon des modules de programme predefinis (62-72, 76-80) specifiques a une fonction et selectionnes parmi une quantite (60) de modules de programme de ce type. Cette invention est caracterisee en ce que chaque module de programme selectionne (76, 78, 70) est attribue de maniere univoque a un groupe de fonctions defini (54, 56, 58). Un premier groupe de fonctions (54) contient des modules de programme (76), qui admettent les signaux d'entree de la commande de securite et generent des premieres grandeurs intermediaires (M1, M2, M3) en fonction de ces signaux. Un deuxieme groupe de fonctions (56) contient des modules de programme (78), qui etablissent des liaisons logiques entre ces premieres grandeurs intermediaires (M1, M2, M3) et generent des secondes grandeurs intermediaires (M4, M5) en fonction de ces liaisons. Enfin, un troisieme groupe de fonctions (58) contient des modules de programme (80), qui attribuent ces secondes grandeurs intermediaires (M4, M5) aux signaux de sortie de la commande de securite. La presente invention concerne egalement un dispositif correspondant ainsi que des programmes informatiques correspondants.