Analysis of ATO System Operation Scenarios Based on UPPAAL and the Operational Design Domain
With the gradual maturity of the automatic train operation (ATO) system in subways, its application scope has also expanded to the high-speed railway field. Considering that the ATO system is still in the early stages of operation, it will take time to fully mature, and definite specifications of th...
Main Authors: | Zicong Meng, Tao Tang, Guodong Wei, Lei Yuan |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2021-02-01
|
Series: | Electronics |
Subjects: | |
Online Access: | https://www.mdpi.com/2079-9292/10/4/503 |
Similar Items
-
Automatic Test Generation and Mutation Analysis using UPPAAL SMC
by: Larsson, Jonatan
Published: (2017) -
Latency Evaluation of SDFGs on Heterogeneous Processors Using Timed Automata
by: Sivashankari Rajadurai, et al.
Published: (2020-01-01) -
Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA
by: Rachmat Wahid Saleh Insani, et al.
Published: (2016-01-01) -
Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker
by: Filipovikj, Predrag
Published: (2013) -
Verification of FlexRay membership protocol using UPPAAL
by: Mudaliar, Vinodkumar Sekar
Published: (2008)