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

来源：计算机工程杂志2019年第7期北京时间：

作者：李联, 杨淏天

单位：1. 西北工业大学 a. 软件与微电子学院;b. 计算机学院, 西安 710072;2. 西北工业大学 太仓长三角研究院, 江苏 太仓 215400

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

关键词：锁步系统,错误自检,故障定位,广义随机Petri网,可靠性

基金资助：国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”（MJ-2015-D-66）；陕西省重点研发计划重大重点项目“事件/时间混合触发的实时操作系统技术与应用研究”（2016MSZD-G-8-1）。