Dispositivo de control protegido con diversificación para un sistema.

Dispositivo de control protegido con diversificación (2) de un sistema que comprende:

- un conjunto de al menos dos procesadores (4, 6, 8) de elaboración de controles destinados al sistema ferroviario, dispuestos en paralelo para recibir en una entrada respectiva (10, 12, 14) unos datos de entradas idénticas, siendo cada procesador (4, 6, 8) apto para recibir unos juegos de instrucciones diferentes que permiten calcular y suministrar, en unas salidas respectivas (28, 30, 32), unos datos de salida ( S(P1), S(P2), S(P3)) idénticos en función de los datos de entradas idénticas,

- un órgano de selección de control (34) provisto de al menos dos entradas (36, 38, 40), estando cada entrada (36, 38, 40) conectada a la salida (28, 30, 32) de un procesador (4, 6, 8) y de una salida de control (42) apropiada para suministrar una señal de control escogida entre los datos de salidas procedentes de los procesadores (4, 6, 8), en función de un criterio predeterminado,

permitiendo cada juego de instrucciones asociado a un procesador (4, 6, 8) ejecutar al menos dos autómatas de aplicación modular (46, 48, 50, 52), siendo los autómatas de aplicaciones modulares (46, 48, 50, 52) idénticos para todos los juegos de instrucciones, siendo cada juego de instrucciones (16, 18, 20) asociado a un procesador (4, 6, 8) apropiado para formar un secuenciador (54, 56, 58) de activación sucesiva de los autómatas de aplicación modular (46, 48, 50, 52) según una secuencia asociada (60, 70, 78), siendo cada secuenciador (54, 56, 58), por su secuencia apropiada asociada (60, 70, 78) distinto de los demás secuenciadores (56, 58; 54, 58; 54, 56),

caracterizado

porque cada autómata de aplicación modular (46, 48, 50, 52) comprende unas entradas de autómatas y unas salidas de autómatas (90, 96, 98, 104, 110), siendo una entrada de autómata externa cuando es apropiada para recibir un dato variable de entrada (E1, E2) del dispositivo de control (2),

siendo una salida de autómata externa cuando es apropiada para suministrar un dato variable de salida (S1, S2, S3) del dispositivo de control (2),

siendo una entrada y una salida de un mismo autómata o de dos autómatas distintos internas cuando son apropiadas para estar interconectadas e intercambiar un mismo dato variable interno (I1, I2),

formando el conjunto de los datos variables de entrada (86, 88, 92, 94, 100, 102, 106, 108) y de salida (90, 96, 98, 104, 110) de los autómatas un vector de estado (114, 116, 118, 120, 122, 124, 126) del dispositivo de control (2), porque el dispositivo de control (2) para cada procesador (4, 6, 8) comprende una memoria de trabajo (22, 24, 26), que consta de:

- un registro de estado de inicio de ejecución (112) de la secuencia de autómatas que contiene los valores del conjunto de las variables de estado (E1, E2, I1, I2, S1, S2, S3) antes de la ejecución de la secuencia de autómatas,

- un registro de estado de fin de ejecución (113) de la secuencia de autómatas que contiene los valores del conjunto de las variables de estado del vector de estado obtenido después de la ejecución de la secuencia de autómatas,

porque para cada procesador (4, 6, 8) y durante la duración de ejecución de la secuencia (60, 70, 78), el procesador es apropiado para leer solamente en el registro de estado de inicio (112) y para escribir solamente en el registro de estado de fin (113),

porque para cada procesador (4, 6, 8), el registro de estado de inicio de secuencia (112) es apto para ser escrito y restaurado solamente al final de la ejecución de la secuencia por los valores de las variables de estado contenido en el registro de fin de secuencia (113), y porque cada procesador (4, 6, 8) es apto para repetir la ejecución de la secuencia de autómatas hasta que los valores de las variables de estado de al menos dos registros de estado (112, 113) asociados son idénticos.