星载计算机系统软件容错技术研究

来源 :中国科学技术大学 | 被引量 : 0次 | 上传用户:toefltoefl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
容错是实现高可靠计算机系统的有效手段,作为容错技术的重要方面,软件容错为提高系统可靠性提供了灵活有效的方法。星载计算机系统运行于复杂多变的空间环境中,具有强实时性和高可靠性要求,在软件层面为其提供高效灵活可配置的容错机制是星载计算机系统可靠性研究的一个重要领域。 考虑到空间环境的特点和星载计算机系统的需求,本文采用层次化的方式设计整个软件容错系统,系统自上而下分为用户层、服务层和内核层。用户容错层面向高级用户,由用户任务自身提供容错机制;服务容错层考虑的是充分利用已有的软件容错技术,对其进行适应性改造后以API的形式向上层提供容错策略接口;内核容错层则从操作系统内核的角度使用“双核”技术对系统进行容错,在保证系统实时性的同时提高系统可靠性。三个容错层次中,内核容错层是本文论及的软件容错系统的核心,内核级容错技术也是系统中软件容错技术研究的重点,其研究内容主要包括如下两个方面:一是探测系统的硬件永久性故障,通过降级重组的方式屏蔽永久性故障对系统的影响;二是保证系统实时性的同时提高系统可靠性,采用双核的形式屏蔽暂态故障对系统的影响。 最后,为了说明本文所提出的软件容错技术的有效性,文章从实验和理论两方面分别验证了整个容错系统的有效性:在实验测试方面,给出了系统在不同容错状态下实时性和可靠性的变化情况;在理论验证方面,给出了系统的确定有穷状态自动机模型。
其他文献
近年来随着疲劳驾驶导致越来越多的交通事故发生,驾驶疲劳监测已经成为辅助安全驾驶领域的一个重大课题。以往的驾驶疲劳监测研究中,常常通过司机的面部视频信号和脑电、体温等
随着网络技术和多媒体技术的迅速发展,网络音频视频也成为必不可少的内容。于是,流媒体技术应运而生,不仅应用在PC机上,而且也广泛的应用在一些嵌入式设备上。流媒体具有实时
分类问题尤其是多类分类问题一直是数据挖掘研究的热点问题。在实际应用中,如图像识别,文本分类等等,需要处理的数据都是海量和多类别的。如何解决多类别的分类问题,是近几年研究
本文研究的内容是基于人耳听觉特性的语音特征提取方法,主要分为三个部分:听觉掩蔽特性、等响特性以及耳蜗分频特性。以下是本文的主要贡献: 1) 提出了一个以mel频标划分b
分布式入侵检测技术是主动防范的网络安全技术之一,协同通信机制是分布式入侵检测系统的重要组成部分,也是当前研究热点。在课题研究开发中,作者分析了当前分布式入侵检测系
人脸检测是现代图像处理中的一项重要研究内容,在许多领域有着重大的应用价值,如在身份验证、安全访问控制、视觉监视等。人脸检测的主要目标是要从视频图像中检测有无人脸,如果
随着2008年北京奥运会和2010年上海世博会的临近,围绕着盛会的各种诸如庆典、开幕式、电视类综合晚会等大型展示活动将会有很多。而大型开幕式的排练一般要数千人参加,实际操作
WMPLS(无线多协议标签交换)是下一代网络路由技术—MPLS在无线网络环境下的改进和扩展。WMPLS的工作框架和它的信令协议可以用来建立面向连接和面向无连接的标签交换路径。WM
社会保障(以下称“社保”)关乎到广大人民群众的基本利益,关系到社会稳定与经济的协调健康发展。社保业务具有基本政策约束、地方政策约束、政策变化频繁和业务准确性要求严格
本研究主要开发基于网络的水处理实时仿真和控制实验系统(WaterTreatment Realtime Simulation & Control Experiment System,简称WTRSCES),通过建立水处理仿真模型,借助互联网(