摘要
针对锁步自监控处理器系统的可靠性建模与分析问题,在双机同步系统的基础上,构建一种具有错误自检、故障定位和失效修复功能的锁步自监控处理器系统,并描述系统架构与工作原理。根据系统特征实例化库所集和变迁集,建立基于广义随机Petri网的系统可靠性模型。通过与单处理器系统可靠性模型进行分析与对比,证明了该模型可靠性高,并基于参数对比实验为后续锁步系统设计提供理论支撑和技术方法。
Aiming at the reliability modeling and analysis of lock-step self-monitoring processor system,based on the two-machine synchronous system,a lock-step self-monitoring processor system with error self-checking,fault location and failure repair function is constructed.This paper describes the architecture and working principle of the system,and establishes a system reliability model based on Generalized Stochastic Petri Nets(GSPN) according to the system feature instantiation library set and transition set.Through analysis and comparison with single processor system reliability model,the results show that the model is highly reliable,and provides theoretical support and technical methods for subsequent lock-step system design based on parameter comparison experiments.
作者
李联
杨淏天
LI Lian;YANG Haotian(School of Software and Microelectronics,Northwestern Polytechnical University,Xi’an 710072,China;School of Computer Science,Northwestern Polytechnical University,Xi’an 710072,China;Taicang Yangtze River Delta Research Institute,Northwestern Polytechnical University,Taicang,Jiangsu 215400,China)
出处
《计算机工程》
CAS
CSCD
北大核心
2019年第7期296-302,共7页
Computer Engineering
基金
国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”(MJ-2015-D-66)
陕西省重点研发计划重大重点项目“事件/时间混合触发的实时操作系统技术与应用研究”(2016MSZD-G-8-1)
关键词
锁步系统
错误自检
故障定位
广义随机PETRI网
可靠性
lock-step system
error self-checking
fault location
Generalized Stochastic Petri Nets(GSPN)
reliability
