Efficient Fault Tree Analysis of Complex Fault Tolerant Multiple-Phased Systems

来源 :Tsinghua Science and Technology | 被引量 : 0次 | 上传用户:Huigle
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Fault tolerant multiple phased systems (FTMPS), i.e., systems whose critical components are independently replicated and whose operational life can be partitioned in a set of disjoint periods, are called “phases”. Because of their deployment in critical applications, their reliability analysis is a task of primary relevance to validate the designs. Fault tree analysis based on binary decision diagram (BDD) is one of the most commonly used techniques for FTMPS reliability analysis. To utilize the technique the fault tree structure of FTMPS needs to be converted into the corresponding BDD format. Our research work shows that the system BDD generation algorithms presented in the literature are too inefficient to be used for industrial complex FTPMS because of the problems, such as variable ordering and combination of large BDDs. This paper presents a more efficient approach consisting of a flatting pre-processing technique, a proved efficient ordering heuristic and a bottom-up generation algorithm. The approach tries to combine share-variable BDDs by complex combination operation firstly and then combine no-share-variable BDDs using simple combination operation, thus to alvoid the intensive computations caused by large BDD combination operations. An example FTMPS is analyzed to illustrate the advantages of our approach. Fault tolerant multiple phased systems (FTMPS), ie, systems whose critical components are independently replicated and whose operational life can be partitioned in a set of disjoint periods, are called “phases ”. Because of their deployment in critical applications, their reliability analysis is a task of primary relevance to validate the designs. Fault tree analysis based on binary decision diagram (BDD) is one of the most commonly used techniques for FTMPS reliability analysis. To utilize the technique the fault tree structure of FTMPS needs to be converted Our research work shows that the system BDD generation algorithms presented in the literature are too inefficient to be used for industrial complex FTPMS because of the problems, such as variable ordering and combination of large BDDs. This paper presents a more efficient approach consisting of a flatting pre-processing technique, a proven efficient ordering heuristic and a bottom-up generatio n algorithm. The approach tries to combine share-variable BDDs by complex combination operation first and then combine no-share-variable BDDs using simple combination operation, thus to alvoid the intensive computations caused by large BDD combination operations. An example FTMPS is analyzed to illustrate the advantages of our approach.
其他文献
航空公司拥有庞大的旅客数据资源。通过对旅客数据进行深入挖掘,可以在提升客户忠诚度的同时增加航空公司收入,而航空公司面临的挑战在于如何有效地使用这些数据。对于最具价
按照铁路建设规划和目前的建设进度,到2012年,我国铁路营业里程将由目前的8万公里达到11万公里以上,电气化率、复线率均达到50%以上,铁路主要通道实现客货分线运输,发达完善
在现代商用飞机的研制过程中对发动机供应商单选多选问题进行科学的、定量化的评价决策对于新机型的研制与其市场竞争力具有重要的影响。在主制造商-供应商模式下,对于飞机的
本文对电推进航天器加注后氙气泄漏技术进行研究,给出基于气相色谱法泄漏检测技术方案。搭建实验平台,通过试验验证了气相色谱法检测电推进航天器泄漏的可行性。 In this pa
11月30日,晚21时,雾气越来越大,RVR(跑道视程)三段迅速减为400米左右。22时,据气象部门报告,天气趋势转差,RVR减为200米,已经不符合本场起降标准,杭州萧山机场正式停止起降。
为了解决燃气发生器喉部时变性和自由容积时变性使得控制系统对燃气发生器压力控制较为困难的问题,采用钨渗铜制成锥阀进行了点火实验,对燃气发生器工作过程中喉部时变性进行
阵风引起的额外载荷会引起飞机结构疲劳,降低结构使用寿命。采用非定常气动力有理函数拟合方法建立时域状态空间下的动力学系统,设计了阵风载荷减缓系统。研究了阵风载荷减缓
为了研究吸气式飞行器加速过程的最优轨迹,针对一个以冲压发动机为动力的超声速飞行器,由起始状态19km(约2.7马赫)至终点状态25km(约6.0马赫)的加速爬升过程,提出了一种考虑
针对超低空空投过程中侧风干扰与装备投放过程相耦合,影响载机飞行安全和空投任务的完成等问题,提出了基于L_1自适应的控制律设计方法。利用最优控制对系统线性部分做状态反
2010年,世界经济整体复苏势头较为强劲。作为经济运行“晴雨表”的港口业外贸运输量恢复性增长,部分港口甚至超过了危机前的最好水平,但是在港口行业整体发展向好的同时,其增