An Instruction Level Software Redundancy Based Method to Intra-Inter Block Control Flow Checking

Electronic devices in space applications may be Radiation Tolerant or Commercial off-the Shelf (COTS). Due to cost and unavailability in many applications، the latter is usually used. In applications such as spatial ones، the COTS equipment lacks reliability against threats like heavy ion radiation; therefore، some alternatives should be considered to make the equipment resistant against the probable threats. In this paper to checking an Intra-Inter block control flow، a software redundancy method in instruction level is delivered. In comparison with other methods، the proposed method has less memory overhead، better performance and more fault coverage.