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

摘要：

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

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

所属期刊栏目：40

分类号：TP302.8(计算技术、计算机技术)

资助基金：科技部科技型中小企业技术创新项目01C26226111003

在线出版日期：2005-01-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：45-46,63