计算机工程2019，Vol.45Issue(7)：296-302,7.DOI:10.19678/j.issn.1000-3428.0051134
基于GSPN的锁步处理器系统可靠性建模与分析
GSPN-based Reliability Modeling and Analysis for Lock-step Processor System
摘要
关键词
锁步系统/错误自检/故障定位/广义随机Petri网/可靠性分类
信息技术与安全科学引用本文复制引用
李联,杨淏天..基于GSPN的锁步处理器系统可靠性建模与分析[J].计算机工程,2019,45(7):296-302,7.基金项目
国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”(MJ-2015-D-66) （MJ-2015-D-66）
陕西省重点研发计划重大重点项目“事件/时间混合触发的实时操作系统技术与应用研究”(2016MSZD-G-8-1). （2016MSZD-G-8-1）
