论文部分内容阅读
在分析了自动化立体仓库网络控制系统的基础上，设计了结合分布式特征与现场总线技术优点的堆垛机网络架构。首先，从网络通信协议人手，建立了通信协议分层结构模型，依据形式化设计流程实现了物流设备控制系统通信协议的非形式化规格。然后，通过建立物流设备控制系统通信协议的有限状态机（FSM）模型对该非形式化规格进行转换，得出通信协议的FSM模型的状态转移函数所表示的输入事件与状态转移之间的关系，并采用协议形式化验证中的不变性分析技术对通信协议的FSM进行了验证说明。最后，基于西门子公司SCALANCEW的无线通信方案设