嵌入式容错实时计算机系统的可靠性研究

来源 :南京邮电大学 | 被引量 : 0次 | 上传用户:erhtyyuk
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着科学的进步及人类社会的发展,人们对复杂的软硬件系统的需求急剧增加。它的发展速度远远超过了软硬件的设计、实现、测试及维护的能力。所以我们常听说各种各样的问题(bug),正是这些问题导致系统有可能出现故障。嵌入式系统将操作系统与功能软件集成起来,换句话说是指系统的应用软件与系统的硬件一体化,类似于计算机BIOS的工作方式。它具有软件代码小、响应速度快等特点,特别适合于对功能、可靠性、成本和体积有严格要求的实时及多任务的体系。 本文分别阐述了实时系统、嵌入式系统以及容错计算机系统的基本概念,介绍系统可靠性的基本理论并分析影响系统可靠性的各种因素,其中永久性故障与暂时性故障是嵌入式容错系统的主要危害。提出了引入在线测试与离线测试方法来提高系统的可靠度,分别分析了在线测试与离线测试对TMR、4MR、5MR系统可靠度的影响,并以基于时间触发结构(TTA)的汽车嵌入式导航系统为例,运用马尔可夫模型为其建模来研究永久性故障与暂时性故障对系统失效前平均时间(MTTF)的影响。深入研究了一些可能的补救措施,并运用在线测试与离线测试的手段来排除潜在故障,分析了测试速率对各状态失效率的影响。其中开放的在线测试是有效的方法之一,而采用运行期间的离线测试则更为可靠--尽管对测试时间有严格的限制。
其他文献
本文通过对荣华二采区10
期刊
2013年9月28日至10月10日由中国美术家协会艺术委员会、第十届中国艺术节组委会大型活动部、山东美术家协会、山东艺术学院主办,中国美术家协会平面设计艺术委员会、中国美术
甲烷是引起气候变暖的重要温室气体之一,自从有氧条件下森林能释放甲烷被报道之后,各种陆地生态系统植被是否能够释放甲烷便受到了人们的关注。草地是陆地生态系统的主要类型之
本文首先介绍了二次曲面镜的朗奇检验法的发展历史及研究现状、朗奇检验的几何和物理原理,其次还介绍了朗奇光栅制作原理及朗奇检验灵敏度的传统分析方法和定义等相关理论。针对二次曲面镜的朗奇检验方法的灵敏度,本文分析提出了一种新的评估方法,其物理意义为一个朗奇光栅周期所能检测到的镜面偏差大小能力。即如果给定的光栅能够检测到的镜面偏差斜率越小,说明其检测能力越大,其检测灵敏度也越大。这种评估方法通过对研究光栅
法拉第筒、电阻环、磁探针和罗果夫斯基线圈是束流诊断中几种常用的方法,电阻环和罗果夫斯基线圈由于结构简单和实时性好而得到广泛的应用。和电阻环相比,罗果夫斯基线圈的优点在于测量范围大、高频特性好、制作成本低。径向结构的高功率微波器件电子束沿径向发射,本文提出了用罗果夫斯基线圈来诊断这个径向电子束的束流强度。本文首先介绍了罗果夫斯基线圈的基本结构和等效电路,提出了用罗氏线圈诊断径向束流的原理,分析了罗氏
随着现代逆变技术的发展和电磁加热技术的逐渐成熟,一种新型的电热水器--高频电磁热水器已进入了研究发展阶段。 高频电磁热水器是基于电磁感应加热原理,先将电网的工频交
基于GPS的姿态测量和变形监测系统具有速度快、精度高、可连续工作等特点,已受到人们的广泛关注。传统GPS测量系统需用多根天线和多个接收机实现载波相位数据的采集和基线向量
近年来,随着数字电视的迅速发展和移动多媒体设备——手机、PDA等的普及,新的技术被发展并应用于手持设备数字电视的接收。其中欧洲的DVB-H (Digital Video Broadcasting for
本论文根据国家“863”计划重大项目"Gbps无线传输关键技术与试验系统研究开发”的要求,对Gbps的射频接收系统进行了研究。 本论文所设计的接收系统工作在3.45GHz频段上,
因为超宽带信号具有频谱宽、发射功率低、辐射小、强抗干扰能力等优异的特点,所以它受到越来越多的关注。由于超宽带这些优点,国内外对它在医学方面的应用有着越来越多的研究,其