The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The CTCS-3 (Chinese Train Control System Level 3) technical standards system has been adopted for the train control system of railway lines with speed of 350km/h and above in China. In this paper, the requirements of the interoperability of CTCS-3 on-board equipment was firstly analyzed in depth, to definite the features of the interoperability test, secondly the testing methodology of the interoperability...
This paper illustrates a novel formal method of component integrating for component-based development in safety critical area. Formal definitions of COTS component and safety verification method are presented, as well as a development framework is shown. Furthermore, we demonstrate a case study of zone controller (ZC) from railway communications-based train control system, with the help of tool set...
This In this paper a stochastic automation networks (SANs) model for the computing the availability of communication based train control (CBTC) system is developed, which captures the lossy radio communication link and the transmission procedures based on 802.11 protocols. A scaled generalized minimum residual (SGMRES) iterative method is provided to reduce the ill-condition of steady-state equation...
We formally verify hybrid safety properties of automatic collision avoidance system (ACAS) in the European train control system (ETCS). We present a formal requirements, design decision, discrete design and the real-time program for ACAS and verify correctness using compositional verification rules based Weakly monotonic time extension of DC* (WDC*). The advantage of compositional proof rule is that...
In CTCS (China Train Control System) level-3 and level-4, GSM-R is the wireless communications system, and it is a platform to transfer security data of train control. As the train control system is safety critical system, once the security data are delayed or lost by GSM-R, an emergency brake will be executed, or even the danger will happen. This paper bases on two different existing GSM-R double...
Accurate GPS (Global Position System) electronic map is the basis of the train positioning and control using GPS as the main positioning manner. As high precision is contradictive to low cost, a new measurement method with high efficiency and low cost is proposed in this paper to get the GPS data with high accuracy for railway track. A heuristic algorithm based on continual split and non-linear optimization...
The next few years will see distributed real-time computer systems playing an important role in control systems of high-dependability applications, such as rail transportation. In these applications a failure in the temporal domain can be as critical as a failure in the value domain. In rail transportation, train control system has become more complex and the methods to ensure its correctness of have...
At present, Communication Based Train Control (CBTC) system has being researched and developed, and it is going to be the direction of development of train control system. The wireless communications system has become one of the essential subsystems of CBTC. In view of urban mass transit, this paper proposes a test platform about Wireless Local Area Network (WLAN) which has been widely applied in...
The safety of control systems are becoming increasingly important as computers pervade them on which human life depends. In rail transportation fields, this has become more complex and the methods to ensure the correctness of train control system have been slow in development. The failure to meet time deadline can have serious or even fatal consequences. This paper presents a new method for performing...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.