采用NOP协议实现三模冗余系统的形式化验证 | |
李婵娟; 周庆国; 崔向丽 | |
刊名 | 计算机工程与应用
![]() |
2011-07-29 | |
期号 | 27页码:98-101+106 |
关键词 | 节点顺序协议 容错 三模冗余 模型检测 |
中文摘要 | 对于安全关键系统容错是其实现安全性的重要手段,为最小化冗余单元之间的关联性,通常采用分布式冗余系统,典型的是三模冗余系统。为了在分布式环境下,实现基于三模冗余机制的容错系统,提出了一种可靠的广播协议-NOP(Node Order Proto-col),它采用预定义的节点顺序解决共享介质冲突,并且在单一故障模式假设下,实现了有序的、可靠的消息传输服务,并采用基于模型检测的形式化方法进行了容错系统安全性的验证。验证结果显示基于NOP协议构建的三模冗余系统,在单一任意故障模式下,能够正确地进行故障的检测和诊断,并保证所有正常节点保持一致状态,从而保证单一故障节点被掩蔽,实现单一故障的容错能力。 |
语种 | 中文 |
内容类型 | 期刊论文 |
源URL | [http://ir.lzu.edu.cn/handle/262010/145651] ![]() |
专题 | 数学与统计学院_期刊论文 |
推荐引用方式 GB/T 7714 | 李婵娟,周庆国,崔向丽. 采用NOP协议实现三模冗余系统的形式化验证[J]. 计算机工程与应用,2011(27):98-101+106. |
APA | 李婵娟,周庆国,&崔向丽.(2011).采用NOP协议实现三模冗余系统的形式化验证.计算机工程与应用(27),98-101+106. |
MLA | 李婵娟,et al."采用NOP协议实现三模冗余系统的形式化验证".计算机工程与应用 .27(2011):98-101+106. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论