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

摘要：

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

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

所属期刊栏目：45

分类号：TP302.7(计算技术、计算机技术)

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

在线出版日期：2019-08-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：296-302