Abstract: A method for fault tolerant data integrity verification of safety-related data in a safety-related computer system is disclosed. The method includes a) randomly generating a set of at least two or more initial values; b) calculating, for each of the initial values, one specific CRC reference value, wherein each specific CRC reference value is calculated jointly from the safety-related data to be verified and the initial value associated with the specific CRC reference value; c) storing the pairs of initial value and associated specific CRC reference value; and d) following the steps a)-c), d1) randomly choosing an initial value out of the set of initial values generated in step a), d2) the non-safety-related hardware-engine calculating a CRC value jointly from the randomly chosen initial value and the safety-related data to be verified, and d3) comparing the calculated CRC value from step d2) to the reference CRC value.

Abstract: A method for fault tolerant data integrity verification of safety-related data in a safety-related computer system is disclosed. The method includes a) randomly generating a set of at least two or more initial values; b) calculating, for each of the initial values, one specific CRC reference value, wherein each specific CRC reference value is calculated jointly from the safety-related data to be verified and the initial value associated with the specific CRC reference value; c) storing the pairs of initial value and associated specific CRC reference value; and d) following the steps a)-c), d1) randomly choosing an initial value out of the set of initial values generated in step a), d2) the non-safety-related hardware-engine calculating a CRC value jointly from the randomly chosen initial value and the safety-related data to be verified, and d3) comparing the calculated CRC value from step d2) to the reference CRC value.

Abstract: A method for fault tolerant data integrity verification of safety-related data in a safety-related computer system is disclosed. The method includes a) randomly generating a set of at least two or more initial values, b) calculating, for each of the initial values, one specific CRC reference value, wherein each specific CRC reference value is calculated jointly from the safety-related data to be verified and the initial value associated with the specific CRC reference value, c) storing the pairs of initial value and associated specific CRC reference value, and d) following the steps a)-c), d1) randomly choosing an initial value out of the set of initial values generated in step a), d2) the non-safety-related hardware-engine calculating a CRC value jointly from the randomly chosen initial value and the safety-related data to be verified, d3) comparing the in step d2) calculated CRC value to the reference CRC value.

Abstract: A method for fault tolerant data integrity verification of safety-related data in a safety-related computer system, comprising a) randomly generating a set of at least two or more initial values, b) calculating, for each of said initial values, one specific CRC reference value, wherein each specific CRC reference value is calculated jointly from the safety-related data to be verified and the initial value associated with said specific CRC reference value, c) storing the pairs of initial value and associated specific CRC reference value, and d) following the steps a)-c), d1) randomly choosing an initial value out of the set of initial values generated in step a), d2) the non-safety-related hardware-engine calculating a CRC value jointly from said randomly chosen initial value and the safety-related data to be verified, d3) comparing said in step d2) calculated CRC value to the reference CRC value.