%0 Journal Article %A 李联 %A 杨淏天 %T 基于GSPN的锁步处理器系统可靠性建模与分析 %D 2019 %R 10.19678/j.issn.1000-3428.0051134 %J 计算机工程 %P 296-302 %V 45 %N 7 %X 针对锁步自监控处理器系统的可靠性建模与分析问题,在双机同步系统的基础上,构建一种具有错误自检、故障定位和失效修复功能的锁步自监控处理器系统,并描述系统架构与工作原理。根据系统特征实例化库所集和变迁集,建立基于广义随机Petri网的系统可靠性模型。通过与单处理器系统可靠性模型进行分析与对比,证明了该模型可靠性高,并基于参数对比实验为后续锁步系统设计提供理论支撑和技术方法。 %U http://www.ecice06.com/CN/10.19678/j.issn.1000-3428.0051134