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

摘要

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