查看文章

The Communication Based Train Control (CBTC) systems today has generated immense interest in transport domain because of its ability to enhance safety and improve operational effectiveness. The current communication solutions for urban guided transport system that is based on the Wireless local area network (WLAN) becomes obsolete with a number of shortcomings in term of capacity and capability. Hence, the Long Term Evolution (LTE) is considered as a new solution for railway communication technology. Before widely deploying this new solution in railway industry, it must be evaluated and tested to ensure the desired performance level for CBTC system according to the railway safety standards. Therefore, it is necessary to propose a model of CBTC system that allows to consider the behaviours of the LTE communication network in real time. In this paper, we propose to use Petri nets for modelling …