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

Design and Validation of Simple Primary-Spare Switch Procotol

作　　者：陈乾[1] 张杭[2] 刘宁松 

机构地区：[1]解放军理工大学通信工程学院研究生2队 [2]解放军理工大学通信工程学院无线通信系 [3]解放军理工大学通信工程学院政治部

出　　处：《军事通信技术》2005年第S1期41-43,62,共4页Journal of Military Communications Technology

摘　　要：软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行形式化描述,最后用可达性分析对协议进行验证。Primary-Spare Switch of the software system is widely used in many fields. In this paper, the design of a simple Primary-Spare Switch Procotol, the formal description of the procotol with FSM,and the verification of the procotol with reachability analysis were researched.

关 键 词：主备切换协议 有限状态机 可达性分析 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]