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

doi:10.19678/j.issn.1000-3428.0051134

计算机工程 ›› 2019, Vol. 45 ›› Issue (7): 296-302. doi: 10.19678/j.issn.1000-3428.0051134

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

李联^1a,2, 杨淏天^1b

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

收稿日期:2018-04-09 修回日期:2018-05-31 出版日期:2019-07-15 发布日期:2019-07-23
作者简介:李联(1967-),女,助理研究员,主研方向为嵌入式系统;杨淏天,硕士研究生。
基金资助:
国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”（MJ-2015-D-66）；陕西省重点研发计划重大重点项目“事件/时间混合触发的实时操作系统技术与应用研究”（2016MSZD-G-8-1）。

GSPN-based Reliability Modeling and Analysis for Lock-step Processor System

LI Lian^1a,2, YANG Haotian^1b

1a. School of Software and Microelectronics;1b. School of Computer Science, Northwestern Polytechnical University, Xi'an 710072, China;
2. Taicang Yangtze River Delta Research Institute, Northwestern Polytechnical University, Taicang, Jiangsu 215400, China

Received:2018-04-09 Revised:2018-05-31 Online:2019-07-15 Published:2019-07-23

摘要/Abstract

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

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

Abstract: 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.

Key words: lock-step system, error self-checking, fault location, Generalized Stochastic Petri Nets(GSPN), reliability

中图分类号:

TP302.7

李联, 杨淏天. 基于GSPN的锁步处理器系统可靠性建模与分析[J]. 计算机工程, 2019, 45(7): 296-302.

LI Lian, YANG Haotian. GSPN-based Reliability Modeling and Analysis for Lock-step Processor System[J]. Computer Engineering, 2019, 45(7): 296-302.

http://www.ecice06.com/CN/Y2019/V45/I7/296

参考文献

