- Academic Search

J Lv, E Ahmad, T Tang - IEEE Intelligent Transportation …, 2020 - ieeexplore.ieee.org

The Chinese Train Control System level 3 (CTCS-3) is an open and real-time safety-critical
system. Due to the non-deterministic delay behavior in the environment, there is a large …

Salva Cita Citato da 18 Articoli correlati Tutte e 3 le versioni

[Free GPT-4]
[DeepSeek]

[PDF] academia.edu

[PDF][PDF] Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.

E Ahmad, YW Dong, BR Larson, JD Lü, T Tang… - Sci. China Inf …, 2015 - academia.edu

Train control systems like most digital controllers are, by definition, hybrid systems as they
interact with or try to control some aspects of the physical world. Detailed behavior modeling …

Salva Cita Citato da 33 Articoli correlati Tutte e 9 le versioni Versione HTML

Online conformance testing of CBTC on-board ATO functions based on UPPAAL-TRON framework

K Chen, J Lv, J Huang, H Guo, S Su… - 2019 IEEE Intelligent …, 2019 - ieeexplore.ieee.org

The Automatic Train Operation System (ATO) is an important part in the Communication
Based Train Control System (CBTC). It is important to verify the correctness and safety of its …

Salva Cita Citato da 1 Articoli correlati Tutte e 2 le versioni

[Free GPT-4]
[DeepSeek]

[PDF] iop.org

Formal Description and Verification of Mixed Right of Way Scenario for Guided Transport System Based on Vehicle-to-vehicle Communication

T Zhu, Y Cao, X Mo - Journal of Physics: Conference Series, 2021 - iopscience.iop.org

Abstract GTS (Guided Transport System) is an innovative new mode of urban transportation,
which integrates the characteristics of rail transit into urban public transportation. It is a …

Salva Cita Articoli correlati Tutte e 3 le versioni

[Free GPT-4]
[DeepSeek]

[PDF] researchgate.net