Abstract
The Communications-based train control(CBTC) system has gradually become the first choice for signal systems of urban mass transit. However, how to guarantee its safety has become a research hotspot in safety fields. The generic test system with high efficiency has become the main means to verify the function and performance of CBTC system. This paper discusses a composable modeling method for the generic test platform for CBTC system based on the port object. This method defines the port object(PO) model as the basic component for composable modeling, verifies its port behavior and generates its compositional properties. Based on the port description and the test environment description, it builds port sets and environment port cluster, respectively. Then it analyzes and extracts possible crosscutting concerns, and finally generates a variable PO component library. It takes the modeling of block port objects in line simulation of generic test platform for CBTC systems as an example to verify the feasibility of the method.
Highlights
By allowing trains to operate safely at closer headways, CBTC system can permit more effective utilization of rail transit infrastructure
Definition 3.1 (Port Object) is an eight-tuple: P =< S, S0, IP, OP, IE, OE,τ, R >, where S is a set of states; S0 is an initial state and contains at most one state; IP is a set of inputs from other PO; OP is a set of outputs to other PO; IE is the input event from external environment, which can be null, namely IE = ∅ ; OE is the output event to external environment, which can be null, namely OE =φ ; τ ⊆ S × IP × OP × IE × OE is the transaction relationship; R
While building the generic test platform for CBTC system is the prerequisite for test and verification
Summary
A perfect test platform for CBTC system is the combination of simulation technology and testing technology. The simulation activity builds up the desired external scenario and simulates the external environment for SUT. The key to the following testing process is whether the design of a simulation environment is successful or not. The testing process is a continuation of the simulation activity and its sequential execution[5,6].
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Advanced Computer Science and Applications
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
