期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
安全关键系统高可信保障技术的研究 被引量:10
1
作者 杨仕平 熊光泽 桑楠 《计算机科学》 CSCD 北大核心 2003年第5期97-101,共5页
In order to improve dependability of safety critical systems, whose safeguard technologies are researched inthis paper. Firstly, origins and meanings of dependability are expatiated, afterwards, respective meaning of ... In order to improve dependability of safety critical systems, whose safeguard technologies are researched inthis paper. Firstly, origins and meanings of dependability are expatiated, afterwards, respective meaning of and rela-tions among fault、error、failure are analyzed. In succession, how to apply with fault prevention、fault tolerance、faultremoval、fault forecasting to enhance dependability of safety critical systems are expounded concisely by diagrams. Be-cause error detecting is very important in fault tolerant systems, an error detecting technology based on safety kernelis proposed in this paper. Future trends of research in safety critical field are listed at the end. 展开更多
关键词 计算机 可靠性 安全关键系统 高可信保障技术 冗余技术
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部