Control Flow Checking Algorithm using Soft-based Intra-/Inter-block Assigned-Signature

In radiation environments, alpha particles, cosmic rays and solar wind flux can cause a single event upset (SEU), which is one of the major sources of bit-flips in digital electronics. The control-flow checking is an effective way for the running systems to prevent the breaking-down caused by SEU. Control-Flow Checking by Software Signatures (CFCSS) and Enhanced Control-Flow Checking with Assertions (ECCA) are representative of pure software methods that check the control flow of a program by using assigned signatures. But these assigned-signatures algorithms cannot check for intra-block control-flow errors. To overcome this shortcoming, an Interrupt Count - Control-Flow Checking by Software Signatures (IC-CFCSS) algorithm is presented based on the CFCSS. The total number of instructions running in the basic blocks per machine cycle is calculated during the course of pre-compilation. Whether or not to jump into a given block is judged by setting up interrupt instructions through the b...

• Type: Conference
• Year: 2007
• Where: IMSCCS
• Authors: Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni
• Keywords: Control-flow Checking, Enhanced Control-Flow Checking, IMSCCS 2007, Software Signatures, Theoretical Computer Science