摘要
安全关键软件如果发生故障,可能会对国家财产和人民安全造成巨大的损失,所以需要重点考虑它们的安全性。但是由于当前还无法精确地定量评估软件安全性,而只能在软件生命周期中从安全性角度对开发行为进行规范和保障。概述了安全性相关的概念,并给出了一个完整的安全关键软件安全性保障工作流程。
The faihtre of safety-critical software would bring a great loss to the country and the people; therefore it＇s important for engineer to focus attention on its safety. However, evaluating software safety precisely and quantitative is still a difficult job. So norrealizing the development from the point of view of software safety at the beginning of software life cycle maybe would be the unique choice for now. The features of items relating to the safety are specified. And an entire work flow about the software safety assurance of the safety-critical software is introduced.
出处
《计算机工程与设计》
CSCD
北大核心
2008年第5期1072-1075,共4页
Computer Engineering and Design
