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

计 算 机 系 统 应 用 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 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. Key words: fire safe; fire auto alarm; communication protocol; formal analysis 《火灾自动报警系统数据输出通信协议》(后文简 动执行器等各类消防设施的运行状态信息, 当消防设 称 FASP, Fire Alarm System Protocol)主要解决火灾自动 备的工作状态发生变化时(如火警、鼓掌、联动设备起 [1] 报警系统与其他信息系统之间的信息共享问题 , 目前 动), 通过数字通讯接口输出这些状态变化信息. 该协议正在报批国家标准. 标准文稿在描述通讯协议 时, 以文字语言描述为主, 容易出现理解上的歧义, 而 形式化分析方法在指导协议实现方面具有消除歧义的 [2] 作用 . 本文用形式化分析的方法, 对该协议进行剖析, 以便在协议实现过程中避免容易出现的问题. 1 协议环境分析 结合现阶段的消防电子产品现状[3-5] 以及物联网 发展趋势, FASP 可能会被用于多种设备, 其应用环境 如图 1 所示. 图 1 FASP 的应用环境 火灾自动报警系统控制器, 泛指火灾自动报警系 统内火灾报警控制器、消防联动控制器、可燃气体报 用户信