计算机科学 ›› 2011, Vol. 38 ›› Issue (5): 8-13.
• 综述 • 上一篇 下一篇
樊晓光,褚文奎,张凤鸣
出版日期:
发布日期:
基金资助:
FEN Xiao-guang,CHU Wen-kui,ZHANG Feng-min
Online:
Published:
摘要: 软件是安全性关键的软件密集型系统(比如综合航电系统)的一个重要安全因子,软件安全性已逐渐成为软件工程和安全工程交又领域的研究热点之一。对软件安全性的内涵与外延进行了剖析,给出了软件安全性定义。讨论了软件安全性的度量模型。着重从软件工程的视角对软件安全性的开发过程、设计方案、评估方法与认证技术等现状进行了综述,并探讨了软件安全性的研究方向。
关键词: 安全因子,软件安全性,软件工程,安全工程,系统工程,安全性关键系统,综合航电
Abstract: As software is one of the important safety factors in a softwarcintensive and safety-critical system, c. 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.
Key words: Software factor,Software safety,Software engineering,Safety engineering,Systems engineering,Safety-crib cal systcm,Intcgratcd modular avionics(IMA)
樊晓光,褚文奎,张凤鸣. 软件安全性研究综述[J]. 计算机科学, 2011, 38(5): 8-13. https://doi.org/
FEN Xiao-guang,CHU Wen-kui,ZHANG Feng-min. Surveys of Software Safety[J]. Computer Science, 2011, 38(5): 8-13. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I5/8
Cited