-
题名表决器对分层三模冗余系统可靠性影响分析
被引量:5
- 1
-
-
作者
伊小素
邓燕
潘雄
秦姣梅
-
机构
北京航空航天大学光电技术研究所
-
出处
《中国惯性技术学报》
EI
CSCD
北大核心
2011年第4期494-498,共5页
-
基金
国家自然科学基金(61007040)
-
文摘
FPGA在空间运行中易受单粒子翻转效应影响,分层三模冗余技术是常见的抗单粒子翻转容错方法,其表决器对系统可靠性影响为一项重要研究内容。针对此问题,首先建立了考虑表决器的分层三模冗余系统可靠性模型,仿真计算得到不同情况下表决器对系统可靠性的影响程度(表决器影响度),仿真结果表明,表决器影响度由失效率比值与结构层次划分决定,因此对于确定系统,表决器影响度不随空间环境变化而变化。其次建立了带刷新功能的双层三模冗余系统可靠性模型,分析了在FPGA刷新作用下,与无刷新功能系统相比表决器影响度的变化情况,仿真结果显示,刷新作用虽然从整体上大大提高了系统可靠度,但并未使得表决器影响度减小,影响度反而增大。
-
关键词
表决器影响度
可靠性模型
分层三模冗余系统
单粒子翻转
FPGA
-
Keywords
voter influence degree
reliability model
partitioned triple modular redundancy system
single-event upset
field programmable gate array
-
分类号
U666.1
[交通运输工程—船舶及航道工程]
-
-
题名可维修三模冗余结构系统的可靠度与安全度分析
被引量:39
- 2
-
-
作者
王丽华
徐志根
王长林
-
机构
西南交通大学计算机与通信工程学院
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2002年第1期103-107,共5页
-
基金
四川省应用基础研究项目资助
-
文摘
采用马尔可夫模型 ,在考虑故障覆盖率及维修率影响的情况下 ,对三模冗余结构系统的可靠度及安全度进行了详细的推导 ,给出了求解系统可靠度及安全度的微分方程组 。
-
关键词
可靠性
安全度
马尔可夫模型
三模冗余结构系统
故障覆盖率
维修率
计算机系统
-
Keywords
computer applications
reliability
security
Markov model
-
分类号
TP302.7
[自动化与计算机技术—计算机系统结构]
-
-
题名多机容错操作系统DFTOS的设计与实现
被引量:2
- 3
-
-
作者
汪东升
杨孝宗
王春露
-
机构
清华大学计算机系
哈尔滨工业大学计算机系
北京邮电大学计算机系
-
出处
《计算机应用与软件》
CSCD
1997年第4期20-24,共5页
-
文摘
本文介绍了一个适于三模冗余容错计算机系统的系统管理软件DFTOS,它是一个多机容错操作系统,具有分布处理和容错计算功能,并且与用户具有良好的接口关系,方便用户对系统的使用和开发。
-
关键词
容错操作系统
分布计算
冗余管理
三模冗余系统
-
Keywords
Fault-tolerant operating system, distributed computing, redundancy management, TMR system.
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名Vx Works在ATP车载设备中的应用
被引量:2
- 4
-
-
作者
王亚菊
唐涛
谢火明
-
机构
北京交通大学电子信息工程学院
-
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2006年第4期69-73,共5页
-
基金
北京城市轨道交通系统关键技术研究(D0604003040811)
-
文摘
主要研究实时操作系统VxWorks在列车超速防护(ATP)系统车载设备软件设计中的应用。为了提升系统性能,研究一种新的软件设计方法从而对各种资源进行有效管理很有必要。基于VxWorks的ATP车载设备软件设计利用嵌入式实时操作系统的优势,简化了系统资源管理,在保证系统实时性、安全性的前提下,有效地降低了软件设计的复杂度,并使得软件具有良好的层次性和可移植性。作者首先简单介绍实时操作系统Vx-Works,其次描述了ATP车载设备的功能以及硬件实现方法,重点研究了基于实时操作系统VxWorks下三模冗余结构的ATP车载设备的软件实现方法,最后探讨了VxWorks在应用开发过程中的优势。
-
关键词
VXWORKS
列车超速防护(ATP)系统
车载设备
三模冗余系统
-
Keywords
VxWorks
automatic train protection(ATP) sysytem
on-board equipmemnt
triple modular redundancy system
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-