Method for providing a value for determining whether an error has occurred in the execution of a program

A method for data processing for providing a value for determining whether an error has occurred during execution of a program, the method comprising:

• determining a numerical value on the basis of a plurality of reference numbers that is determined by a checking circuit outside the program, wherein the numerical value is a difference between two reference numbers;
• determining a signature for at least one instruction in the program using an arithmetic code;
• updating an accumulator value on the basis of the numerical value and the signature;
• and
• transmitting the updated accumulator value to the checking circuit in order to determine whether an error has occurred during the execution of the program on the basis of the plurality of reference numbers and the accumulator value.

A method for data processing for providing a value for determining whether an error has occurred during execution of a program, the method comprising:

• determining a numerical value on the basis of a plurality of reference numbers that is determined by a checking circuit outside the program;
• determining a signature for at least one instruction in the program using an arithmetic code;
• updating an accumulator value on the basis of the numerical value and the signature, wherein the accumulator value is updated on the basis of subtraction of a signature for a basic block of the program, and respective addition of the signature of the succeeding basic block;
• and
• transmitting the updated accumulator value to the checking circuit in order to determine whether an error has occurred during the execution of the program on the basis of the plurality of reference numbers and the accumulator value.

A method for data processing for providing a value for determining whether an error has occurred during execution of a program, the method comprising:

• determining a numerical value on the basis of a plurality of reference numbers that is determined by a checking circuit outside the program;
• determining a signature for at least one instruction in the program using an arithmetic code;
• updating an accumulator value on the basis of the numerical value and the signature, wherein the accumulator value is updated on the basis of addition of the numerical value;
• and
• transmitting the updated accumulator value to the checking circuit in order to determine whether an error has occurred during the execution of the program on the basis of the plurality of reference numbers and the accumulator value.

A method for data processing for providing a value for determining whether an error has occurred during execution of a program, the method comprising:

• determining a numerical value on the basis of a plurality of reference numbers that is determined by a checking circuit outside the program;
• determining a signature for at least one instruction in the program using an arithmetic code;
• determining an identifier for a basic block of the program;
• updating an accumulator value on the basis of the numerical value and the signature;
• and
• transmitting the updated accumulator value to the checking circuit in order to determine whether an error has occurred during the execution of the program on the basis of the plurality of reference numbers and the accumulator value.

A method for data processing for providing a value for determining whether an error has occurred during execution of a program, the method comprising:

• determining a numerical value on the basis of a plurality of reference numbers that is determined by a checking circuit outside the program;
• determining a signature for at least one instruction in the program using an arithmetic code;
• updating an accumulator value on the basis of the numerical value and the signature;
• and
• transmitting the updated accumulator value to the checking circuit in order to determine whether an error has occurred during the execution of the program on the basis of the plurality of reference numbers and the accumulator value, wherein it is determined whether an error has occurred on the basis of a check to determine whether the transmitted accumulator value corresponds to the difference between two reference numbers.

A method for data processing for determining whether an error has occurred during execution of a program, the method comprising:

• determining a plurality of reference numbers in a checking circuit outside the program, wherein the checking circuit is protected by arithmetic codes;
• receiving an accumulator value, generated in a program on the basis of the plurality of reference numbers and a signature—determined by means of an arithmetic code—for at least one instruction in the program, from a program in the checking circuit;
• and
• determining, in the checking circuit, whether an error has occurred during the execution of program on the basis of the plurality of reference numbers and the accumulator value.