10.3969/j.issn.1000-386X.2011.02.040
安全关键系统及其软件方法
安全关键系统是指其不正确的功能或失效会导致人员伤亡、财产损失等严重后果的计算机系统.软件系统是安全关键系统研究的核心和难点.阐明了安全关键系统及其软件的基本概念、主要研究内容、起源与现状,重点讨论了安全关键软件方法,特别是形式化方法的原理、相关标准和典型应用.在分析当前安全关键系统的新变化及其软件面临的挑战的基础上,提出并讨论了形式化方法可能的应对对策和发展方向.
安全关键系统、安全关键软件、形式化方法、软件方法
28
TP3;TP2
2011-04-29(万方平台首次上网日期,不代表论文的发表时间)
共11页
129-138,147