收藏本站
《中国科学院上海冶金研究所》 2000年
收藏 | 手机打开
二维码
手机客户端打开本文

实时容错嵌入式小卫星操作系统设计的研究

李涛  
【摘要】:本文的主要工作是研究如何设计高可靠、高容错、可重组、软实时的分布 式的嵌入卫星操作系统,并在相关的软件工程领域进行必要的探索。 本文首先研究了小卫星操作系统的机构设计,在比较了大量的操作系统结 构模型的基础上,本文提出了采用微内核结构的小卫星操作系统结构设计思想。 采用微内核结构能够大大简化系统内核内部以及系统内核与应用之间的接口, 明显地降低模块之间调用的复杂性,从结构上保证了系统的高可靠性,并且具 有易于扩展等优点。 在完成了小卫星操作系统的结构设计后,本文开始了操作系统内部进程结 构和进程调度策略的设计,在研究了时间驱动和事件驱动的优点和缺陷之后, 本文提出了基于消息和定时任务处理的时间、事件混合驱动的抢占式卫星操作 系统设计思想。这种思想综合了时间驱动和事件驱动的好处,既不会在负荷突 然升高时造成失控,也不会降低关键任务的响应时间。另外,将一般消息和定 时任务消息在系统内部区分开来,既大大降低了系统调度时的CPU占用时间, 又降低了内部程序的复杂性,同时也充分适应了时间事件混合驱动的驱动方式, 并且进一步提高了系统内核的灵活性和可扩展性(后面的分布式通信设计中就 使用到了这一灵活性)。注入管理机制的引入为系统可靠性的提高打开了另外一 扇大门,它的引入使得系统能够在星上进程出现故障时,更新该进程,实现进 程的重组,或者在卫星的运行过程中,为卫星星载计算机系统增添新的功能。 由于小卫星操作系统是一个容错操作系统,本文用专门的章节讨论了小卫 星操作系统的容错设计,并提出了一种新的基于改进的级联相关构造学习算法 的星载软件故障易发模块的识别方法,这种方法简单、高效,与其它一些可能 方法如感知器法和高斯法相比具有收敛更快、结果更优等优点。能够在卫星软 件开发周期的早期阶段发现故障易发模块,这对于合理地分配软件开发人员, 降低软件开发成本,尽可能避免在软件开发的晚期不断返工具有较高的实用价 值。 目前小卫星采用双机系统,在未来充分降低成本之后可以采用灵活性更高 的工作方式,为此,本文研究分布式的星载软件系统。在单机星载软件系统的 基础上,利用系统微内核结构提供的灵活性,在内核消息管理中对应用程序透 明地加入分布式功能,利用因果定序和逻辑定序进行事件定序,并且提出了一 种新的分布式互斥与同步方法,该方法简便、易行,通过向各站点的互斥与同 步服务进程发送消息来实现,其应用范围并不仅限于星载计算机系统,可以被 任何一个分布式系统参考和采用。 多机分布式系统必然要求系统具有合理的任务分配功能,对于卫星来说, 任务基本上都是准静态确定的,一般不会动态地随机生成一个新任务,所以本 【 文最后研究了对通用操作系统几乎没什么意义但是对于卫星操作系统却有很大 实用价值的静态任务分配算法,提出了一种新的基于Hopfleld神经网络的静态 任务分配算法,对实际的应用结果表明该算法是一个快速、较优的实用算法。 另外,考虑到系统出现故障后可能出现的任务迁移问题,研究了卫星多机系统 故障任务迁移机制。该机制确保了一台单机发生故障时,系统能够在另一台单 机上迅速向后恢复到一个符合一致性要求的状态。
【学位授予单位】:中国科学院上海冶金研究所
【学位级别】:博士
【学位授予年份】:2000
【分类号】:V446;TP316

