基于可信度的关键实时集群系统设计  

A Crisis Real-time Cluster System Design Based on Dependability

作　　者：杜鸿[1] 向建军[1] 白欣[1] 

机构地区：[1]空军工程大学工程学院,西安710038

出　　处：《计算机工程与应用》2004年第34期45-46,63,共3页Computer Engineering and Applications

基　　金：国家科技部科技型中小企业技术创新基金项目(编号:01C26226111003)

摘　　要：该文以一个指挥控制实时集群系统为例,介绍系统采取的以长期不间断运行为目标的可信度措施;建立定性的可信度PETRI-NET模型和可维护性树以说明系统在生命周期内的运行过程;最后评估系统不间断运行的可信度指标。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.

关 键 词：可信度 实时集群 Petri—net模型 可维护性 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]