Sciweavers

Share
IMSCCS
2007
IEEE

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

8 years 11 months ago
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...
Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni
Added 03 Jun 2010
Updated 03 Jun 2010
Type Conference
Year 2007
Where IMSCCS
Authors Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni
Comments (0)
books