%0 Journal Article
%T A Survey on Concurrent Control Flow Checking<br>并发控制流检测技术综述
%A WU Yan-Xi
%A GU Guo-Chang
%A FU Yan
%A CHENG Li-Xin
%A <br>吴艳霞
%A 顾国昌
%A 付岩
%A 程立新
%J 计算机科学
%D 2007
%I 
%X The Concurrent Control Flow Checking (CCFC is an effective way for running system to prevent from breaking down caused by Single Event Upsets. It mainly adopts current Node-Signature Technique based on the Control Flow Graph. The classification criteria of CCFC is presented. And the classic method of CFC is analyzed and evaluated as two ways: hardware-software combination and purely software-based, according to the sequence of technique development. At last, it points out the challenge problems according to the current method and new research directions.
%K Concurrent control flow checking
%K Watchdog processors
%K Control flow graph
%K Assigned-signature
%K Derivedsignature<br>并发控制流检测
%K 看门狗处理器
%K 控制流图
%K 分派签名
%K 源签名
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1E8759907DE6547898F9460849EEFCA5&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=DF92D298D3FF1E6E&sid=F3583C8E78166B9E&eid=2A8D03AD8076A2E3&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=37