A dynamic conformance checking method based on petri nets for satellite communication system network control protocol

For the existence of malice or abnormal nodes and the influence of unreliable satellite network environment, some violations may probably happen in network control protocol execution process, which lead to the inconformance between protocol specification and actual protocol execution states. It reflects the robustness problems in relevant protocol design issue. Meanwhile, it is difficult to assure that the interaction behaviors of protocol nodes conform to the expectation of protocol specification. To tackle the inconformance problem, this paper proposes a colored Petri nets based conformance checking method. A satellite network control protocol signaling dynamic conformance verification framework, which is used to capture runtime protocol signaling from protocol execution environment, is presented. Then, it puts forward a signaling dynamic conformance checking algorithm that centers on the protocol interaction behaviors. At last, performance and overhead evaluations are performed to demonstrate the usability and availability of this conformance checking method.