Design and reliability,availability,maintainability,and safety analysis of a high availability quadr

来源 :Journal of Zhejiang University-Science A(Applied Physics & E | 被引量 : 0次 | 上传用户:a242269752
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
With the development of high-speed railways in China,more than 2000 high-speed trains will be put into use.Safety and efficiency of railway transportation is increasingly important.We have designed a high availability quadruple vital computer (HAQVC) system based on the analysis of the architecture of the traditional double 2-out-of-2 system and 2-out-of-3 system.The HAQVC system is a system with high availability and safety,with prominent characteristics such as fire-new internal architecture,high efficiency,reliable data interaction mechanism,and operation state change mechanism.The hardware of the vital CPU is based on ARM7 with the real-time embedded safe operation system (ES-OS).The Markov modeling method is designed to evaluate the reliability,availability,maintainability,and safety (RAMS) of the system.In this paper,we demonstrate that the HAQVC system is more reliable than the all voting triple modular redundancy (AVTMR) system and double 2-out-of-2 system.Thus,the design can be used for a specific application system,such as an airplane or high-speed railway system. With the development of high-speed railways in China, more than 2000 high-speed trains will be put into use. Safety and efficiency of railway transportation is increasingly important. We have designed a high availability quadruple vital computer (HAQVC) system based on the analysis of the architecture of the traditional double 2-out-of-2 system and 2-out-of-3 system. The HAQVC system is a system with high availability and safety, with prominent characteristics such as fire-new internal architecture, high efficiency, reliable data interaction mechanism, and operation state change mechanism. The hardware of the vital CPU is based on ARM7 with the real-time embedded safe operation system (ES-OS). The Markov modeling method is designed to evaluate the reliability, availability , maintainability, and safety (RAMS) of the system. This paper, we demonstrate that the HAQVC system is more reliable than the all voting triple modular redundancy (AVTMR) system and double 2-out-of-2 system.Thus, the design can b e used for a specific application system, such as an airplane or high-speed railway system.
其他文献
经过水科院黄海水产研究所会同乳山市乳东水产食品有限公司长达5年的试验,太平洋牡蛎筏式育肥养殖技术在乳山取得了成功。采取这种养殖模式,经过65天的育肥, 牡蛎肥满度达到1
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
早在 1981年张志公先生就指出 :现代化的教学方法要求“大面积 ,高速度”。这种方法能够在很大的范围内收到比较好的效果 ,这种方法的特点之一是快 ,能够在比较短的时间里完
物理学的研究方法与其它自然科学的研究方法一样,都不能脱离人类对客观世界的认识法则,即不能离开从生动的直观到抽象的思维,并从抽象的思维到实践的途径。具体地说,就是通
平方根和算术平方根是初中数学中的两个既重要又不易掌握的概念,必须认真学习好,怎样学习这两个概念呢?我们的体会是: 一、正误对比,从错悟理,正确理解概念例1 计算(9/49)~(
随着大弹涂鱼养殖规模的逐年扩大和养殖数量的逐年增加,福建省福鼎市大弹涂鱼养殖面积已达到15000多亩,为了解决苗种来源问题,我们于2004年4月~8月进行池塘半人工繁育大弹涂
近年中考题源于课本,挖掘课本力度加大,体现了中考命题指导思想,从而保证了这些考题背景的公正性,本文归纳:中考阅读理解型考题的取材途径,以引起广大教师的关注。 In rece
在物理教学中,我们常常遇到学生提出这样的问题,手电筒里的电池反装后一定可以防止耗电吗?对这个问题有的学生根据合上开关后,灯泡亮与不亮来判断是否耗电,这种判断是不正确
“秒”是现代科学计量的基本时间单位.随着历史的发展,科学的进步,秒的基准定义也经历了由粗略到精确的变化发展过程,它反映了我们对时间概念的真实理解.本文将对秒的演化作
学生作文存在着多种毛病 :作文中所写人物苍白 ,缺少真情实感 ;作文题材雷同 ,所写内容杜撰虚假 ;作文过于注重技巧 ,作文不是出于内容表达的需要 ,而是为技巧而技巧……分析