论文部分内容阅读
软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行形式化描述,最后用可达性分析对协议进行验证。
The software system’s active / standby switchover function is applied in many places. In this paper, a simple active / standby switchover protocol is designed for this function. The protocol is formally described by FSM. Finally, the reachability analysis is applied to the protocol verification.