火灾报警系统数据输出协议的形式化分析

摘要

火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性。本文结合协议的应用环境和功能需求，利用形式化分析方法对协议进行剖析，给出协议的Petri网模型，将标准中隐含的、影响兼容性的要求明确化，探讨该协议的网络化应用应该注意的问题。%Understanding and implementation of automatic-fire-alarm-system’s output communication protocol can impact on two sides’ communication compatibility. This paper introduces the protocol’s environment and functional requirements, analyzes it using formal analysis method, gives its Petri net model, states the requirements implied in the protocol and affecting compatibility. It makes some suggestions on using the protocol for networked applications.