【引证文献】
中国硕士学位论文全文数据库 前1条
1 高买花;卫星姿轨控系统软件体系结构设计的方案研究[D];中国科学院研究生院(空间科学与应用研究中心);2003年
【参考文献】
中国期刊全文数据库 前1条
1 何炎祥,罗先林,吴思,彭堂玉,祝向幸;对三种典型分布式任务分配算法的分析[J];小型微型计算机系统;1997年11期
【共引文献】
中国期刊全文数据库 前10条
1 汤磊,陈正汉;用BP网络预估强夯有效加固深度[J];四川建筑科学研究;1998年04期
2 梁彦庆;黄志英;冯忠江;李灿;;基于人工神经网络的土地整理项目综合效益评价研究[J];安徽农业科学;2011年08期
3 陈守满;居室环境智能系统的面向对象分析与建模[J];安康师专学报;2003年04期
4 高志明,关岩,于洪梅,吴秀红,李井会;人工神经网络在化学中的应用进展[J];鞍山钢铁学院学报;2000年03期
5 帅建伟,陈振湘,刘瑞堂;权重连接神经网络的光电实现[J];半导体光电;1995年01期
6 刘军,兰家隆,王兆明;应用神经网络解决连线总长最短的门阵列布局算法[J];半导体学报;1992年08期
7 成奇明;张树京;;非线性方程组的一种神经元网络解法[J];北方交通大学学报;1992年01期
8 吴志明,罗四维,刘颖孙;Hopfield神经网在营养问题中的应用及分析[J];北方交通大学学报;1995年04期
9 江霞,吕夏;基于神经网络线性系统的速归辨识[J];兵工自动化;1996年03期
10 徐文斌,叶高英;用神经网络法对空间分布进行弦积分反演[J];兵工自动化;1998年02期
中国重要会议论文全文数据库 前10条
1 ;The Applications of Neural Network to Communication Systems[A];Proceedings of 4th International Symposium on Test and Measurement(Volume 1)[C];2001年
2 ;A New HNN Algorithm Using Adaptively Dynamic Parameters[A];Proceedings of the 5th International Symposium on Test and Measurement(Volume 1)[C];2003年
3 ;Structural Multi-objective Optimization Based on Neural Network[A];Proceedings of the First China-Japan-Korea Joint Symposium on Optimization of Structural and Mechanical Systems[C];1999年
4 吴章华;王莹;高学东;;具有自适应功能的企业资信分析神经网络系统[A];中国运筹学会第六届学术交流会论文集(上卷)[C];2000年
5 沈世镒;罗跃虎;;关于神经网络研究的若干问题[A];1999年中国神经网络与信号处理学术会议论文集[C];1999年
6 许进;保铮;;神经网络与图论[A];1999年中国神经网络与信号处理学术会议论文集[C];1999年
7 郭东辉;李立峰;刘瑞堂;吴伯僖;Gerard Parr;;ATM交换智能控制器的VHDL兑现方案[A];1999年中国神经网络与信号处理学术会议论文集[C];1999年
8 李立峰;郭东辉;刘瑞堂;吴伯僖;Gerard Parr;;神经网络在信元交换控制中的应用[A];1999年中国神经网络与信号处理学术会议论文集[C];1999年
9 李彦希;彭刚;;基于禁忌搜索的TSP问题求解[A];广西计算机学会2010年学术年会论文集[C];2010年
10 黄明智;马邕文;万金泉;黄明护;;基于人工神经网络的污水处理应用性研究的探讨[A];中国环境科学学会2006年学术年会优秀论文集(中卷)[C];2006年
中国博士学位论文全文数据库 前10条
1 孙明;基于小波和迟滞的混沌神经网络及其应用[D];哈尔滨工程大学;2010年
2 孙大利;石油价格波动规律研究[D];浙江大学;2010年
3 车勇;轮胎噪声的预测方法与试验研究及优化设计[D];武汉理工大学;2010年
4 许元男;可见光模糊图像的信息处理及目标探测[D];哈尔滨工业大学;2010年
5 郑鹏升;Hopfield神经网络动力学分析与应用[D];天津大学;2010年
6 赵天绪;集成电路缺陷分布模型和容错技术研究[D];西安电子科技大学;1999年
7 施式亮;矿井安全非线性动力学评价模型及应用研究[D];中南大学;2000年
8 高兴宝;两类典型非线性问题的计算方法研究[D];西安电子科技大学;2000年
9 莫玮;神经网络在自适应均衡中的应用研究[D];西安电子科技大学;2000年
10 宗凯;组合式统计信号检测技术研究[D];西北工业大学;2000年
中国硕士学位论文全文数据库 前10条
1 阎明;蒸汽发生器故障预报方法研究[D];哈尔滨工程大学;2010年
2 刘翠;水声图像阈值分割及智能优化算法的研究[D];哈尔滨工程大学;2010年
3 陈巍;基于模拟退火的Hopfield网的研究[D];辽宁工程技术大学;2010年
4 王保刚;基于虚拟样机技术的自治水下机器人仿真系统研究[D];中国海洋大学;2010年
5 徐美清;基于神经网络和遗传算法的移动机器人路径规划[D];湘潭大学;2010年
6 苏晓勇;高职院校网络教学资源建设方法探讨[D];江西师范大学;2010年
7 刘娇;求解一类非光滑优化问题的广义神经网络方法[D];江南大学;2010年
8 汪昱君;基于RBF的高校双语教学评价系统的设计[D];南昌大学;2010年
9 金伟娜;杭州技师学院比赛项目排序系统的设计与实现[D];电子科技大学;2010年
10 王凯;基于防火墙和入侵检测的综合主机安全防范系统[D];电子科技大学;2010年
【同被引文献】
中国期刊全文数据库 前9条
1 刘尉悦,张万生,邢涛,王砚方;VxWorks操作系统及实时多任务程序设计[J];单片机与嵌入式系统应用;2001年05期
2 邵贝贝,许庆丰,王若鹏;嵌入式RTOS讲座(1) 什么是嵌入式实时操作系统[J];单片机与嵌入式系统应用;2001年07期
3 薛成效,裘正定;简述几种实时多任务操作系统[J];单片机与嵌入式系统应用;2001年10期
4 李振,肖书,唐胜群;实用软件体系结构研究[J];计算机工程与应用;2000年08期
5 孙秋冬;软件系统的分层设计[J];计算机工程与应用;2001年07期
6 麦中凡,戴彩霞;软件体系结构的概念[J];计算机工程与应用;2001年11期
7 洪炳熔,卢东昕;基于软件总线的小卫星系统软件可重用结构设计[J];计算机工程;1999年08期
8 何炎祥,黄浩,石莉,张戈,李超;软件体系结构中五种常见风格的剖析[J];计算机工程;2000年10期
9 刘海涛,赵宏坤,李涛,郭朝华;卫星星载操作系统总体设计[J];微电子学与计算机;2000年06期
【二级引证文献】
中国博士学位论文全文数据库 前1条
1 刘海颖;微小卫星姿态控制系统关键技术研究[D];南京航空航天大学;2008年
中国硕士学位论文全文数据库 前2条
1 陈慧;无人飞艇飞行控制系统软件设计[D];中国科学院研究生院(空间科学与应用研究中心);2008年
2 吴海亮;三轴稳定微卫星姿态控制系统设计及仿真[D];南京航空航天大学;2008年
【二级参考文献】
中国期刊全文数据库 前2条
1 何炎祥,夏循斌,孙祥胜,陈燕涛;一种分布式OS自动生成系统模型[J];高技术通讯;1995年04期
2 何炎祥;;分布式系统中的“合一-阀值”任务分配算法[J];计算机工程与应用;1990年Z1期
【相似文献】
中国期刊全文数据库 前10条
1 伍琴;智利小卫星入轨未分离[J];国际太空;1995年12期
2 ;法国宇航公司推出小卫星公用平台[J];国际太空;1997年04期
3 杨红俊,罗巧云;美国小卫星利用天基测控系统的研究[J];飞行器测控学报;1999年04期
4 晓舒;可控制小卫星的微光学元器件[J];光机电信息;2002年01期
5 林晓锋;小卫星在数字北京中的应用前景[J];国土资源遥感;2002年01期
6 魏晨曦,焦雯;国外军用小卫星的发展及测控技术[J];上海航天;2004年05期
7 王景泉;美国军用小卫星的发展状况[J];中国航天;1994年11期
8 朱毅麟;小卫星的成本估算[J];中国空间科学技术;1998年04期
9 闻新,刘恒军;小卫星和通信卫星星座技术特征分析[J];上海航天;2001年06期
10 白雪;;欧洲小卫星方案百花齐放[J];国际太空;1992年11期
中国重要会议论文全文数据库 前10条
1 朱毅麟;;面向21世纪的小卫星[A];面向21世纪的科技进步与社会经济发展(下册)[C];1999年
2 侯悦民;季林红;金德闻;尤政;徐信;贺启林;;影响小卫星动特性因素分析[A];第八届全国振动理论及应用学术会议论文集摘要[C];2003年
3 雷杰;;一种嵌入式实时多任务操作系统的研究与应用[A];第三届全国嵌入式技术和信息处理联合学术会议论文集[C];2009年
4 吴伟斌;李礼夫;洪添胜;;汽油/CNG两用燃料发动机ECU在环仿真[A];2010振动与噪声测试峰会论文集[C];2010年
5 李文元;马凤华;;嵌入式单片源解码器SC2005及其应用[A];图像 仿真 信息技术——第二届联合学术会议论文集[C];2002年
6 姜莉莉;齐清文;刘继荣;孙茳;;嵌入式GIS发展动态[A];地图学与GIS学术讨论会论文集[C];2002年
7 李娜;刘晓文;;基于嵌入式系统的车载路况监测装置[A];第十四届全国煤矿自动化学术年会暨中国煤炭学会自动化专业委员会学术会议论文集[C];2004年
8 王志刚;白宇;邓高寿;;特殊环境下的信息获取技术研究[A];第十届全国敏感元件与传感器学术会议论文集[C];2007年
9 蔡军;高宝成;;基于LabWindows/CVI的电子测量系统设计[A];第三届全国虚拟仪器大会论文集[C];2008年
10 周宁;王鹏;赵亮;段素馨;;基于蓝牙和PDA技术的GPS信号接收与处理[A];2009年全国无线电应用与管理学术会议论文集[C];2009年
中国重要报纸全文数据库 前10条
1 陈超;小卫星堪当大责任[N];科技日报;2008年
2 综文;我国小卫星制造公司成立[N];通信产业报;2001年
3 士元;小卫星“大闹天宫”[N];中国国防报;2002年
4 尹大强;小卫星发展掀热浪[N];解放军报;2000年
5 记者 胡群芳;小卫星浮出水面[N];中国航天报;2004年
6 崔伟光 记者 仇方迎;最大的小卫星研试基地落户北京[N];科技日报;2004年
7 韩光熙;众人拾柴照亮梦想[N];中国航天报;2002年
8 记者  丁波;3亿公里测控考验中国[N];解放日报;2007年
9 于雪梅;小卫星功力关键技术取得突破[N];中国航天报;2008年
10 特派记者 邱瑞贤;太空人要取回80个船外润滑剂[N];广州日报;2008年
中国博士学位论文全文数据库 前10条
1 李涛;实时容错嵌入式小卫星操作系统设计的研究[D];中国科学院上海冶金研究所;2000年
2 余平;基于小卫星移动通信的自适应阵列天线技术的研究[D];重庆大学;2003年
3 孟德腾;现代汉语嵌入式预制语块研究[D];中央民族大学;2011年
4 李荔;低轨小卫星移动通信系统的载波同步设计[D];中国科学院上海冶金研究所;2001年
5 彭舰;基于CORBA的分布式系统中实时—容错性的研究——分布式系统中动态调度的设计与实现[D];电子科技大学;2004年
6 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年
7 高焕;中国对虾基因组串联重复序列分析及其分子标记的开发与应用[D];中国科学院研究生院(海洋研究所);2006年
8 顾海军;嵌入式彩色电视跟踪系统的设计和实现[D];中国科学院研究生院(长春光学精密机械与物理研究所);2003年
9 林建波;基于嵌入式数控平台的网络化制造技术的研究[D];天津大学;2003年
10 刘六彬;嵌入式视频监控系统中uClinux的应用研究[D];浙江大学;2003年
中国硕士学位论文全文数据库 前10条
1 王华萍;基于Linux的嵌入式系统研究及防火墙应用[D];浙江大学;2002年
2 蒋维廉;Cable Modem的嵌入式Web服务器开发与实现[D];重庆大学;2002年
3 朱晖;嵌入式实时操作系统RT-MINIX的设计[D];西南交通大学;2003年
4 何斌;基于internet/intranet的嵌入式系统应用研究[D];湖南大学;2003年
5 马志强;嵌入式以太网技术研究与应用[D];中国海洋大学;2003年
6 许晨辉;嵌入式软构件技术的研究与应用[D];西北工业大学;2003年
7 赵国安;基于嵌入式技术的家庭智能化系统[D];南京航空航天大学;2004年
8 董晓峰;嵌入式Linux及其调度策略的研究[D];西安电子科技大学;2004年
9 苏恩杰;嵌入式系统网络化技术应用研究[D];西北工业大学;2004年
10 李强;基于MSP430F148单片机的嵌入式实时操作系统的研究与设计[D];北京工业大学;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026