DE3105254A1

DE3105254A1 - Method for checking data stored in memories

Info

Publication number: DE3105254A1
Application number: DE19813105254
Authority: DE
Inventors: Herbert 7120 Bietigheim Lang
Original assignee: Robert Bosch GmbH
Current assignee: Robert Bosch GmbH
Priority date: 1981-02-13
Filing date: 1981-02-13
Publication date: 1982-09-09

Abstract

A method for checking data stored in memories of computers is proposed which is used for checking the correct operation of the memories and the data processing system. In the method, the content of a predetermined number of storage locations is added together and the total number is compared with a predetermined reference number. If this number is not correct, the system is wholly or partially disconnected or an emergency program is executed. Checking is possible in groups in order not to disturb the normal program run. Another method can be used for checking, in particular, variable data. For this purpose, the memory content of one memory row is read out and saved, complemented and returned to memory, read out again, complemented and compared with the saved memory content.

Description

Verfahren zum Überprüfen von in Speichern abgelegtenProcedure for checking files stored in memories

Daten Stand der Technik Die Erfindung geht aus von einem Verfahren zum Überprüfen nach der Gattung des Hauptanspruchs. Verfahren zur Überprüfung von Rechenprogrammen sind bereits bekannt. In einem bekannten Verfahren wird jeweils nach einem Teilprogramm durch einen Speicherbefehl eine Information in einem Register eingespeichert, das während des weiteren Programmdurchlaufs mit einem Normregisterinhalt oder einem Festwert verglichen wird.Prior art data The invention is based on a method to check according to the genre of the main claim. Procedure for checking Computer programs are already known. In a known method, each information in a register after a partial program by a storage instruction stored in the program with a standard register content during the further program run or a fixed value is compared.

Sind die Registerinhalte verschieden, wird das Programm von neuem gestartet. Dieses Verfahren hat den Nachteil, daß ein zusätzlicher Speicherplatz belegt wird. Weiterhin können Änderungen in Festwertspeichern, beispielsweise ROMS oder EPROMS nicht erkannt werden. Fehler in anderen Speicherplätzen sind ebenfalls nicht feststellbar.If the register contents are different, the program starts again started. This method has the disadvantage that it requires additional storage space is occupied. Changes can also be made in read-only memories, for example ROMS or EPROMS are not recognized. There are also errors in other storage locations not detectable.

Ein weiteres bekanntes Verfahren arbeitet mit redundanten Recheneinrichtungen. Hierbei sind zwei gleichartige Rechner mit den dazugehörigen Speichern aufgebaut.Another known method works with redundant computing devices. Two computers of the same type are set up with the associated memories.

Beide Rechner haben das gleiche Programm und verarbeiten die gleichen Daten. Die Ergebnisse beider Rechner werden in einer Auswerteschaltungl überprüft Dieses Verfahren erlaubt zwar die Überprüfung sämtlicher in den Speichern abgelegten Daten, hat jedoch den Nachteil, daß sämtliche Rechen- und Speichereinrichtungen doppelt vorhanden sein müssen. Insbesondere bei größeren Rechenanlagen führt dies zu einem nicht vertretbaren Aufwand.Both computers have the same program and process the same Data. The results of both calculators will be in an evaluation circuit checked This procedure allows checking of all in the memories stored data, however, has the disadvantage that all computing and storage devices must be present twice. This leads in particular in the case of larger computing systems at an unreasonable expense.

Vorteile der Erfindung Das erfindungsgemäße Verfahren mit den kennzeichnenden Merkmalen des Hauptanspruchs hat demgegenüber den Vorteil, daß nur ein Rechensystem erforderlich ist, das neben dem Abarbeiten von Programmen eine Überprüfung aller Speicherplätze ermögli#ht. Sowohl das beispielsweise in ROMS oder EPROMS gespeicherte Programm als auch in RAMS abgelegte Daten sind ständig überprüfbar.Advantages of the invention The method according to the invention with the characterizing Features of the main claim has the advantage that only one computing system it is necessary, in addition to the processing of programs, to check all Storage spaces enabled. Both that stored in ROMS or EPROMS, for example Both the program and the data stored in RAMS can be checked continuously.

Somit sind sowohl Fehler im Programm als auch Datenübertragungsfehler erkennbar.Thus there are errors in the program as well as data transmission errors recognizable.

Durch die in den Unteransprüchen aufgeführten Maßnahmen sind vorteilhafte Weiterbildungen und Verbesserungen des im Hauptanspruch angegebenen Verfahrens möglich.The measures listed in the subclaims are advantageous Further developments and improvements of the method specified in the main claim are possible.

