文献类型：期刊文章

作　　者：李宁宁[1] 梁敏[1] 陆迁[1] 莫毓昌[1] 李云生[1]

LI Ning-ning;LIANG Min;LU Qian;MO Yu-chang;LI Yun-sheng(Fujian Province University Key Laboratory of Computational Science,School of Mathematical Sciences,Huaqiao University,Quanzhou 362021,China)

机构地区：[1]华侨大学数学科学学院计算科学福建省高校重点实验室

出　　处：《测控技术》

基　　金：国家自然科学基金项目(61572442);泉州市高层次人才团队项目(2017ZT012)

年　　份：2020

卷　　号：39

期　　号：1

起止页码：36-41

语　　种：中文

收录情况：JST、ZGKJHX、普通刊

摘　　要：针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题,提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述,通过构造多值决策图(Multi-value Decision Diagram,MDD)模型对系统进行容错性能建模,并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率,减少了计算的冗余性。实验结果表明,该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义,使其确保系统适合预期应用。

关 键 词：多状态计算系统  性能分析 性能规范  多值决策图(MDD)  

分 类 号：TP302.8]