Your Location：
Home >
Browse articles >
An Automatic Test Case Generation Method for Hazardous Scenarios in Urban Rail Transit FAO Systems
An Automatic Test Case Generation Method for Hazardous Scenarios in Urban Rail Transit FAO Systems
- Railway Standard Design Vol. 69, Issue 6, Pages: 178-186(2025)
DOI： 10.13238/j.issn.1004-2954.202310080005
Revised：2023-10-25
Scan QR Code
Full Text(HTML)
Figs( 4 ) Tabs( 4 )
References
Publication Info
Metrics
31
Views
25
Downloads
0
CSCD
Alert me when the article has been cited
Submit
Tools
- BibTeXDownload
- EndnoteDownload
- RefMan Download
- NoteExpressDownload
- NoteFirstDownload
Related Articles
Research on the Safety Testing Method of Onboard Equipment of Urban Rail Transit Fully Automatic Operation System Based on STAMP and Combinatorial Testing
Research on Jog Locking Scheme for Fully Automatic Operation System Based on Train Safety Profile Extension
Modeling and Verification of Cross-border Temporary Speed Restriction for High Speed Railway Based on MSC and UPPAAL
Formal Verification of Level Transition Process in Train Control System Based On MSC and UPPAAL
A Hybrid Prediction Method for Environmental Noise of Urban Rail Transit Based on Cadna/A and Field Measurement Data
Related Author
LAI Qin
ZHANG Yadong
MA Muyun
RAO Chang
LI Chenguang
XING Kejia
WANG Jungao
ZHOU Xiang
Related Institution
Postgraduate Department, China Academy of Railway Sciences
Communication and Signaling Research Institute, China Academy of Railway Sciences Corporation Limited
College of Automation & Electrical Engineering,Lanzhou Jiaotong University
School of Automation and Electricity Engineering,Lanzhou Jiaotong University
Beijing Metro Construction Administration Corporation Ltd.
