先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名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