航空系统中的软件安全性研究

摘要：

软件安全性是保障系统安全性的重要条件。该文首先介绍了软件安全性的主要内容，描述了几种常用的软件安全性分析技术，针对航空系统软件所存在的问题，从系统设计到软件编码直至软件测试阶段，对机载软件的安全性分析过程进行了详细描述，最后，文中总结并展望了软件安全性分析的发展方向。

关键词：系统危险、软件安全性、安全性分析

分类号：TP311(计算技术、计算机技术)

在线出版日期：2015-06-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：51-52,54