动态故障树分析方法在软、硬件容错计算机系统中的应用
| 文献类型 | 期刊 |
| 作者 | 程明华[1];姚一平[2] |
| 机构 | [1]北京航空航天大学自动控制系!北京100083,北京航空航天大学自动控制系!北京100083 [2]北京航空航天大学自动控制系!北京100083,北京航空航天大学自动控制系!北京100083 ↓ |
| 来源信息 | 年:2000期:01页码范围:35-38 |
| 期刊信息 | 航空学报ISSN:11-3363/V |
| 关键词 | 动态故障树分析法(DFTA);软、硬件容错计算机系统;Markov状态转移链;可靠性;逻辑门 |
| 摘要 | 结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。 |
| 收录情况 | PKU |
| 所属部门 | 自动化科学与电气工程学院 |
| 人气指数 | 1 |
| 浏览次数 | 1 |
影响因子：
dc:title:动态故障树分析方法在软、硬件容错计算机系统中的应用
dc:creator:程明华;姚一平
dc:date: publishDate:2000-01-25
dc:type:期刊
dc:format: Media：航空学报
dc:identifier: LnterrelatedLiterature：航空学报.2000,35-38.
dc:identifier:DOI：
dc: identifier:ISBN:11-3363/V
