动态故障树分析方法在软、硬件容错计算机系统中的应用.pdfVIP

第 2 1 卷　第 1 期 航　空　学　报 V o l. 2 1N o. 1 2000 年　　 1 月　　　　　A CTA A ERON AU T ICA E T A STRON AU T ICA S IN ICA 　　　　　 J an. 2000 　　文章编号:(2000) 0 1003404 动态故障树分析方法在软、硬件容错 计算机系统中的应用 程明华, 姚一平 (北京航空航天大学 自动控制系, 北京　100083) A PPL ICA T IO N O F DY NAM IC FA UL T TREE A NALY SIS TO SO FTW A RE A ND - HA RDW A RE FA UL T TOL ERA NT CO NTROL COM PUTER SY STEM S , CH EN G M in g hu a YA O Y i p in g ( , . . . , 　100083, ) A u tom at ic Con t ro l D ep ar tm en t B eij ing U n iv o f A ero an d A st ro B eij ing Ch in a 摘　要: 结合几个动态逻辑门及其向M arkov 状态转移链的转化, 介绍了一种新的动态故障树建模分析方 法, 用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子, 应用这种方法对其 进行分析。分析结果表明, 软、硬件容错技术在计算机系统中的应用, 可以显著提高系统的可靠性。 关键词: 动态故障树分析法(D F TA ) ; 软、硬件容错计算机系统; M arkov 状态转移链; 可靠性; 逻辑门 中图分类号: V 247; T P 302. 8　　　文献标识码: A : ( ) , Abstract T h is p ap er in t rodu ce s a n ew D yn am ic F au lt T ree A n a ly sis D F TA m ode ling techn iqu e com b in ing ( ) , th e dyn am ic fau lt t ree con ta in ing dyn am ic log ic gate s w ith M arkov ch a in to so lve th e p rob lem th at th e dy . n am ic b eh av io r an d sequ en ce p roce ss are h ard to de scr ib e in ir rep arab le sy stem s A n exam p le is a lso g iven to dem on st rate th e m od