Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey

The system requirement specifications (SRSs) of the train control system (TCS) are the starting point and foundation of system design and development. Defects in the SRSs will bring great risk to the success of railway engineering projects. Therefore, formal modeling and verification methods are int...

Full description

Bibliographic Details

Published in:	IEEE transactions on intelligent transportation systems Vol. 26; no. 2; pp. 1419 - 1440
Main Authors:	Cheng, Ruijun, Chen, Dewang, Song, Haifeng, Liu, Hui, Cheng, Huize
Format:	Journal Article
Language:	English
Published:	IEEE 01.02.2025
Subjects:	Computational modeling Control systems formal modeling and verification method Logic Modeling Monitoring online safety monitoring Reliability engineering Safety Software reliability system requirement specifications Testing Train control systems Unified modeling language unified safety and reliability modeling platform
ISSN:	1524-9050, 1558-0016
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!