软件安全性研究综述  

Surveys of Software Safety

作　　者：樊晓光[1] 褚文奎[1,2] 张凤鸣[1] 

机构地区：[1]空军工程大学工程学院 [2]94795部队

出　　处：《计算机科学》2011年第5期8-13,27,共7页Computer Science

基　　金：总装备部国防预研基金项目(9140A17020307JB3201);空军工程大学工程学院优秀博士学位论文创新基金(BC07003)资助

摘　　要：软件是安全性关键的软件密集型系统(比如综合航电系统)的一个重要安全因子,软件安全性已逐渐成为软件工程和安全工程交叉领域的研究热点之一。对软件安全性的内涵与外延进行了剖析,给出了软件安全性定义。讨论了软件安全性的度量模型。着重从软件工程的视角对软件安全性的开发过程、设计方案、评估方法与认证技术等现状进行了综述,并探讨了软件安全性的研究方向。As software is one of the important safety factors in a software-intensive and safety-critical system,e.g.,an integrated modular avionics（IMA） system,software safety is to be a mainstream research direction in the crossing fields between software engineering and safety engineering.The paper analysed firstly the meanings and extensions of software safety,and then gave a definition of it.Measuring models of software safety were then discussed.The paper focused on the state-of-the-art of software safety from a software engineering perspective about development processes,designed alternatives,assessment techniques and certification methods.The potential research directions of software safety were finally pointed out.

关 键 词：安全因子 软件安全性 软件工程 安全工程 系统工程 安全性关键系统 综合航电 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] N945[自动化与计算机技术—计算机科学与技术]