English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

As a complex and safety-critical system, any failure in the Next Generation Train Control System (NGTC) departure scenario may cause serious personal injuries and property losses. It is very necessary to study NGTC scenario scheme and effective modeling and verification methods. This paper investigates the key technologies of the NGTC, optimizes the system structure and redistribution functions, and proposes the train control system scheme and typical operating scenarios. Firstly, the structure, equipment function and information interaction of NGTC are analyzed, and the operation scenarios of the system scheme are designed. This paper also uses UML language to describe the train departure scenario, and uses NuSMV modeling to verify accessibility and certainty of the scenario scheme. The results show that, the scheme proposed in this paper provides a reference for the design and implementation of the NGTC.

Modeling and verification of train departure scenario for next generation train control system