一种提高星载软件维护可靠性的方法研究

来源 :全国抗恶劣环境计算机第二十届学术年会 | 被引量 : 0次 | 上传用户:op0034
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
虽然通过软件维护可以提高星载软件的可靠性,但是维护过程本身也必须十分可靠。针对空间恶劣环境下提高星载软件维护可靠性的方法进行了研究,重点分析和探讨了VxWorks操作系统下,星载软件维护异常的处理方法,设计了处理流程,并对该处理方法进行了测试和验证。对其它的提高维护可靠性的方法进行了说明。
其他文献
Peer-to-Peer(2P)技术是近年来兴起的一种新型网络计算技术,具有广阔的应用前景。FissionE是首个基于Kautz图的结构化P2P覆盖网,在给定节点度数(d=2)下具有最优的网络直径。针对恶劣环境下结点失效导致的FissionE路由性能较差的问题,本文对FissionE的容错路由算法进行研究,其基本思想是:如果下一跳结点失效或网络连接失效,那么将采用某种方法“绕过”失效的结点或连接,
本文对军用计算平台的需求和现状进行了分析探讨,提出了未来一段时间军用可信计算平台的技术特征和发展趋势。
从计算机病毒防御技术、主动僵尸网络防御技术、攻击者识别技术、网络盾技术、入侵检测技术、互联网监控与模拟技术、网络靶场技术、网络事件评估技术等方面,对国外目前正在开展的几个项目及主要技术进行分析,探讨网络安全技术的发展动向。
多重独立安全等级(MILS)是在同一系统中执行不同安全级别应用的可验证安全体系架构,基于MILS架构的安全通信组件防止高安全级别通信实体把信息泄露给低安全实体。本文结合安全通信组件对基于MILS的分区间安全通信进行了研究,讨论了在单机环境和分布式系统中的消息内容处理和信息流控制机制,揭示了其发展趋势,探索了未来综合化航空电子系统安全通信的发展方向。
随着可信计算技术的发展,利用可信计算来提高嵌入式终端系统的安全性已成为热点。针对可信计算技术中的核心硬件可信平台模块(TPM),文章提出了基于TPM嵌入式可信终端构建方案,并基于ARM嵌入式平台进行原型系统的设计与实现,有效解决了嵌入式终端面临的安全问题。
开展网络安全态势感知系统研究,对于降低我国网络系统风险,提高应对网络攻击的能力具有十分重要的意义。本文介绍了非协作条件下网络安全态势感知的概念,提出了非协作条件下网络安全态势感知系统框架,并对涉及的关键技术和难点进行论述。
信息模型是安全态势感知系统各部分协同工作的公共数据基础,也是态势感知系统和其它相关安全系统进行数据交换的基础。设计出了具有层次式结构的安全态势感知信息模型,该模型规范的定义了网络空间中哪些安全元素构成了态势信息,对安全事件、攻击行为、态势评估和使命影响等不同层次的态势元素予以了表示,同时以IDMEF为基础定义了信息之间的交换格式,最后对相关的存储结构进行了说明。
直接或者间接地误用缺陷函数是软件脆弱性的主要根源之一,针对二进制程序,本文对缺陷函数误用导致的代码脆弱性模式进行了建模和形式化,在此基础上,提出了一种缺陷函数启发的二进制程序脆弱性分析框架。介绍了框架的体系结构和检测流程,设计二进制程序脆弱性分析工具原型,验证了分析框架和工具的有效性。
本文在介绍分布式软件安全测试方法和测试过程的基础上,针对分布式软件的特点,描述了安全性功能测试指标,并建立了分布式软件安全指标体系,并对体系中各个度量元的测试方法和检测手段进行描述。
本文重点对IEEE 802.16标准的保密和密钥管理协议进行安全分析,指出其中存在的安全漏洞。在此基础上分析了IEEE 802.16e的改进协议的安全性,安全分析表明改进后的协议修正了原标准中存在的问题,其安全性得到了保障。