基于Petri网的故障检测模型的设计与分析

摘要：

主要针对三模冗余容错系统中的故障检测技术进行研究，采用Petri网来描述三模冗余容错系统的故障检测模型，并利用可达图来进行分析．分析表明：用Petri网描述三模冗余容错系统的故障检测模型其优点是：直现、故障检测实现机制易于理解．

关键词： Petri网 容错系统 故障检测 可达图

作者: 周双娥 熊国平

作者单位: 湖北大学数学与计算机科学学院,湖北武汉 430062

会议类型: 国内会议

会议名称: 第六届中国测试学术会议

会议地点: 合肥

会议语种:中文

页码: 216-219

在线出版日期: 2010-07-24（万方平台首次上网日期，不代表论文的发表时间）