军用嵌入式可信软件研究

摘要：

随着军用计算机技术的不断发展，软件在军用设备中的地位越来越重要。软件规模日益增大，安全性、可靠性等问题日益凸显。充分研究可信软件的特性，对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上，结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状，总结了软件可信性的评估方法。

关键词：嵌入式、可信软件、安全性、可靠性、软件评估

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

资助基金：航空科学基金项目资助20120329192041

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

页数：共3页

页码：114-115,120