基于GSPN的锁步处理器系统可靠性建模与分析

• 作者: 李联 杨淏天
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 锁步系统 错误自检 故障定位 广义随机Petri网 可靠性
• 年，卷（期）: 2019,（7）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 296-302
• 页数: 7页
• 分类号: TP302.7
• 字数: 5189字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0051134

摘要

针对锁步自监控处理器系统的可靠性建模与分析问题,在双机同步系统的基础上,构建一种具有错误自检、故障定位和失效修复功能的锁步自监控处理器系统,并描述系统架构与工作原理.根据系统特征实例化库所集和变迁集,建立基于广义随机Petri网的系统可靠性模型.通过与单处理器系统可靠性模型进行分析与对比,证明了该模型可靠性高,并基于参数对比实验为后续锁步系统设计提供理论支撑和技术方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨淏天	西北工业大学计算机学院	1	0	0.0	0.0