Slides
Slides of the conference presentations and tutorials are listed below.
Tuesday - 14th Nov:
- Tutorial 1: Eric Perlade - AdaCore technologies for CENELEC EN 50128 2011
- Tutorial 2: Thierry Lecomte - ClearSy - LCHIP: Low cost high-integrity platform
- Tutorial 4: Andrew Hawthorn - ALTRAN - REVEAL: Requirements elicitation, documentation and management approach
- Giovanni Giambene - LTE Performance Evaluation for Light Rail Transit (LRT) Signaling Safety Applications
- Roberto Canonico - A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS
- Yue Wu - Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering
Wednesday - 15th Nov:
- Colin Snook - Formal Modelling Techniques for Efficient Development of Railway Control Products
- Manel Fredj - Enhancing Data Validation for Safety-Critical Railway Systems Industry
- Anne Haxthausen - A Domain-Specific Language for Generic Interlocking Models and Their Properties
- Ci Liang - Bayesian Network Modeling Applied on Railway Level Crossing Safety
- Eduard Kamburjan - Deductive Verification of Railway Operations
- David Deharbe - Safety Analysis of a CBTC System A Rigorous Approach with System Level B Industry
- Stefan Mitsch - Formal Verification of Train Control with Air Pressure Brakes
Thursday - 16th Nov:
- Aryldo Russo - Safety Certification considering processes around the world
- Karim Kecir - An efficient evaluation scheme for KPIs in regulated urban train systems
- Davide Basile - Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
- Paulius Stankaitis - Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
- Mario Fusani - Are Standards an ambiguity-free reference for product validation
