本文已被：浏览 1709次 下载 4065次
Received:March 11, 2014 Revised:April 10, 2014
Received:March 11, 2014 Revised:April 10, 2014
中文摘要: 火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性. 本文结合协议的应用环境和功能需求, 利用形式化分析方法对协议进行剖析, 给出协议的Petri网模型, 将标准中隐含的、影响兼容性的要求明确化, 探讨该协议的网络化应用应该注意的问题.
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.
文章编号： 中图分类号： 文献标志码：
基金项目:国家"十二五"科技支撑计划(2012BAK21B03)
| Author Name | Affiliation |
| LI Zhi-Gang | Shenyang Fire Research Institute of MPS, Shenyang 110034, China |
| Author Name | Affiliation |
| LI Zhi-Gang | Shenyang Fire Research Institute of MPS, Shenyang 110034, China |
引用文本：
李志刚.火灾报警系统数据输出协议的形式化分析.计算机系统应用,2014,23(11):218-223
LI Zhi-Gang.Analysis and Discussion about Fire Alarm System Output Protocol.COMPUTER SYSTEMS APPLICATIONS,2014,23(11):218-223
李志刚.火灾报警系统数据输出协议的形式化分析.计算机系统应用,2014,23(11):218-223
LI Zhi-Gang.Analysis and Discussion about Fire Alarm System Output Protocol.COMPUTER SYSTEMS APPLICATIONS,2014,23(11):218-223
