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

Analysis and Discussion about Fire Alarm System Output Protocol

作　　者：李志刚 

机构地区：[1]公安部沈阳消防研究所,沈阳110034

出　　处：《计算机系统应用》2014年第11期218-223,共6页Computer Systems & Applications

基　　金：国家"十二五"科技支撑计划(2012BAK21B03)

摘　　要：火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性.本文结合协议的应用环境和功能需求,利用形式化分析方法对协议进行剖析,给出协议的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.

关 键 词：消防 火灾自动报警 通信协议 形式化分析 

分 类 号：TP277[自动化与计算机技术—检测技术与自动化装置]