Verfahren zum automatischen Erkennen und Korrigieren von Speicherfehlern in einem sicheren mehrkanaligen Rechner

Die Erfindung betrifft ein Verfahren zum automatischen Erkennen und Korrigieren von Speicherfehlern in einem sicheren mehrkanaligen Rechner (7) einer eisenbahntechnischen Anlage (1), wobei jeder Kanal (8, 9) des Rechners (7) wenigstens eine Speichereinrichtung (13, 14) aufweist und gleiche Daten in den Speichereinrichtungen (13, 14) der Kanäle (8, 9) parallel gespeichert werden. Um ein zuverlässiges Verfahren ohne zusätzlichen Hardwareaufwand bereitzustellen, ist erfindungsgemäß vorgesehen, dass ein erster Prüfwert (17) für Daten eines Teilbereichs (28) der ersten Speichereinrichtung (13) berechnet wird, ein zweiter Prüfwert (19) für gleiche Daten eines Teilbereichs (28) der zweiten Speichereinrichtung (14) berechnet wird, der erste und der zweite Prüfwert (17, 19) miteinander verglichen werden, falls der erste und der zweite Prüfwert (17, 19) unterschiedlich sind, der erste Prüfwert (17) und/oder der zweite Prüfwert (19) mit einem alten Prüfwert (23) verglichen werden, die Daten des Teilbereichs (28) der ersten Speichereinrichtung (13) durch die Daten des Teilbereichs (28) der zweiten Speichereinrichtung (14) ersetzt werden, wenn der zweite Prüfwert (19) dem alten Prüfwert (23) entspricht und die Daten des Teilbereichs (28) der zweiten Speichereinrichtung (14) durch die Daten des Teilbereichs (28) der ersten Speichereinrichtung (13) ersetzt werden, wenn der erste Prüfwert (17) dem alten Prüfwert (22) entspricht. The invention relates to a method for automatically detecting and correcting memory errors in a secure multi-channel computer (7) of a railway system (1), each channel (8, 9) of the computer (7) having at least one memory device (13, 14) and the same data being stored in parallel in the memory devices (13, 14) of the channels (8, 9). In order to provide a reliable method without needing additional hardware, according to the invention: a first check value (17) is calculated for data in a sub-region (28) of the first memory device (13); a second check value (19) is calculated for the same data in a sub-region (28) of the second memory device (14); the first and the second check value (17, 19) are compared with one another; if the first and the second check value (17, 19) are different, the first check value (17) and/or the second check value (19) are compared with an old check value (23); the data in the sub-region (28) of the first memory device (13) are replaced by the data in the sub-region (28) of the second memory device (14) if the second chec