Soll eine große Anzahl von Speicherplätzen und Daten überprüft werden, ist es vorteilhaft, nicht alle Daten gleichzeitig zu überprüfen, sondern nur eine Teilmenge der Daten aufzuaddieren und zwischenzuspeichern. Danach wird das Hauptprogramm weiterbearbeit-et. Danach wird die nächste Gruppe aufgearbeitet und zur zuvor ermittelten Zahl addiert. Insbesondere bei veränderlichen Speicherinhalten ist es vorteilhaft, die Komplementiermethode anzuwenden. Hierbei wird der Inhalt einer Speicherzelle zweimal komplementiert und mit dem ursprünglichen Ergebnis auf Übereinstimmung verglichen. Um die Anzahl der für die Überprüfung notwendigen Speicherplätze gering zu halten, ist es vorteilhaft, den bei der Addition auftretenden Überlauf zu unterdrücken.If a large number of storage locations and data is to be checked, it is advantageous not to check all data at the same time, but only one Add up subset of data and store it temporarily. After that the main program further edited. Then the next group is processed and the one previously determined Number added. Particularly with variable memory contents, it is advantageous to to apply the complementation method. This is the content of a memory cell complemented twice and compared with the original result for agreement. To the number of storage spaces required for the check small amount to hold, it is advantageous to suppress the overflow occurring during the addition.

Weiterhin i-st es günstig, beim Auftreten eines Fehlers und dem Fehlen eines Erledigungssignals den Rechner ganz oder teilweise abzuschalten oder ein Notprogramm abzuarbeiten. Durch diese Maßnahme wird verhindert, daß der Rechner fehlerhafte Befehle abgibt. Insbesondere wenn die Überprüfung noch nicht vollständig abgeschlossen ist, ist es vorteilhaft, eine Verwertung der von dem Rechner ermittelten Signale zu verhindern, bevor nicht die Überprüfung der Speicher vollständig abgeschlossen ist. Auch diese Maßnahme dient zur Verhinderung der Abgabe falscher Befehle.Furthermore, it is beneficial if an error occurs or if it is missing a completion signal to switch off the computer in whole or in part, or an emergency program to work off. This measure prevents the computer from being faulty Gives orders. Especially if the review has not yet been fully completed it is advantageous to utilize the signals determined by the computer to prevent before not fully completing the memory check is. This measure also serves to prevent incorrect commands from being issued.

Beschreibung der Erfindung Die Erfindung soll anhand der Prüfung eines Mikroprozessorprogramms auf Funktion beschrieben werden.Description of the Invention The invention is intended to be based on examining a Microprocessor program to be described on function.

Das Programm selbst sei in einem ROM oder EPROM von 1 kbyte abgelegt, das in vier Seiten zu je 250 byte organisiert ist. In einem ersten Verfahrensschritt werden nun die binär verschlüsselten Befehle der ersten Seite aufaddiert, wobei ein etwaiger Überlauf nicht berücksichtigt wird und die Summe in einem separaten Register abgelegt. Danach wird das Programm weiter abgearbeitet. Bei einem zweiten Programmablauf wird die zweite Seite des ROMS aufaddiert und zum Ergebnis der ersten Seite addiert. Das Ergebnis überschreibt die zuvor in einem separaten Register gespeicherte Summe. Bei den nun folgenden Programindurchläufen werden die Seiten 3 und 1o wie zuvor beschrieben addiert und die Summe gebildet. Das Additionsergebnis aller vier Seiten wird jetzt mit einer im Miroprozes#ur abgelegten Prüfzahl verglichen. Wird diese Prüfzahl wegen falscher Bits nicht erreicht, so wird kein Erledigungssignal abgegeben und der Mikroprozessor wird ganz oder teilweise abgeschaltet oder es wird ein Notprogramm abgearbeitet. Stimmt die aufaddierte Zahl mit der gespeicherten Zahl überein, so wird ein Erledigungssignal abgegeben, das signalisiert, daß das System einwandfrei arbeitet.The program itself is stored in a ROM or EPROM of 1 kbyte, which is organized in four pages of 250 bytes each. In a first process step the binary encrypted commands of the first page are now added up, with any overflow is not taken into account and the total in a separate Register filed. The program is then processed further. With a second In the program sequence, the second page of the ROMS is added and the result of the first Side added. The result overwrites the one previously saved in a separate register Total. In the following program runs, pages 3 and 1o become like as described above are added and the sum is formed. The sum of all four Pages are now compared with a check number stored in the microprocessor. Will If this check number is not reached because of incorrect bits, there is no completion signal submitted and the microprocessor is completely or partially switched off or an emergency program is started processed. If the added number agrees with the stored number, so a completion signal is issued, which signals that the system is working properly is working.