[1] 付爱英,周晶晶.基于Lockstep的容错技术的研究[J].科技广场,2012(7):70-73.
[2] YEH Y C B.Triple-triple redundant 777 primary flight computer[C]//Proccedings of Aerospace Applications Conference.Washington D.C.,USA:IEEE Press,1996:293-307.
[3] FIORENTINI L,SERRANI A,BOLENDER M A,et al.Nonlinear robust adaptive control of flexible air-breathing hypersonic vehicles[J].Journal of Guidance Control and Dynamics,2009,32(2):401-416.
[4] DE OLIVEIRA A B,TAMBARA L A,KASTENSMIDT F L.Applying lockstep in dual-core ARM cortex-a9 to mitigate radiation-induced soft errors[C]//Proceedings of the 8th Latin American Symposium on Circuits and Systems.Washington D.C.,USA:IEEE Press,2017:1-4.
[5] REORDA M S,VIOLANTE M,MEINHARDT C,et al.A low-cost SEE mitigation solution for soft-processors embedded in systems on pogrammable chips[C]//Proceedings of Conference on Design,Automation and Test in Europe.New York,USA:ACM Press,2009:352-357.
[6] HERNANDEZ C,ABELLA J.Timely error detection for effective recovery in light-lockstep automotive systems[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2015,34(11):1718-1729.
[7] 郭鹏.基于Petri网的飞机复杂系统可靠性分析方法研究[J].航空工程进展,2016,7(2):174-180.
[8] DEVILLERS R,VALMARI A.Application and theory of petri nets and concurrency[C]//Proceedings of International Conference on Applications and Theory of Petri Nets and Concurrency.Berlin,Germany:Springer,2016:79-85.
[9] SONDON S,MANDOLESI P,MASSON F,et al.A dual core low power microcontroller with open MSP430 architecture for high reliability lockstep applications using a 180 nm high voltage technology node[C]//Proceedings of the 4th Latin American Symposium on Circuits and Systems.Washington D.C.,USA:IEEE Press,2013:1-4.
[10] ABATE F,STERPONE L,LISBOA C A,et al.New techniques for improving the performance of the lockstep architecture for SEEs mitigation in FPGA embedded processors[J].IEEE Transactions on Nuclear Science,2009,56(4):1992-2000.
[11] 陈克伟,董利霞,李丹.基于GSPN的网络系统动态可靠性建模方法[J].计算机测量与控制,2012,20(4):239-242.
[12] SHIN K G,HAGBAE K.A time redundancy approach to TMR failures using fault-state likelihoods[J].IEEE Transactions on Computer,1994,43(10):1151-1162.
[13] KRISHNAN R,SOMASUNDARAM S.Reliability analysis of repairable consecutive-k-out-of-n:G systems with sensor and repairmen[J].International Journal of Quality and Reliability Management,2013,28(8):894-908.
[14] MILLER F P,VANDOME A F,MCBREWSTER J,et al.Boeing 777[J].Flying,2010,345(2):414-418.
[15] TRIVEDI K S,CIARDO I G.SPNP:stochastic petri net package-version 5.0[C]//Proceedings of the 3rd International Workshop on Petri Nets and Performance Models.Washington D.C.,USA:IEEE Press,2007:142-151.

选择文件类型/文献管理软件名称

选择包含的内容

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

GSPN-based Reliability Modeling and Analysis for Lock-step Processor System

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

[1]	金海波, 赵欣越. 共形预测框架下的高可靠入侵检测算法[J]. 计算机工程, 2022, 48(7): 130-140.
[2]	施小东, 勉治宝, 高亚晴. 基于AADL的IoP系统可靠性评估方法[J]. 计算机工程, 2022, 48(1): 204-213.
[3]	占德志, 张国富, 苏兆品, 岳峰. 动态可靠性约束的多阶段测试资源分配研究[J]. 计算机工程, 2021, 47(2): 246-253,260.
[4]	虎丽丽, 徐岩, 陶慧青. 基于动态故障树的LTE-R通信系统可靠性分析[J]. 计算机工程, 2020, 46(9): 205-212.
[5]	王一彻, 高建华. 基于运行剖面的测试用例分配与选择方法[J]. 计算机工程, 2020, 46(6): 216-220.
[6]	高航航, 王翔, 赵尚弘, 彭聪. 面向航空信息网络的控制器可靠性部署方法[J]. 计算机工程, 2020, 46(6): 221-229.
[7]	赵季红, 孙天骜, 曲桦, 张茵, 翟凡妮. 一种改进社区检测算法的SDN控制器部署策略[J]. 计算机工程, 2020, 46(11): 207-213.
[8]	楼俐,范建华,胡永扬,李冉. 军用Ad Hoc网络分层体系架构及安全协议[J]. 计算机工程, 2019, 45(6): 188-192，198.
[9]	彭晓燕,张彬,贾明菲,温开虎. FlexRay总线静态段消息重传调度策略[J]. 计算机工程, 2019, 45(5): 99-104.
[10]	邱航,游伟,汤红波,王琛,牛犇. 基于多路径的可靠性服务功能链部署方案[J]. 计算机工程, 2019, 45(3): 101-106,112.
[11]	陈鑫,王磊,孙中伟. 基于网络编码的车联网D2D视频分发技术研究[J]. 计算机工程, 2019, 45(2): 58-63.
[12]	苑乐天,李国峰. 基于业务优先级划分的虚拟网可靠性映射算法[J]. 计算机工程, 2019, 45(2): 76-81.
[13]	张懿,禹忠,王军选. 基于OpenFlow的控制器部署可靠性方案设计[J]. 计算机工程, 2018, 44(8): 74-78.
[14]	陆杰,张震,胡涛. 基于可靠性与负载优化的多控制器弹性部署算法[J]. 计算机工程, 2018, 44(8): 135-141.
[15]	崔红军,封亮,王勇. 基于影响因素与灰聚类的软件可靠性评价方法[J]. 计算机工程, 2018, 44(7): 47-53.

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

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

GSPN-based Reliability Modeling and Analysis for Lock-step Processor System

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价