摘要
随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。
With development of computer technology in military area ,software becomes more and more im-portant.Software size grows rapidly ,while safety and reliability problems come out evidently .Researching of trusted software is very important to improve national military technology .Based on summarization of trusted software definition , referring to application of military embedded system , characteristic of trusted software is expatiated .Development of military trusted software at Home and abroad is analyzed ,and eval-uation of software′s credibility is summarized .
出处
《航空计算技术》
2014年第4期114-115,120,共3页
Aeronautical Computing Technique
基金
航空科学基金项目资助(20120329192041)
关键词
嵌入式
可信软件
安全性
可靠性
软件评估
embedded system
trusted software
security
reliability
software evaluation
