Skip to Main Content
Skip Nav Destination
ASME Press Select Proceedings
International Conference on Mechanical Engineering and Technology (ICMET-London 2011)Available to Purchase
Editor
Garry Lee
Garry Lee
Information Engineering Research Institute
Search for other works by this author on:
ISBN:
9780791859896
No. of Pages:
906
Publisher:
ASME Press
Publication date:
2011

Aiming at the questions of the standardized design of Movement Authority in high-speed train control system, this paper proposed a model of Movement Authority based on the generation of Movement Authority principle of RBC in the CTCS-3 Train Control System. We model the generation process of Movement Authority under the RBC handover mode, which can be achieved dynamic simulation by CPN tools. Finally we can verify the correctness of the principle Movement Authority generate and analyze its performance. This design for the Movement Authority Module provides a standardized method of software design and verification, and then can ensure the RBC control trains normally.

Abstract
Keywords
Introduction
1 Movement Authority Generation Principle
2 Formal Modeling Language-Colored Petri Net
3 Based on Petri Nets of Formal Modeling
4 Summaries
References
This content is only available via PDF.
You do not currently have access to this chapter.

or Create an Account

Close Modal
Close Modal