GIBE
发表于 2025-3-28 16:16:13
0302-9743 g, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023..The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: mo
千篇一律
发表于 2025-3-28 19:18:08
http://reply.papertrans.cn/83/8265/826424/826424_42.png
cancer
发表于 2025-3-28 23:53:30
A Formal Model of Train Control with AI-Based Obstacle Detectionhecking is applied to ensure that the complete system is safe under certain assumptions. We use . to simulate various scenarios and estimate the likelihood of certain errors when the AI makes mistakes.
Accrue
发表于 2025-3-29 04:47:14
http://reply.papertrans.cn/83/8265/826424/826424_44.png
Foolproof
发表于 2025-3-29 08:57:53
Safety Analysis of Automatic Train Operation Based on ETCSout using a Markov chain model. In order to verify the degree of safety of the ATO model, a real data set from a train operator was used for simulation. We show that using an ETCS-based ATO system to control trains can achieve higher reliability on the mainline with less maintenance than if experienced drivers control trains.
NATAL
发表于 2025-3-29 12:28:46
Halfway Generic Verification of Railway Control Systemsplementing SPL analysis in modeling and verification of railway control systems, which include enhancing the process of configuration data generation and ensuring the correctness of the GDS and Generic Safety Specification. The effectiveness of the HGV approach is demonstrated with a prototype implementation utilizing the Prover iLock tool.
slow-wave-sleep
发表于 2025-3-29 18:55:26
http://reply.papertrans.cn/83/8265/826424/826424_47.png
皱痕
发表于 2025-3-29 22:55:57
http://reply.papertrans.cn/83/8265/826424/826424_48.png