摘要
安全关键系统是指其不正确的功能或失效会导致人员伤亡、财产损失等严重后果的计算机系统。软件系统是安全关键系统研究的核心和难点。阐明了安全关键系统及其软件的基本概念、主要研究内容、起源与现状,重点讨论了安全关键软件方法,特别是形式化方法的原理、相关标准和典型应用。在分析当前安全关键系统的新变化及其软件面临的挑战的基础上,提出并讨论了形式化方法可能的应对对策和发展方向。
A safety-critical system（SCS） is such a computer system whose incorrect functions or failures may lead to very serious consequences such as loss of human life,considerable economical penalties and so on.Software systems are the core and hard parts of the SCS research.The basic concepts,main research topics,origin and status-quo of SCS and its software are elucidated in this paper,emphases are put on addressing the software methods of SCS especially the principles,related standards and typical applications of formal methods.On the basis of analysing the new changes of SCS and the new challenges of its software,the possible countermeasures and development directions of formal methods for SCS are brought up and discussed.
出处
《计算机应用与软件》
CSCD
2011年第2期129-138,147,共11页
Computer Applications and Software
关键词
安全关键系统
安全关键软件
形式化方法
软件方法
Safety-critical system Safety-critical software Formal methods Software methods
