{"product_id":"9783032107619","title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16236) (2025. xii, 3","description":"\u003cp\u003eThis book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. \u003c\/p\u003e\u003cp\u003eThe 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI \u0026amp; Planning; Surveys \u0026amp; Comparisons; Communication \u0026amp; Control; Industrial Experiences \u0026amp; Trams; Formal Modelling \u0026amp; Analysis.\u003c\/p\u003e \u003cp\u003e\u003cstrong\u003e.- Invited Presentations.\u003c\/strong\u003e\n.- Moving Block in ERJU.\n.- Empirical Formal Methods in Railways: Experiences and Roadmap.\n.- Wireless Communications Challenges for Safety Applications in Railways.\n\u003cstrong\u003e.- AI \u0026amp; Planning.\n\u003c\/strong\u003e.- From Relay-based Railway Interlocking Circuits to Formal Specification: An AI-driven Approach.\n.- SMT-based Verification of Railway Plannings.\n.- Using N-Version Architectures for Railway Segmentation with Deep Neural Networks.\n\u003cstrong\u003e.- \u003c\/strong\u003eTrade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?.\n.- Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans.\n\u003cstrong\u003e.- Surveys \u0026amp; Comparisons.\n\u003c\/strong\u003e.- Bridging Formal Verification and Domain Validation in Railway Systems.\n.- Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data.\n.- Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.\n.- Comparing Model Checking and Model-based Simulation.\n\u003cstrong\u003e.- Communication \u0026amp; Control.\u003c\/strong\u003e\n.- CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling.\n.- Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard.\n.- Run-Time Monitoring of ERTMS\/ETCS Control Flow by Process Mining.\n\u003cstrong\u003e.- Industrial Experiences \u0026amp; Trams.\n\u003c\/strong\u003e.- Configurable Interlocking Verification.\n.- Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron.\n.- Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections.\n.- A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario.\n.- Fusion2: Achieving SIL4 Onboard Positioning for Autonomous Trams.\n\u003cstrong\u003e.- Formal Modelling \u0026amp; Analysis.\n\u003c\/strong\u003e.- Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection.\n.- Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation.\u003cstrong\u003e\n\u003c\/strong\u003e.- Formal Analysis of a Railway Signaling Block Designed in AIDA.\n.- Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING","offers":[{"title":"Default Title","offer_id":45670007472207,"sku":"00000_00000_00000_00000","price":2275.0,"currency_code":"TWD","in_stock":true}],"url":"https:\/\/kinokuniya.com.tw\/products\/9783032107619","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}