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

• 作者: 李志刚
• 来源期刊: 计算机系统应用
• 关键词: 消防 火灾自动报警 通信协议 形式化分析
• 年，卷（期）: 2014,（11）
• 所属期刊栏目: 研究开发
• 页码范围: 218-223
• 页数: 6页
• 字数: 5311字
• 语种: 中文

摘要

火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性。本文结合协议的应用环境和功能需求，利用形式化分析方法对协议进行剖析，给出协议的Petri网模型，将标准中隐含的、影响兼容性的要求明确化，探讨该协议的网络化应用应该注意的问题。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志刚		8	50	4.0	7.0