Typical Resource Management Scenario Modeling and Analysis of Train Control System Based on Vehicle-Vehicle Communication

In the next generation train control system based on vehicle-vehicle communication, resource autonomous management pattern is proposed, replacing traditional ground interlocking system to manage ground line resources. Firstly, the composition, function and information interaction of the train control system and resource management modules are analyzed. Secondly, the traditional interlocking system and resource autonomous management pattern are compared and analyzed, and the resource using process is proposed. Then, the typical scenario of resource management is described by UML, and the key properties of the system, such as boundedness and reachability, are validated by modeling with colored Petri nets (CPN). In this paper, formal modeling and validation analysis of typical resource management scenarios in the system are carried out to ensure that the system meets the security, functionality and performance requirements, thereby reducing system design defects, which is of great significance for system design and system security.