Railway line data optimization and formal modelling and verification of generation mothed

The research on upgrading and modification of the existing railway signal system found that the existing line basic datasheet and line data engineering datasheet cannot satisfy the application requirement, and it is necessary to study data optimization on the existing railway line. This paper presen...

Full description

Saved in:
Bibliographic Details
Published inIOP conference series. Materials Science and Engineering Vol. 688; no. 3; pp. 33013 - 33019
Main Authors Zhang, Zihan, Liu, Zhongtian
Format Journal Article
LanguageEnglish
Published Bristol IOP Publishing 01.11.2019
Subjects
Data models
Data sheets
Optimization
R&D
Research & development
Signal processing
Verification
Online AccessGet full text

Cover

More Information
Summary:The research on upgrading and modification of the existing railway signal system found that the existing line basic datasheet and line data engineering datasheet cannot satisfy the application requirement, and it is necessary to study data optimization on the existing railway line. This paper presents a method for railway line data optimization and generation process verification. Based on the analysis of railway line data and the research of data update requirements, the hierarchical block storage model of line data is established by expanding the engineering datasheet, and design the data model generation process. The formal model of generation process is established by the model verification method combining UML with NuSMV model, which verifies the activity, certainty and transference of the important attributes in the model. The data model and generating process are improved by counterexample analysis to meet the requirements of signal system. The discussion of this paper provides useful solutions for the key problems encountered in the research and development of the existing railway signal system.
ISSN:1757-8981
1757-899X
DOI:10.1088/1757-899X/688/3/033013