动态故障树分析方法在软,硬件容错计算机系统中的应用
外文标题 | APPLICATION OF DYNAMIC FAULT TREE ANALYSIS TO SOFTWARE AND HARDWARE FAULT-TOLERANT CONTROL COMPUTER SYSTEMS |
文献类型 | 期刊 |
作者 | 程明华[1];姚一平[2] |
机构 | [1]北京航空航天大学,自动控制系,北京,100083 [2]北京航空航天大学,自动控制系,北京,100083 ↓ |
来源信息 | 年:2000卷:21期:1页码范围:34-37 |
期刊信息 | 航空学报ISSN:1000-6893 |
关键词 | 动态故障树分析法(DFTA);软、硬件容错计算机系统;Markov状态转移;可靠性;逻辑门 |
摘要 | 结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题.并给出了一个具体的例子,应用这种方法对其进行分析.分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性. |
收录情况 | PKU |
所属部门 | 自动化科学与电气工程学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_hkxb200001007.aspx |
DOI | 10.3321/j.issn:1000-6893.2000.01.007 |
人气指数 | 1 |
浏览次数 | 1 |
基金 | 国防科技预研基金; 航空基金 |
全文
影响因子:
dc:title:动态故障树分析方法在软,硬件容错计算机系统中的应用
dc:creator:程明华;姚一平
dc:date: publishDate:1753-01-01
dc:type:期刊
dc:format: Media:航空学报
dc:identifier: LnterrelatedLiterature:航空学报.2000,21(1),34-37.
dc:identifier:DOI:10.3321/j.issn:1000-6893.2000.01.007
dc: identifier:ISBN:1000-6893