收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

航天嵌入式现代小卫星软件容错设计及测试系统研究

李华旺  
【摘要】: 本文的主要工作是研究航天嵌入式现代小卫星软件高可靠、强容错的设计 及实现,以及如何评价软件的冗余、容错效果,并且应用于CX-1小卫星软件的 容错设计及测试。 软件质量是软件开发过程中所使用的各种开发技术和验证方法的最终体 现。通常用软件质量模型来描述影响软件质量的特性。本文首先在众多经典软 件质量模型的基础上,提出了一套动态的、实用的、可度量的适合于现代小卫 星软件质量管理及开发的软件质量模型,该模型强调了软件质量应该与软件生 存周期相对应,体现了质量模型的动态特性;同时针对航天环境的特殊性,强 调了容错能力特性在软件质量度量中的重要性。该模型为“创新一号”现代小 卫星软件的开发及质量管理提供了有益的手段。 软件冗余、容错是现代小卫星软件质量模型的重要内容,本文对小卫星软 件容错设计技术进行了研究。根据小卫星硬件冗余结构的特点,采用了以多版 本编程、恢复块技术、前向恢复和后向恢复技术等软件容错技术来提高现代小 卫星系统的容错能力。同时利用基于双机冗余备份的双机互检技术来提高整个 系统的可靠性。 软件容错效果需要通过软件容错测试来进行评估。测试用例生成、仿真测 试环境及测试结果分析是软件容错测试的三个重要环节。本文将故障树分析方 法应用于故障测试用例的分析与设计,利用软件故障树分析方法来分析软件故 障模式有利于分析导致软件故障的起因,从而得到导致软件故障的集合;为了 克服传统的随机抽样方法生成测试用例测试时间长的缺点,本文利用仿生学中 的遗传算法来生成测试用例,测试结果表明这种方法可以在较短的时间内达到 较高的覆盖率,因此可以大大缩短软件测试时间。 空间宇宙射线易导致半导体器件发生单粒子效应,从而引起软件故障,因 此评估软件对单粒子事件的容错能力是必不可少的。故障注入是一种非常有效 的验证容错机制的方法。本文根据单粒子事件效应及内存故障模式,提出了一 种事件驱动的单粒子事件故障模型,同时针对该模型的具体应用算法进行了详 细阐述,提供了将故障注入技术应用于容错机制测评的具体试验中的一种方法。 中国科学院博土研究生学位论文 * 同时,本文在比较了众多故障注入方法的优点和缺陷之后,提出了以内存故障 注入和总线故障注入相结合的故障注入方法,并在此基础上设计并实现了单粒 子事件故障注入器。单粒子事件故障注入器具有成本低、通用性强、故障注入 方便快捷。全动态实时和定量注入单粒子事件的能力等特点。 软件测试环境的建立是软件容错测试中的另一关键环节。测试环境与具体 工程相关。本文以CX4小卫星软件工程为基础,重点研究了小卫星仿真测试平 台的分析、设计及实现。采用混合原型法构建的分布式小卫星软件仿真测试平 台,具有成本低、配置灵活等特点。混合原型设计方法的关键是各分系统仿真 模型的实现,本文结合CX-l小卫星的体系结构,对动力学仿真模型。能源仿真 模型和 GPS及轨道仿真模型进行了具体的研究和设计。同时,利用确定性同步 算法来减小分布式仿真系统的时空不一致性,保证了分布式仿真的真实性和有 效性。实验结果表明,软件开发仿真测试平台可以用来进行软硬件集成实时仿 真、故障模式仿真、软件功能验证、软件调度及控制算法验证等,对加速小卫 星软件开发进程及软件自闭环测试具有重要意义。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 洪炳熔,张宇,彭宇,龙涛;基于响应系统的软件容错支撑系统及其仿真研究[J];哈尔滨工业大学学报;1999年03期
2 秦冬雷,沈斌南;微处理机系统可靠性与软件容错技术[J];江南学院学报;1999年04期
3 孙峻朝,王建莹,杨孝宗;故障注入方法与工具的研究现状[J];宇航学报;2001年01期
4 张贝蓓,陈欣;无人机动态测试中的故障注入研究[J];工业控制计算机;2005年05期
5 彭俊杰,洪炳镕,袁成军;软件实现的星载系统故障注入技术研究[J];哈尔滨工业大学学报;2004年07期
6 董昱,李敬文,李亮;基于Linux联锁计算机系统的实时性和高可靠性研究[J];兰州交通大学学报;2004年06期
7 李璇君,辛季龄;基于后驱动技术的故障注入方法研究[J];哈尔滨工业大学学报;2001年06期
8 舒燕君,曲峰,董剑,杨孝宗;通用容错测试仪GFTE的设计与实现[J];航天控制;2004年06期
9 张继福,钟国芳;多校验点容错软件的可靠性研究[J];太原重型机械学院学报;1990年01期
10 赵洪利;一种具有容错能力的软件设计技术[J];装备指挥技术学院学报;1995年01期
11 周卫东;郝燕玲;;舰船组合导航系统应用软件冗余设计及可靠性分析[J];弹箭与制导学报;2006年S8期
12 刘东;张春元;李瑞;黄影;李毅;;基于预测表的容错实时调度算法[J];西安交通大学学报;2007年06期
13 虞健飞;;故障注入在航电系统测试过程中的应用[J];航空制造技术;2009年08期
14 周丽萍,尹琦;单片微机应用系统的软件抗干扰[J];昆明理工大学学报;1999年02期
15 贺劼,李强;舰载计算机网络系统仿真平台的故障注入系统[J];应用科技;2005年04期
16 陈源龙;马培军;李东;;硬实时系统中自适应反馈软件容错动态调度算法研究[J];宇航学报;2010年11期
17 仉俊峰,洪炳镕,乔永强;基于软件的星载计算机系统故障注入方法的研究[J];计算机工程与应用;2003年33期
18 丁万夫;郭锐锋;秦承刚;;面向数控系统的容错实时调度算法研究[J];中国机械工程;2010年15期
19 陈显锋,裘丽华,王占林;分布式系统故障注入研究[J];系统仿真学报;1999年06期
20 王劭伯,郭谋发;分布式微机监控系统的软件容错设计[J];电工技术杂志;2000年06期
中国重要会议论文全文数据库 前10条
1 曹军明;佟明明;;基于软件的新一代空空导弹系统故障注入技术研究[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
2 刘伟娜;张翱;杨宏涛;张展;钱军;;消息驱动的故障注入自动化测试平台[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 田增;朱英;巨鹏锦;曹华;;基于VPI的故障注入验证环境[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
4 胡嘉伟;江建慧;;一种面向软件可靠性评估的故障注入机制的设计与实现[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
5 王波;左德承;林叶;钱军;;面向高端容错计算机的故障注入研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
6 吴斌;高珑;;软件双冗余容错系统的容错能力和性能分析[A];第15届全国信息存储技术学术会议论文集[C];2008年
7 张阳;解文涛;;基于PXI总线的故障注入系统的设计与实现[A];2011航空试验测试技术学术交流会论文集[C];2010年
8 喻志虎;邹华;杨放春;;Parlay应用服务器的软件容错研究与设计[A];2004年全国通信软件学术会议论文集[C];2004年
9 秦磊;庞东贺;张展;左德承;杨孝宗;;IA64固件层处理器故障注入技术[A];第六届中国测试学术会议论文集[C];2010年
10 赵瑞莲;吕荣聪;;一个实际容错软件系统的测试分析[A];第十届全国容错计算学术会议论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年
2 潘庆和;软件故障注入关键技术研究[D];哈尔滨工业大学;2011年
3 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
4 王继刚;高可用集群系统中回卷恢复容错技术研究[D];哈尔滨工程大学;2006年
5 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
6 钟读杭;Web服务组合的可靠性预测研究[D];国防科学技术大学;2007年
7 李心科;软件故障分析及质量评估方法的研究[D];合肥工业大学;2001年
8 李璇君;航空发动机数字控制器与航空电子综合系统BIT技术研究[D];南京航空航天大学;2001年
9 黄海林;高可靠处理器体系结构研究[D];中国科学院研究生院(计算技术研究所);2006年
10 韩炜;非相似容错计算机系统设计及其验证技术研究[D];西北工业大学;2002年
中国硕士学位论文全文数据库 前10条
1 刘伟娜;面向安腾架构的高端容错机故障注入平台的设计与实现[D];哈尔滨工业大学;2010年
2 柳卯;通讯故障注入测试系统的研究与实现[D];中山大学;2010年
3 鲁军;基于故障注入的系统健壮性测试研究[D];南华大学;2011年
4 秦磊;面向安腾2处理器的故障注入工具设计与实现[D];哈尔滨工业大学;2010年
5 王波;高端容错计算机故障注入工具的设计与实现[D];哈尔滨工业大学;2011年
6 罗元盛;基于索引的准同步检查点协议研究[D];湖南大学;2005年
7 周军海;基于回卷恢复的MPI程序容错[D];湖南大学;2005年
8 王刚;基于失效检测器的异步系统共识协议研究[D];湖南大学;2006年
9 庞东贺;基于STAF的分布式自动化可用性评测平台的设计与实现[D];哈尔滨工业大学;2011年
10 储艳莉;基于LXI的故障注入控制系统设计与实现[D];北京交通大学;2012年
中国重要报纸全文数据库 前7条
1 本报记者 闻丹岩;Avaya已出发[N];中国计算机报;2001年
2 ;预防为主防治结合[N];计算机世界;2002年
3 张志刚;容错服务器有大作为[N];中国计算机报;2004年
4 许培楠;军工专家研讨工程软件提高研发能力[N];中国航天报;2010年
5 本报记者 于翔;甲骨文加快集成优化步伐[N];网络世界;2010年
6 实习记者 胡勤;航空总线与测试技术研讨会召开[N];中国航空报;2011年
7 李晓锋 杨彬;五院控推部软平台缩短星载软件研制周期[N];中国航天报;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978