%0 Journal Article
%T Research on Ultradependability Safeguard Technology for Safety Critical Systems<br>安全关键系统高可信保障技术的研究
%A YANG Shi-Ping XIONG Guang-Ze SANG Nan
%A <br>杨仕平
%A 熊光泽
%A 桑楠
%J 计算机科学
%D 2003
%I 
%X In order to improve dependability of safety critical systems, whose safeguard technologies are researched in this paper. Firstly, origins and meanings of dependability are expatiated, afterwards, respective meaning of and relations among fault,error,failure are analyzed. In succession, how to apply with fault prevention,fault tolerance,fault removal,fault forecasting to enhance dependability of safety critical systems are expounded concisely by diagrams. Because error detecting is very important in fault tolerant systems, an error detecting technology based on safety kernel is proposed in this paper. Future trends of research in safety critical field are listed at the end.
%K Safety critical
%K Real time systems
%K Ultradependability
%K Fault tolerance
%K Safeguard technology
%K Safety kernel<br>计算机
%K 可靠性
%K 安全关键系统
%K 高可信保障技术
%K 冗余技术
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=56F02A359FAEC54D&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=94C357A881DFC066&sid=C3BF5C58156BEDF0&eid=74011071555EB4E5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=5&reference_num=12