基于动态加载机制的星载计算机可靠性增强技术研究

被引量 : 0次 | 上传用户:amuro111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
星载计算机是航天器上执行星务管理、状态控制、数据处理等功能的中枢。作为工作在太空复杂环境下的嵌入式系统,它与一般地面嵌入式系统相比,设计时既受到整个航天器对质量和功耗的基本约束,又因为工作环境温差大、辐射强,故障发生机率较高,一旦出现故障因远离地面而不易维护,因此必须要求更高的可靠性。一般来说,星载计算机的故障主要源于太空中的辐照,因而通常采用抗辐照电子元件和冗余结构等硬件设计进行防护。但近年来,直接采用加固后的具有更高性能、更低成本的COTS(Commercial off-The-Shelf,商用现成产品)芯片已成为星载计算机设计的一种新趋势。动态加载机制是操作系统中广泛采用的一种软件加载方式,它将应用和所需的代码库分离,只有当需要时才从文件系统中加载目标代码,实现运行时加载。本文研究通过动态加载机制,一方面解决星载计算机存储资源受限的问题,另一方面作为系统技术之一,为星载计算机的故障检测和恢复机制提供一系列支持,特别是用于实现COTS芯片软加固技术中的配套恢复机制,解决单粒子翻转引起的瞬间故障的检测和恢复。本文主要研究工作包括以下几个方面:(一)分析星载计算机的可靠性需求和嵌入式操作系统中的动态加载技术的特点,探讨利用动态加载增强星载计算机可靠性的途径;(二)通过分析星载计算机的软件系统设计需求,提出基于动态加载的模块化软件系统结构,并对其中的模块管理等关键技术进行了讨论。(三)通过对VxWorks动态加载机制源码的分析,修改了VxWorks中动态加载的几种策略,设计并实现了一个动态模块管理系统,完成对模块信息的管理,增加用户对加载的查询和配置功能。(四)基于动态模块管理系统,实现支持单粒子翻转故障恢复的模块重载技术、支持系统重启恢复的模块自动加载技术,以及增强系统扩展性的模块动态替换和任务动态管理技术。最后,讨论了动态加载支持动态硬件检测和设备容错的两项可靠性增强方案。(五)设计了模块实例,一方面验证动态模块管理系统的正确性,另一方面通过相应的应用场景测试分析,说明所实现的几项技术能够有效地增强星载计算机可靠性。
其他文献
目的:评估宫颈癌患者在螺旋断层放疗(TOMO)中耻骨联合上缘层面的横纵轴宽度比值(简称横纵比)与摆位误差的关联。方法:选取行TOMO的宫颈癌患者30例,采用热塑体膜固定,利用图像
一、"复盘"思想及迁移当下完一盘围棋或象棋后,棋手在棋盘上重新摆刚才所走的每一步,称为"复盘",在"复盘"时通过双方细致的拆解分析,判定哪一步正确,哪一步是"昏招",通过"复盘"对自己所
在西方神话传说中曾是法律精英典型象征的女性在现代法律社会遭遇截然不同的命运。通过考察美国女性法官职业现状可知,司法"金字塔"男女失衡,法律精英"她世界"困境重重已是不争的
市域快轨快速发展,需要对成网条件下市域快轨的运输组织进行研究,以更好地利用线网能力、提供优质的运输服务。为确定网络化列车交路的开行对数及折返车站,本文从运输需求和
根据韩礼德和哈桑的衔接理论,照应能够让读者从某个方向回收与解释有关段落所需的信息。世界上存在的各种语言均存在指称照应,使说话人正确无误地把心中所想的具体活动、事物告诉听众,而每种语言都有其独特的照应方式。英语和汉语分属印欧语系和汉藏语系,在照应方式上虽有相似之处,但也存在较多差异。英汉指称的差异会给翻译实践带来巨大困难。本报告是关于泰勒·安邦德(Tyler Anbinder)所著的历史专著《梦想之
<正>目前,重庆地区稻田养鱼已得到了快速发展,同时也总结出了相对较成熟的、成套的稻田养鱼新技术。但是与其他稻田养鱼发达地区相比,重庆地区的产量、面积仍显得很少,且养殖
介绍了地面数字电视发展的国际背景,分析了中国地面数字电视标准(DTMB)的海外推广模式、历史性突破以及推广中遇到的困难.同时,概述了全球新一代数字电视标准的进展,并较详细地
依托北京市、廊坊市和保定市高密度的地面空气质量监测、气象要素监测以及PM2.5化学组分监测和后向轨迹分析等手段,对2017年上半年三地的空气质量进行分析。研究发现:三地中
菟丝子为旋花科植物菟丝子Cuscuta chinensis Lam.的干燥成熟种子,具有滋补肝肾、固精缩尿、安胎、明目、止泻等功效。近年来菟丝子药材混用、掺伪、制假现象严重,药材质量得
从酸浆中分离筛选出白地霉FL44菌株,对该菌株产单细胞蛋白的发酵条件进行了初步研究,并对其发酵过程作了动态分析。结果表明:在优化的培养基组成(废糖蜜5%、(NH。):HPO。1%)和培养条件(