Method for verifying that several intermediate results are the same

Abstract

Title: Method for Checking that Several Intermediate Results Are the Same The invention relates to a method for verifying that several intermediate results of several redundant calculations are the same using multiple instances of application software. The processing of the same input data is controlled by a program flow control. This program flow control is used to check that the intermediate results are the same. An intermediate key can be modified in the program flow control so that the program flow signature is only valid if the intermediate results to be checked are the same. Figure for abstract: Fig. 1

Claims

hash values ​​(415, 417) of the intermediate answer key value.

6. A method according to any one of claims 3 to 5, wherein, for two instances (407, 409) of application software, the calculation rule prescribes combining the value of the intermediate answer key and the two hash values ​​(415, 417) respectively with an XOU operator.

7. A method according to any one of claims 3 to 6, wherein, for two instances (407, 409) of application software, the common calculation rule prescribes multiplying the value of the intermediate answer key by one of the hash values ​​(415, 417) and dividing by the other of the intermediate values ​​(415, 417), and adding to a result of a combination of the two hash values ​​(415, 417) the modulo operator.

8. The method according to any one of the preceding claims, wherein the input data (413) comprise peripheral field data, describing a peripheral field of a motor vehicle, wherein the intermediate result is an element of the following group of intermediate results: list of objects in the peripheral field of the motor vehicle, free surfaces in the peripheral field of the motor vehicle, ranking of objects.

9. System (201) for checking whether several intermediate results of several redundant calculations are the same comprising: several identical instances (203, 205) of application software, wherein the system (201) is arranged to perform all stages of the process according to any one of the preceding claims.

10. Computer program (303), comprising instructions which, when the computer program (303) is executed by the system (201) according to claim 9, cause the system to execute a process according to any one of claims 1 to 8.

11. Machine executable memory support (301) on which the computer program (303) of claim 10 is stored in memory. [Fig. 1] [Fig. 2]

Images