课题负责人：高文
起止时间：2001年9月—2002年9月

　　本项目在合理确定出故障覆盖率大小的基础上，建立基于节省资源约束的量度机群系统执行计算任务时持续好用的组合法、解析法和仿真法，定量揭示可靠性、维修性、可用性和人机界面好用性对机群运行可信度的影响程度，为结点选型提供依据；根据对机群系统连续运转时间和结点停机时间的计算结果，确定机群在不同计算任务历程中的故障特征，依据建立的机群运行可信度的自适应控制系统来进行结点的优化组合与动态配置。

　　我们全面的研究机群可信性分析和评价的理论和技术。在我们提出的系统中，我们使用了着色Petri网的理论，并在其基础上建构机群系统的模型。同时，我们也设计了一个高效的着色Petri网模拟器（NCPN），适用于高级建模和快速模拟。我们为实现刻画多种结构的机群系统，提供了一个子模型库，可以完成自动动态的根据用户定义建立相应的系统模型。另外，我们还研究机群系统中的故障注入方法和实验，其结果将有助于更准确的理解故障中的机群系统。