| 基于可信度的关键实时集群系统设计 |
| |
| 引用本文： | 杜鸿,向建军,白欣.基于可信度的关键实时集群系统设计[J].计算机工程与应用,2004,40(34):45-46,63. |
| |
| 作者姓名： | 杜鸿 向建军 白欣 |
| |
| 作者单位： | 空军工程大学工程学院,西安,710038 |
| |
| 基金项目： | 国家科技部科技型中小企业技术创新基金项目(编号:01C26226111003) |
| |
| 摘 要： | 该文以一个指挥控制实时集群系统为例,介绍系统采取的以长期不间断运行为目标的可信度措施;建立定性的可信度PETRI-NET模型和可维护性树以说明系统在生命周期内的运行过程;最后评估系统不间断运行的可信度指标。
|
| 关 键 词： | 可信度 实时集群 Petri-net模型 可维护性 |
| 文章编号： | 1002-8331-(2004)34-0045-02 |
A Crisis Real-time Cluster System Design Based on Dependability |
| |
| Du Hong Xiang Jianjun Bai Xin.A Crisis Real-time Cluster System Design Based on Dependability[J].Computer Engineering and Applications,2004,40(34):45-46,63. |
| |
| Authors: | Du Hong Xiang Jianjun Bai Xin |
| |
| Abstract: | Taking a command-control real-time cluster as the case,this paper firstly approaches the factors of dependability holding the system uninterruptedly operating in a long term;then it builds the qualitative dependability model with petri-net as well as creates the maintainability tree to clarify the operating course of the system;finally,it evaluates the dependability index on uninterruptedly operating. |
| |
| Keywords: | dependability real-time cluster Petri-net model maintainability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
