火灾报警系统数据输出协议的形式化分析-计算机系统应用.PDFVIP

计 算 机 系 统 应 用 2014 年 第 23 卷 第 11 期 火灾报警系统数据输出协议的形式化分析① 李志刚 (公安部 沈阳消防研究所, 沈阳 110034) 摘 要: 火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性. 本文结合协议的应 用环境和功能需求, 利用形式化分析方法对协议进行剖析, 给出协议的 Petri 网模型, 将标准中隐含的、影响兼容 性的要求明确化, 探讨该协议的网络化应用应该注意的问题. 关键词: 消防; 火灾自动报警; 通信协议; 形式化分析 Analysis and Discussion about Fire Alarm System Output Protocol LI Zhi-Gang (Shenyang Fire Research Institute of MPS, Shenyang 110034, China) Abstract: Understanding and implementation of automatic-fire-alarm-system’s output communication protocol ca