计算机科学 ›› 2016, Vol. 43 ›› Issue (10): 70-73.doi: 10.11896/j.issn.1002-137X.2016.10.013
• 2015 第五届全国可信计算学术会议 • 上一篇 下一篇
王斌,吴丹丹,莫毓昌,陈中育
WANG Bin, WU Dan-dan, MO Yu-chang and CHEN Zhong-yu
摘要: 针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术。为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问题仍然很突出。因此介绍了一种基于多值决策图(Multiple-valued Decision Diagrams,MDD)来分析动态故障树的方法,通过多值变量编码动态门,利用单一系统MDD模型刻画各种动态和静态可靠性行为,有效地缓解了状态爆炸问题。通过一个具体的实例说明了多值决策图方法的应用和优势。
[1] Vemuri K K,et al.Automatic synthesis of fault trees for computer-based systems[J].IEEE Trans.Rel.,1999,48(4):394-402 [2] Sullivan J K,et al.The Galileo fault tree analysis tool[C]∥Proc 29th Annu.Int.Symp.Fault-Tolerant Comput.,Madison,WI,USA,1999:232-237 [3] Meshkat L,et al.Dependability analysis of systems with on-demand and active failure modes,using dynamic fault trees[J].IEEE Trans.Rel.,2002,51(2):240-251 [4] Huang C Y,Chang Y R,An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees[J].Rel.Eng.Syst.Safety,2007,92(10):1403-1412 [5] Amari S,et al.A new approach to solve dynamic fault trees[C]∥Proc.IEEE Annu.Rel.Maintainability Symp..Tampa,FL,USA,2003:374-379 [6] Dugan J B,et al.Developing a low-cost high quality softwaretool for dynamic fault tree analysis[J].IEEE Trans.Rel.,2000,49(1):49-59 [7] Miller D M.Multiple-valued logic design tools[C]∥Proc.23rd Multiple-Valued Logic (ISMVL).1993:2-11 [8] Xing L,Dugan J B.Dependability analysis using multiple- valued decision diagrams[C]∥Proc.6th Probabilistic Safety Assessment Manag.,2002 [9] Xing L,Dai Y,A new decision diagram based method for efficient analysis onmulti-state systems[J].IEEE Trans.Dependable Secure Comput.,2009,6(3):161-174 [10] Ou Y,Dugan J B.Sensitivity analysis of modular dynamic fault trees[C]∥Proc.Compute.Perform.Dependability Symp..2000:35-43 [11] Tarjan R.Depth first search and linear graph algorithms[J].Sensors,2006,4(4):114-121 [12] Gao Shun-chuan.Methods and Implementation of Dynamic Fault Tree Analysis[D].Changsha:National University of Defense Technology,2005(in Chinese) 高顺川.动态故障树分析方法及其实现[D].长沙:国防科技大学,2005 [13] Gu Ying-kui,Li Jing.Importance Analysis of Multi-state System Based on Multipe-valued Decision Diagram[J].China Safety Scien-ce Journal,2014,4(6):44-50(in Chinese) 古莹奎,李晶,基于多值决策图的多状态系统重要度分析[J].中国安全科学学报,2014,4(6):44-50 [14] Zhang Hong-lin,Zhang Chun-yuan,Liu Dong.An Identification Method of Independent Module Applying to Dynamic Fault Tree with Interdependent Basic Events and Repeated Events[J].Cinese Journal of Computers,2012,5(2):229-243(in Chinese) 张红林,张春元,刘东.一种适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别方法[J].计算机学报,2012,5(2):229-243 [15] Cheng Ming-hua,Yao Yi-ping.Application of Dynamic FaultTree Analysis to Software and Hardware Fault-tolerant Control Computer Systems[J].Acta Aeronautica et Astronsutica Sinica,2000,21(1):34-37(in Chinese) 程明华,姚一平.动态故障树分析方法在软、硬件容错计算机系统中的应用[J].航空学报,2000,21(1):34-37 |
No related articles found! |
|