Standardized development method and system for communication protocol of train control system
A technology of train control system and communication protocol, which is applied in the field of standardized development of communication protocol of train control system, can solve the problems such as failure to find design errors, failure to check the correctness of high demands, and failure to check whether the requirements and design are completely consistent at an early stage, etc. Avoid ambiguous effects
Inactive Publication Date: 2013-01-23
BEIJING JIAOTONG UNIV
View PDF0 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
This development process has ambiguity in the description of the train control system protocol. At the same time, it cannot detect design errors in the early stage, and cannot check whether the requirements are completely consistent with the design in the early stage.
In addition, for the safety protocol design in the train control system, it is impossible to check the correctness and high demandingness of the design
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0030] The specific implementation manners of the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments. The following examples are used to illustrate the present invention, but are not intended to limit the scope of the present invention.
[0031] like figure 1 As shown, it is a flow chart of a method for standardized design of a train control system communication protocol in an embodiment of the present invention, including:
[0032] Step S101, according to the protocol requirements of the train control system, formulate a case set of the train control system protocol. In the requirements analysis, the elements of UML applicable to the train control communication protocol system are selected to form the basic design configuration elements. The selected elements in UML are: use case diagram elements, class diagram elements, component elements and state diagram elements. These elements are used to analyze th...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention discloses a standardized design method for a communication protocol of a train control system. The method comprises the following steps of: setting a case set of a train control system protocol according to the protocol demand of the train control system; drawing the sequence map of each case in the case set; establishing a formalized protocol model; performing semantics and grammarverification, emulation and formalized verification on the established protocol models in turn and returning to a protocol model establishing step for reestablishing or modifying if any problem is found at a verification or emulation stage; and forming a model library and generating a protocol model analysis report. The invention also discloses a standardized design system for the communication protocol of the train control system. The system protocol is modeled according to the protocol demand of the train control system and the model is verified, so that ambiguity in a protocol design process is avoided and a fault in the protocol is found as soon as possible.
Description
technical field [0001] The invention relates to the technical field of train control system communication protocol design, in particular to a method and system for standardized development of train control system communication protocols. Background technique [0002] At present, with the rapid development of my country's rail transit, the high-speed train operation control system has also entered the CTCS-3 era. The CTCS-3 train operation control system relies on high-capacity transmission systems for data transmission, and has completed high-efficiency, high-reliability running quality. Urban rail transit is also entering the era of communication-based mobile blockage, and the data transmission of its train operation control system also relies on a two-way high-capacity transmission system. Obviously, the communication protocol in the communication-based train operation control system should have guaranteed The normal, effective, or safe transmission of data plays an import...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F17/50
Inventor 赵波波唐涛郜春海
Owner BEIJING JIAOTONG UNIV