Method and computer system for fault tolerant data integrity verification of safety-related data

A method for fault tolerant data integrity verification of safety-related data in a safety-related computer system, wherein the safety-related computer systems comprises an execution environment for executing safety-related software, a non-safety-related hardware-engine adapted for computing of cyclic redundancy checks, and a memory area for storing said safety-related data, the method comprising the steps of:

• a) randomly generating a set of two or more initial values on the safety-related execution environment with the safety-related software,
• b) calculating on the safety-related execution environment with the safety-related software, for the set of two or more initial values, a specific cyclic redundancy check (“CRC”) reference value, wherein the specific CRC reference value is calculated jointly from the safety-related data to be verified and the set of two or more initial values associated with the specific CRC reference value,
• c) storing the set of two or more initial values and the specific CRC reference value, and
• d) following the steps a)-c), executing the following steps:
• d1) randomly choosing an initial value out of the set of two or more initial values generated in step a),
• d2) calculating, by the non-safety-related hardware-engine, a CRC value jointly from said randomly chosen initial value and the safety-related data to be verified, and
• d3) comparing the CRC value in step d2) to the specific CRC reference value, which is associated with the initial value being used in step d2), and
• d3i) in case that the CRC value in step d2) is identical to the specific CRC reference value, starting with step d1) again, or
• d3ii) in case that the CRC value in step d2) is not identical to the specific CRC reference value, executing at least one specified or specifiable action.