PROGRAM
Days: Wednesday, November 26th Thursday, November 27th Friday, November 28th
Wednesday, November 26th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 1: Tutorial
| 09:00 | EN 50716 in Practice: New Requirements and Practices for Safe Railway Software (part 1) (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 2A: Tutorial
| 11:00 | EN 50716 in Practice: New Requirements and Practices for Safe Railway Software (part 2) (abstract) |
11:00-12:30 Session 2B: Tutorial
| 11:00 | Advancements in the CLEARSY Safety Platform: From Academic Research to Industrial SIL4 Certification (abstract) |
12:30-14:00Lunch Break
15:20-16:00Coffee Break / poster session
16:00-18:00 Session 5: AI & Planning
Chair:
| 16:00 | From Relay-based Railway Interlocking Circuits to Formal Specification: An AI-driven Approach (abstract) |
| 16:20 | SMT-based Verification of Railway Plannings (abstract) |
| 16:50 | Using N-Version Architectures for Railway Segmentation with Deep Neural Networks (abstract) |
| 17:10 | Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance? (abstract) |
| 17:40 | Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans (abstract) |
Thursday, November 27th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 6: Keynote
Chair:
| 09:00 | Empirical Formal Methods in Railways: Experiences and Roadmap |
10:00-10:30 Session 7: Surveys & Comparisons
Chair:
| 10:00 | Bridging Formal Verification and Domain Validation in Railway Systems (abstract) |
10:30-11:10Coffee Break / poster session
11:10-12:30 Session 8: Surveys & Comparisons
Chair:
| 11:10 | Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data (abstract) |
| 11:40 | Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review (abstract) |
| 12:00 | Comparing Model Checking and Model-based Simulation (abstract) |
12:30-14:00Lunch Break
14:00-15:20 Session 9: Communication & Control
Chair:
| 14:00 | CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling (abstract) |
| 14:30 | Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard (abstract) |
| 14:50 | Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining (abstract) |
15:20-16:00Coffee Break / poster session
16:00-18:00 Session 10: Industrial Experiences & Trams
Chair:
| 16:00 | Configurable Interlocking Verification (abstract) |
| 16:20 | Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron (abstract) |
| 16:50 | Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections (abstract) |
| 17:10 | A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario (abstract) |
| 17:40 | Fusion^2: Achieving SIL4 Onboard Positioning for Autonomous Trams (abstract) |
Friday, November 28th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 11: Keynote
Chair:
| 09:00 | Wireless Communications Challenges for Safety Applications in Railways |
10:00-10:30 Session 12: Formal Modelling & Analysis
Chair:
| 10:00 | Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection (abstract) |
10:30-11:10Coffee Break
11:10-12:30 Session 13: Formal Modelling & Analysis
| 11:10 | Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation (abstract) |
| 11:40 | Formal Analysis of a Railway Signaling Block Designed in AIDA (abstract) |
| 12:00 | Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems (abstract) |
12:30-14:00Lunch Break