An Improved CFCSS Control Flow Checking Algorithm

Satellite-borne embedded systems require the properties of low-powered and reliability in the spatial radiation environment. The control flow checking is an effective way for the running systems to prevent the broken-down caused by single event upsets. Control flow checking by software signatures (CFCSS) is a representative of pure software method that checks the control flow of a program using assigned signatures. Because of the existence of multiple-branch-in (MBI) nodes, the fault detection coverage may decrease in this algorithm. To overcome this shortcoming, an improved algorithm called improved control flow checking by software signatures (ICFCSS) that eliminates the MBI node by modifying the control flow graph (CFG) is presented in this paper. Fault injection experiments show that ICFCSS incurs higher fault detection coverage than CFCSS techniques, without significant performance decreasing.