Results 41 to 50 of about 2,613 (188)

Safety‐Guided Development of Critical Computer‐Based Systems Using STPA and Event‐B in an Iterative Process

IET Intelligent Transport Systems, Volume 19, Issue 1, January/December 2025.
This paper presents a safety refinement pattern for complex computer‐based systems (CBSs) using a layered architecture, integrating STAMP models with Event‐B to derive and verify safety requirements (SRs) and system‐level safety constraints (SLSCs).
Meng Mei, Lin Zhou, Zuxi Chen, Shengbin Chen, Zhongwei Xu, Xiaoyong Wang, Liang Pan, Xiangyu Luo   +7 more
wiley   +1 more source

Research on Interstation Tracking Interval of CBTC System Based onTrain-train Communication

Kongzhi Yu Xinxi Jishu, 2020
CBTC system based on train-train communication not only reduces construction and maintenance costs by reducing deployment of some trackside equipments, but also reduces communication delay through direct train-train communication. In order to make better
ZHENG Yi, HU Yunqing, GENG Hongliang, SUN Ye, SHEN Tao, SUN Ke   +5 more
doaj  

Topology Control in Heterogeneous Wireless Networks: Problems and Solutions [PDF]

, 2004
Previous work on topology control usually assumes homogeneous wireless nodes with uniform transmission ranges. In this paper, we propose two localized topology control algorithms for heterogeneous wireless multi-hop networks with nonuniform transmission ...
Hou, Jennifer C., Li, Ning
core   +1 more source

Formalising the Continuous/Discrete Modeling Step

, 2011
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains.
A. Slissenko, A. van Lamsweerde, B Potter, B. Dutertre, B. Kuo, C. Jeske, E Sekerinski, E. Börger, E. Börger, E. Sontag, Eerke Boiten, F. Clarke, F. Clarke, G. Franklin, Huibiao Zhu, J Derrick, J Woodcock, J-R. Abrial, J-R. Abrial, J. Crow, J. D'Azzo, J. He, John Derrick, K. Dutton, K. Ogata, Letier, E., M. Fadali, N. Ahmed, P. Antsaklis, P. Paraskevopoulos, P. Tabuada, R. Alur, R. Alur, R. Banach, R. Banach, R. Banach, R. Banach, R. Dorf, Retrenchment Homepage, Richard Banach, Runlei Huang, S. Barnett, Steve Reeves, T. A. Henzinger, W P de Roever, W. Su, Wen Su   +46 more
core   +3 more sources

Capacity Simulation Analysis of CTCS‐3 Combined With Moving Block

Journal of Advanced Transportation, Volume 2025, Issue 1, 2025.
With the continuous growth of high‐speed railway passenger transportation demand, how to improve the capacity has become an urgent problem to be solved. The signal system based on moving block can effectively improve the utilization of line capacity. From the perspective of signal system, this paper studies the line capacity benefits brought by CTCS‐3 ...
Lei Yuan, Bingquan Sha, Guodong Wei, Wenzhang Guo, Mohammad Rezwan Habib   +4 more
wiley   +1 more source

A Novel Hierarchical Situation Awareness Model for CBTC Using SVD Entropy and GRU With PRD Algorithms

IEEE Access, 2021
As a typical and special cyber-physical system, Communication-Based Train Control (CBTC) systems require a different security model from the traditional Information Technology(IT) systems.
Qichang Li, Bing Bu, Junyi Zhao
doaj   +1 more source

Optimization of Skip‐Stop Train Schedule in Urban Rail Transit Under Virtual Coupling

Journal of Advanced Transportation, Volume 2025, Issue 1, 2025.
Virtual coupling technology enables decoupling and coupling operations of trains more flexible, and the tracking interval between trains is also shortened. This paper analyzes the advantages of virtual coupling technology in the application of skip‐stop operation, and operation strategies based on real‐time train coupling and decoupling are proposed ...
Jiawei Bai, Qi Zhang, Peter J. Jin
wiley   +1 more source

Interoperation Plan for City Railway CBTC and CTCS-2

Chengshi guidao jiaotong yanjiu
Objective The research is specially carried out aiming to meet the operational requirements for interoperability between city railway CBTC (communication-based train control) and railway CTCS-2 (China train control system level 2) signaling systems ...
TANG Kailin, JIANG Qingyang, FENG Haonan, HUANG Changpeng   +3 more
doaj   +1 more source

The Function Design for the Communication-Based Train Control (CBTC) System: How to Solve the Problems in the Underground Mine Rail Transportation?

Applied System Innovation, 2021
With the continuous development of the mining industry, the world’s major mines have gradually entered the intelligent stage. In intelligent underground mines, the operation roads of the underground transportation equipment are very complicated, and the ...
Haoxuan Yu, Shuai Li
doaj   +1 more source

A survey on future railway radio communications services: challenges and opportunities [PDF]

, 2015
Radio communications is one of the most disruptive technologies in railways, enabling a huge set of value-added services that greatly improve many aspects of railways, making them more efficient, safer, and profitable.
Haro Ariet, Leandro De, Moreno García-Loygorri, Juan, Riera Salis, José Manuel, Rodríguez, Carlos   +3 more
core   +2 more sources