Mit Diversifizierung gesicherte Steuervorrichtung eines Systems, aufweisend: - einen Satz von mindestens zwei Prozessoren (4, 6, 8) zum Verarbeiten von fur ein Eisenbahnsystem bestimmten Befehlen, welche Prozessoren parallelgeschaltet angeordnet sind, um über einen jeweiligen Eingang (10, 12, 14) identische Eingangsdaten zu erhalten, wobei jeder Prozessor (4, 6, 8) in der Lage ist, unterschiedliche Anweisungssätze zu erhalten, welche es ermöglichen, identische Ausgangsdaten (S, S, S) in Abhängigkeit von den identischen Eingangsdaten zu berechnen und an jeweiligen Ausgängen (28, 30, 32) zu liefern, - ein Organ zur Befehlsauswahl, welches versehen ist mit mindestens zwei Eingängen (36, 38, 40), wobei jeder Eingang (36, 38, 40) mit dem Ausgang (28, 30, 32) eines Prozessors (4, 6, 8) verbunden ist, und mit einem Steuerausgang, welcher dazu geeignet ist, ein Steuersignal, welches aus den von den Prozessoren (4, 6, 8) stammenden Ausgangsdaten in Abhängigkeit von einem vorbestimmten Kriterium ausgewählt ist, auszugeben, wobei jeder mit einem Prozessor (4, 6, 8) assoziierte Satz Anweisungen es ermöglicht, mindestens zwei Modulare-Anwendung-Automaten (46, 48, 50, 52) auszuführen, wobei die Modulare-Anwendung-Automaten (46, 48, 50, 52) fur alle Anweisungssätze identisch sind, wobei jeder mit einem Prozessor (4, 6, 8) assoziierte Satz Anweisungen (16, 18, 20) dazu geeignet ist, einen Sequenzer (54, 56, 58) zur sukzessiven Aktivierung der Modulare-Anwendung-Automaten (46, 48, 50, 52) gemäß einer zugehörigen Sequenz (60, 70, 78) zu bilden, wobei sich jeder Sequenzer (54, 56, 58) durch seine eigene zugehörige Sequenz (60, 70, 78) von den anderen Sequenzern (56, 58; 54, 58; 54, 56) unterscheidet, gekennzeichnet dadurch, dass jeder Modulare-Anwendung-Automat (46, 48, 50, 52) Automateneingänge und Automatenausgänge (90, 96, 98, 104, 110) aufweist, ein Automateneingang extern ist, wenn er dazu geeignet ist, ein variables Eingangsdatum (E1, E2) der Steuervorrichtung zu empfangen, ein Automatenausgang extern ist, wenn er dazu geeignet ist, ein variables Ausgangsdatum (S1, S2, S3) der Steuervorrichtung zu empfangen, ein Eingang und ein Ausgang eines gleichen Automaten oder von zwei separaten Automaten interne sind, wenn sie dazu geeignet sind, miteinander verbunden zu sein und ein gleiches variables, internes Datum (I1, I2) auszutauschen, der Satz von variablen Eingangs- (86, 88, 92, 94, 100, 102, 106, 108) und Ausgangsdaten (90, 96, 98, 104, 110) der Automaten einen Zustandsvektor (114, 116, 118, 120, 122, 124, 126) der Steuervorrichtung bildet, dadurch, dass die Steuervorrichtung fur jeden Prozessor (4, 6, 8) einen Arbeitsspeicher (22, 24, 26) aufweist, welcher aufweist: - ein Verzeichnis des Anfangszustands der Ausführung der Automatensequenz, welches die Werte des Satzes von Zustandsvariablen (E1, E2, I1, I2, S1, S2, S3) vor der Ausführung der Automatensequenz aufweist, - ein Verzeichnis des Endzustands der Ausführung der Automatensequenz, welches die Werte des Satzes von Zustandsvariablen des nach der Ausführung der Automatensequenz erhaltenen Zustandsvektors aufweist, dadurch, dass, fur jeden Prozessor (4, 6, 8) und während der Dauer der Ausführung der Sequenz (60, 70, 78), der Prozessor dazu geeignet ist, nur in dem Verzeichnis des Anfangszustands zu lesen und nur in das Verzeichnis des Endzustands zu schreiben, dadurch, dass, fur jeden Prozessor (4, 6, 8), das Verzeichnis des Anfangszustands der Sequenz dazu eingerichtet ist, nur am Ende der Ausführung der Sequenz durch die Werte der Zustandsvariablen, welche in dem Verzeichnis des Endzustands der Sequenz enthalten sind, beschrieben zu werden und aktualisiert zu werden, und dadurch, dass jeder Prozessor (4, 6, 8) dazu in der Lage ist, die Ausführung der Automatensequenz zu wiederholen, bis die Werte der Zustandsvariablen von mindestens zwei zugehörigen Zustandsverzeichnissen (112, 113) identisch sind. - einen Satz von mindestens zwei Prozessoren (4, 6, 8) zum Verarbeiten von fur ein Eisenbahnsystem bestimmten Befehlen, welche Prozessoren parallelgeschaltet angeordnet sind, um über einen jeweiligen Eingang (10, 12, 14) identische Eingangsdaten zu erhalten, wobei jeder Prozessor (4, 6, 8) in der Lage ist, unterschiedliche Anweisungssätze zu erhalten, welche es ermöglichen, identische Ausgangsdaten (S, S, S) in Abhängigkeit von den identischen Eingangsdaten zu berechnen und an jeweiligen Ausgängen (28, 30, 32) zu liefern, - ein Organ zur Befehlsauswahl, welches versehen ist mit mindestens zwei Eingängen (36, 38, 40), wobei jeder Eingang (36, 38, 40) mit dem Ausgang (28, 30, 32) eines Prozessors (4, 6, 8) verbunden ist, und mit einem Steuerausgang, welcher dazu geeignet ist, ein Steuersignal, welches aus den von den Prozessoren (4, 6, 8) stammenden Ausgangsdaten in Abhängigkeit von einem vorbestimmten Kriterium ausgewählt ist, auszugeben, - ein Verzeichnis des Anfangszustands der Ausführung der Automatensequenz, welches die Werte des Satzes von Zustandsvariablen (E1, E2, I1, I2, S1, S2, S3) vor der Ausführung der Automatensequenz aufweist, - ein Verzeichnis des Endzustands der Ausführung der Automatensequenz, welches die Werte des Satzes von Zustandsvariablen des nach der Ausführung der Automatensequenz erhaltenen Zustandsvektors aufweist,