Modeling and verification of train departure scenario for next generation train control system
نویسندگان
چکیده
منابع مشابه
Scenario-based modeling and verification of system requirement specification for the European Train Control System
The high quality System Requirement Specification (SRS) is at the heart of the design and development of the European Train Control System level 2 (ETCS L2) with high safety and efficiency. However, the SRS, written in natural language with a shortage of rigorous mathematic foundation, makes it difficult to meet the high quality attributes of SRS, such as correctness, completeness and consisten...
متن کاملA study of the train performance simulation for Korean next Generation high-speed train
The next generation high-speed train system, HEMU-400X, has been developed in Korea since 2007. HEMU-400X means High-speed Electric Multiple Unit – 300 experimental. Objectives of HEMU-400X project is development of next generation high-speed electric multiple unit with maximum operation speed 370km/h and maximum test speed 400km/h, energy efficiently and environment friendly. At present, the d...
متن کاملEuropean Train Control System: A Case Study in Formal Verification
Complex physical systems have several degrees of freedom. They only work correctly when their control parameters obey corresponding constraints. Based on the informal specification of the European Train Control System (ETCS), we design a controller for its cooperation protocol. For its free parameters, we successively identify constraints that are required to ensure collision freedom. We formal...
متن کاملOntology-Driven Middleware for Next-Generation Train Backbones
The current evolution in the railway domain heads in the direction of highly modular systems with many different smaller components working together, tuned towards the operator’s needs. In order to create an integrated management system for the train and railway domain in general, many different applications from both operators and manufacturers have to cooperate. To create a robust integrated ...
متن کاملToy Train Safety Control System
The toy train is a lot of fun for children and it decorates our Christmas tree at home. However, as many users complain, toy trains may be derailed and damaged by running too fast at the bend or hitting an obstacle on track, which creates inconvenience and even money loss for toy train users [1]. Therefore, we want to design a safety control system able to detect the bend and the hazard obstacl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATEC Web of Conferences
سال: 2021
ISSN: 2261-236X
DOI: 10.1051/matecconf/202133602008