Dieses Verfahren eignet sich insbesondere zur Prüfung fest eingegebener Daten oder solcher Daten, deren Quersumme beständig konstant ist. Da insbesondere bei fest eingegebenen Daten die Wahrscheinlichkeit der Änderung von Bits sehr gering ist, ist eine Berücksichtigung des Überlaufs nicht notwendig. Zwar besteht dann die Möglichkeit, daß zwei Bitfehler sich gerade aufheben, diese Wahrscheiplichkeit ist jedoch sehr gering. Soll auch dies verhindert werden, so ist es zweckmäßig den gesamten aufaddierten Wert zu speichern und mit einem Referenzwert zu vergleichen. Sind die gespeicherten Programme nur kurz, so kann das Prüfverfahren bereits mit dem ersten Prüfergebnis abgeschlossen werden. Bei längerem Programm ist jedoch eine Unterbrechung zweckmäßig, damit das Hauptprogramm abgearbeitet werden kann. Eine Unterbrechung des Prüfverfahrens ist auch durch eine Interrupt Routine möglich, wenn dem Mikroprozessor wesentliche Daten übermittelt werden sollen. In diesem Falle wird die Überprüfung der Speicherplätze dort aufgenommen, wo sie unterbrochen wurde.This method is particularly suitable for checking permanently entered Data or such data, the checksum of which is constantly constant. Since in particular with permanently entered data, the probability of bits changing is very low consideration of the overflow is not necessary. It is true then the possibility that two bit errors will just cancel each other out, that probability however, it is very small. If this is also to be prevented, it is advisable to use the to save the total added value and compare it with a reference value. If the saved programs are only short, the test procedure can start with be completed after the first test result. For a longer program, however, there is one The interruption is useful so that the main program can be processed. One The test procedure can also be interrupted by an interrupt routine, when essential data are to be transmitted to the microprocessor. In this case the scan of the storage locations is started where it was interrupted.

Insbesondere bei der Uberprüfung von veränderlicnen Daten, die in RAM-Speichern abgelegt sind, hat sich ein anderes Verfahren als vorteilhaft erwiesen. Der zufällige Speicherinhalt einer Speichergruppe wird ierei in den Akkumulator eines Mikroprozessors gebracht und gleichzeitig auf einen Hilfsspeicherplatz gerettet. Das im Akkumulator befindliche Signal wird komplementiert und wieder in den gleichen Speicher zurückgebracht. Anschließend wird der Speicherinhalt nochmals in den Akkumulator gelesen, wiederum komplementiert und mit dem ursprünglichen, vorher geretteten Speicherinhalt verglichen. Bei einer Übereinstimmung der Speicherinhalte wird der folgende RAM-Speicher überprüft, bis alle Speicherplätze geprüft sind. Ist kein Fehler aufgetreten, wird anschließend ein Erledigungsimpuls vom Mikroprozessor abgegeben. Bei einem Programmdurchlauf können ein oder mehrere Speicherplätze überprüft werden. Die Anzahl der überprüften Plätze ist abhängig von der zur Verfügung stehenden Zeit, die vom Mikroprozessor für die Überprüfung zur Verfügung gestellt wird.Especially when reviewing changing data stored in RAM memories are stored, another method has proven to be advantageous. The random memory content of a memory group is stored in the accumulator a microprocessor brought and at the same time to an auxiliary storage space saved. The signal in the accumulator is complemented and back into returned the same store. Then the memory contents are again read into the accumulator, again complemented and with the original, previously saved memory contents compared. If the memory contents match the following RAM memory is checked until all memory locations are checked. If no error has occurred, the microprocessor then issues a completion pulse submitted. One or more memory locations can be checked during a program run will. The number of checked places depends on the number of places available Time that is made available by the microprocessor for the check.

Claims

Claims Method for checking data stored in memories and from computers, characterized in that the content of a predetermined number of memory locations is added up, the added number with a predetermined Reference number is compared and, if they match, a completion signal is issued will.

2. Procedure for checking data stored in memories and of computers, characterized in that the content of a predetermined number of Memory p # at # eR is added up, is cached, at least the content is added to a further predetermined number of storage locations, the entire Sum is formed and the total is compared with a predetermined reference number and if they match, a completion signal is issued.

3. The method according to claim 1 or 2, characterized in that at the addition, an overflow that occurs is suppressed.

4. Procedure for checking data stored in memories and of computers, characterized in that the memory content of a memory cell is read out and saved, complemented and restored, in turn read out, complemented, compared with the saved memory content and if they match, a completion signal is issued.

5. The method according to any one of claims 1 to 4, characterized in that that programs are processed between the individual verification steps.

6. The method according to any one of claims 1 to 5, characterized in that that in the absence of a completion signal, the computer is switched off or on Emergency program is being processed.

7. The method according to any one of claims 1 to 5, characterized in that that before checking the memory, a recovery of the data to be given by the computer Orders are omitted.