交互控制协议的扩充设计及Petri网验证

Expansion Design and Petri Net Validation of Interactive Control Protocol

远程控制是远程数字视频监控系统的核心,目前很少使用自定义的协议来实现远程控制功能,已有的交互控制协议功能还存在一些不足,尤其是多用户、多摄像机情况下涉及的用户权限问题没有得到解决。针对此问题对交互控制协议进行扩充设计,包括请求方法和标头的设计,使得交互控制协议功能更加完善。为保障协议设计的完整性,结合协议工作原理,并考虑报文在信道传输中丢失的情况对交互控制协议建立Petri网模型,最后通过可达树对协议进行完整性验证。

Remote control is a core function of the remote digital video monitoring system. At present, remote control is seldom implemented by self-defined protocol. The function of existing interactive control protocol has some deficiencies. In particular, the problem of user limits of authority involved in the situation of multi- user and multi- camera is not solved. Aiming at the problem, interactive control protocol was extended, including the design of request methods and message headers, making the function of interactive control protocol more perfect. In order to ensure the integrality of the protocol, based on the protocol principle of operation and considering the situation of data gram loss in channel transmission, a Petri net model for interactive control protocol was established. Finally, the integrality validation of the protocol was implemented through a reachable tree.