中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
会议名6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail 2025)
中译名《第六届国际铁路系统可靠性、安全及安保会议》
会议日期November 26-28, 2025
会议地点Pisa, Italy
出版年2026
馆藏号359397


题名作者出版年
Moving Block in ERJUPeter Tummeltshammer; Felix Schaber2026
Empirical Formal Methods in Railways: Experiences and RoadmapAlessio Ferrari2026
Wireless Communications Challenges for Safety Applications in RailwaysMarion Berbineau2026
From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven ApproachDalay Almeida; Loic Glemarec2026
SMT-Based Verification of Railway PlanningsStefan Dillmann; Reiner Hahnle2026
Using N-Version Architectures for Railway Segmentation with Deep Neural NetworksPhilipp Jass; Carsten Thomas2026
Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?Shahab Aldin Mansouri; Rebecca Dziedzic; Riccardo Licciardello; Sepehr Abdi Goudarzi; Vito Reno; Angelo Cardellicchio; Massimiliano Nitti2026
Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme PlansMarek T. Jezinski; Markus Roggenbach; Monika Seisenberger; Victor Cai; Fabio Caraffini2026
Bridging Formal Verification and Domain Validation in Railway SystemsAsfand Yar; Akram Idani; Yves Ledru; Simon Collart-Dutilleul2026
Condition-Based Monitoring in Passenger Trains: Insights from Maintenance Logs and Accident DataWiryanto Dharmawan; Anton Beuss; Raoul Schild; Markus Hecht; Beate Bender2026
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature ReviewLaura Carnevali; Felicita Di Giandomenico; Alessandro Fantechi; Stefania Gnesi; Gloria Gori2026
Comparing Model Checking and Model-Based SimulationDavide Basile; Franco Mazzanti2026
CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual CouplingGetachew Hagos Geleta; Marion Berbineau; Simon Collart-Dutilleul; Francesco Flammini2026
Safe Maintenance of Railways Using COTS Mobile Devices: The Remote Worker DashboardTommaso Zoppi; Innocenzo Mungiello; Andrea Ceccarelli; Alberto Cirillo; Lorenzo Sarti; Lorenzo Esposito; Giuseppe Scaglione; Sergio Repetto; Andrea Bondavalli2026
Run-Time Monitoring of ERTMS/ETCS Control Flow by Process MiningFrancesco Vitale; Tommaso Zoppi; Francesco Flammini; Nicola Mazzocca2026
Configurable Interlocking VerificationAlexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander Romanovsky2026
Automated Semantic Validation of Railway Signaling Data on the Basis of SchematronSusanne Wunsch; Birgit Jaekel; Martin Lehnert; Christoph Klaus; Jan Gruteser; Michael Leuschel2026
Efficient Derivation of Optimal Signal Schedules for Multimodal IntersectionsN. Bertocci; L. Carnevali; L. Scommegna; E. Vicario2026
A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G ScenarioDinesh Tamang; Giulio Bartoli; Andrea Abrardo; Gianluca Mando2026
Fusion~2: Achieving SIL4 Onboard Positioning for Autonomous TramsGianluca Mando; Luigi Rucher; Alessandro Fantechi; Gloria Gori2026
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2026