航天嵌入式现代小卫星软件容错设计及测试系统研究
文献类型：学位论文
| 作者 | 李华旺 |
| 学位类别 | 博士 |
| 答辩日期 | 2011-07-11 |
| 授予单位 | 中国科学院研究生院（上海微系统与信息技术研究所） |
| 导师 | 杨根庆 |
| 关键词 | 软件质量模型 软件容错 软件测试 故障注入 仿真测试平台 |
| 学位专业 | 微电子与固体电子学 |
| 中文摘要 | 该文的主要工作是研究航天嵌入式现代小卫星软件高可靠、强容错的设计及实现,以及如何评价软件的冗余、容错效果,并且应用于CX-1小卫星软件的容错设计及测试.软件测试环境的建立是软件容错测试中的另一关键环节.测试环境与具体工程相关.该文以CX-1小卫星软件工程为基础,重点研究了小卫星仿真测试平台的分析、设计及实现.采用混合原型法构建的分布式小卫星软件仿真测试平台,具有成本低、配置灵活等特点.混合原型设计方法的关键是各分系统仿真模型的实现,该文结合CX-2小卫星的体系结构,对动力学仿真模型、能源仿真模型和GPS及 |
| 语种 | 中文 |
| 公开日期 | 2012-03-06 |
| 页码 | 120 |
| 源URL | [http://ir.sim.ac.cn/handle/331004/83989]  |
| 专题 | 上海微系统与信息技术研究所_微系统、冶金所学位论文_学位论文（200年以前） |
| 推荐引用方式 GB/T 7714 | 李华旺. 航天嵌入式现代小卫星软件容错设计及测试系统研究[D]. 中国科学院研究生院（上海微系统与信息技术研究所） . 2011. |
入库方式： OAI收割
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。