Experts in embedded RTOS and Middleware, with a specialisation in safety certified software

  • twitter
  • google
  • liknedin
  • youtube
Contact   Newsletter

Safety Components title image

SAFECRC Checker: Verify Program Memory


Guard against corruption and malicious attack by confirming the correctness of your program memory.

SAFECRC Checker is a CRC Verification Kernel Function, a module that verifies the integrity of Read-Only Memory of an executable binary against a checksum embedded within the binary. After compiling the Kernel and Application code, a utility is used to generate a Checksum for each Read-only Memory Region and is inserted into the executable binary.

At run-time, the CRC Verification Kernel Function executes as a Task, continuously passing the Memory Regions to a CRC Algorithm which generates a Checksum which is compared to the Checksum inserted into the binary after it was compiled. If the Checksums don't match, then the Application is notified of the failure through a callback function and using the Reassurance Kernel Feature.

Menu