面向航天应用的高可靠系统软件设计研究

来源 :中国科学院研究生院 中国科学院大学 | 被引量 : 0次 | 上传用户:tdsl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于我国的空间技术的迅速发展,航天嵌入式系统的复杂性急剧增加,导致星载嵌入式软件呈现多任务化的趋势。使用主循环加中断的方式开发星载多任务软件,存在以下几个问题:一、开发极其困难,耗时久,软件整体结构不清晰;二、不能保证复杂系统的实时性;三、对空间环境中频繁导致故障的SEU没有防护措施;四、地面不能对星上的异常事件进行有效干预。   本课题在充分调研的基础上,基于广泛应用在军事、航空、航天等可靠性和实时性要求极高的领域的VxWorks实时系统,通过对VxWorks进行高可靠性配置,并增加容错设计和在轨编程功能,设计实现了一种体积小、可靠性较高、可在轨编程的系统软件,为解决航天嵌入式软件开发困难、没有容错能力和地面干预能力等问题进行了有益的探索。本课题主要研究内容有三个方面:   第一、高可靠性配置方案。包含VxWorks剪裁方案、VxWorks操作系统的重编译方法和异常处理策略的改进与实现。   第二、容错设计方案。包含为解决SEU问题而设计实现的软件容错方案及恢复策略、CPU非法指令异常的处理策略和配置寄存器定期刷新机制。   第三、在轨编程方案。包含函数在轨更新和异常处理程序在轨更新方案。   实验结果表明,该系统软件体积小、无多余物,可靠性高,且具备在轨编程的能力,经过高可靠配置后的系统软件已经成功应用于某型号任务。   本课题的创新之处在于:一、综合应用高可靠性配置、软件容错和在轨编程方案,设计并实现了一种面向航天应用的高可靠系统软件。二、提出了无需函数表和预留开口的函数在轨更新方案,相对于文献[1-4]中的在轨编程方案,本方案具有可增量更新和使用方便可靠的优势。   本文对面向航天应用的高可靠系统软件的研究,不仅为未来空间先导专项中星载系统软件的设计,提供了直接的参考和借鉴,而且对于我国星载计算机软件(工程),也是一种有益的探索,具有较强的工程现实意义。  
其他文献
自然语言构成的文本中往往包含了丰富的信息,但是这些自然语言描述的信息是提供给人阅读理解,计算机无法组织里面的有效信息加以利用。一般的解决办法是人工直接从文本中提取信
精确的鸟类分类识别是鸟类学研究的基础。然而,一直沿用至今的形态学鉴别和传统比对算法各自存在一定局限性。近年来DNA条形码(Barcoding)技术在鸟类物种识别与分类方面起到了
甚长基线干涉测量(Very Long Baseline Interferometry,VLBI)是一种新兴干涉测量技术,通过延长基线和提高观测频率可获得极高的空间分辨率和基线测量精度,为目前角分辨率最高的
程序验证是计算机程序设计领域的传统研究课题,也是当前非常热门的可信计算研究的重点方向之一。然而,对于常见的绝大多数程序而言,完全正确性验证还是非常困难的。   程序的
随着通信、网络及信号处理技术的不断发展,新兴的宽带多媒体业务在无线网络中日益普及。无线多播是一种带宽有效的传输方式,通过单次传输可以同时为多个用户提供多播数据,尤
本文着重研究如何使用基于GPU的并行化技术,尤其是基于OpenCL的并行化技术,对分组密码算法中的AES以及KLEIN两个算法进行并行化优化。与以往的并行化实现方式相比,基于GPU的并行
域名系统的安全运行对整个互联网的安全和稳定至关重要,其主要作用是完成域名到IP地址的映射,域名系统包括存储域名数据的权威服务器和代理互联网应用域名查询请求的递归服务器
航天嵌入式系统工作在恶劣的太空环境下,容易产生瞬时或间歇性故障,因此,可靠性评价成为系统性能检测的重要环节。故障注入方法是评测容错计算机系统可靠性的有效方法之一,它通过
学位
基于OFDM-MIMO技术的宽带无线通信系统的快速发展使用户随时随地接收移动电视、视频点播、在线游戏等高带宽的多媒体业务成为了可能。为了高效传输可以同时被多个用户接收的