一种简单的主备切换协议的设计和验证

摘要：

软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行了形式化描述,用可达性分析对协议进行了验证。

关键词： 网络架构 主备切换 通信协议

作者: 陈乾 张杭

作者单位: 解放军理工大学通信工程学院研究生2队,江苏,南京,210007 解放军理工大学通信工程学院无线通信系,江苏,南京,210007

会议类型: 国内会议

会议名称: 江苏省通信学会学术年会

会议地点: 南京

会议语种:中文

页码: 298-302

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