Experts in embedded RTOS, with a specialisation in safety certified software
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.