Title :
Reliability methodology and theory for development of novel railway signalling systems
Author :
Guo Xie ; Yanmin Liang ; Fucai Qian ; Xinhong Hei
Author_Institution :
Sch. of Autom. & Inf. Eng., Xi´an Univ. of Technol., Xi´an, China
Abstract :
Driven by the high maintenance and repair cost, low operation efficiency and unsatisfactory safety level of the current railway systems, the autonomous perception and radio-based railway signalling systems are attracting world´s attention. In development of these systems, a severe challenge is guaranteeing the software reliability. In this paper, a novel approach is proposed to analyze and formalize the requirements specification, which is the basis of software system. Specifically, firstly, in order to improve the accuracy of the translation from an original specification into a formal specification, dynamic state translation diagrams are extracted to express internal operation mechanisms and state changes. Followed by graphical UML models are created for a comprehensive and object-oriented analysis of the system structure. Thirdly, rigorous and explicit formal specification is established using VDM++. Lastly, system properties are validated by discharging the proof obligations of the formal specification. The satisfiability is validated by simulation and systematic testing.
Keywords :
Unified Modeling Language; costing; formal specification; maintenance engineering; object-oriented programming; railway engineering; railway safety; software reliability; VDM++; autonomous perception; dynamic state translation diagrams; formal specification; graphical UML models; internal operation mechanisms; maintenance cost; object-oriented analysis; operation efficiency; proof obligations; radio-based railway signalling systems; railway signalling system development; reliability methodology; repair cost; requirements specification; safety level; satisfiability; software reliability; systematic testing; Analytical models; Global Positioning System; Natural languages; Object oriented modeling; Rail transportation; Safety; Unified modeling language; formal methods; radio-based; railway signalling system; specification;
Conference_Titel :
Control Conference (CCC), 2014 33rd Chinese
Conference_Location :
Nanjing
DOI :
10.1109/ChiCC.2014.6896055