Programme
- Details of the four tutorials are available on the Tutorials page.
- Details of the three invited keynote talks are available on the Invited Talks page.
- A list of nine accepted posters is available on the Posters page.
Download a six page A4 Programme Brochure (PDF: 715KB).
The Proceedings of the conference will be published by Springer.
Tuesday 4 June 2019
| Time | Session |
|---|---|
| 08:00–09:00 | Early registration and coffee |
| 09:00–10:50 | Tutorial 1: HLL formal language and associated tools for safety assessment activities
|
| 10:50–11:10 | Coffee break |
| 11:10–13:00 | Tutorial 3: SafeCap automated formal verification of railway signalling interlocking
|
| 13:00-13:30 | Sandwich lunch for tutorial participants |
| 13:30–13:45 | Introduction and welcome from the Programme Chairs and IFSTTAR |
| 13:45–14:45 |
Keynote session chair: Thierry Lecomte Keynote 1: RailTopoModel - a cornerstone to foster the federation of railway digital models
|
| 14:45–15:20 | Coffee break |
Special session: Railway System and Infrastructure Modelling
Organised by Railenium
| Time | Session |
|---|---|
| 15:20–15:30 | Introduction
|
| 15:30–16:00 | Towards a tool-based domain specific approach for railway systems modeling and validation
|
| 16:00–16:30 | Statistical model checking of hazards in an autonomous tramway positioning system
|
| 16:30–17:00 | Performance Evaluation of Metro Regulations Using Probabilistic Model-checking
|
The Conference Reception will take place in the Exhibition and Poster area between 17:00-18:00.
Wednesday 5 June 2019
| Time | Session |
|---|---|
| 09:00–10:00 |
Keynote session chair: Alexander Romanovsky Keynote 2: Connected or autonomous trains?
|
| 10:00–10:30 | Coffee break |
Scheduling and Track Planning - Chair: Alessandro Fantechi
| Time | Session |
|---|---|
| 10:30–11:00 | Automated Planning of ETCS Tracks
|
| 11:00–11:30 | The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey
|
| 11:30–12:00 | Safe and Time-Optimal Control for Railway Games
|
| 12:00–13:10 | Lunch |
Safety Process and Validation - Chair: Marielle Stoelinga
| Time | Session |
|---|---|
| 13:10–13:40 | A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process
|
| 13:40–14:10 | Efficient Data Validation for Geographical Interlocking Systems
|
| 14:10–14:40 | Formal Model Validation through Acceptance Tests
|
| 14:40–15:10 | Coffee break |
Modelling - Chair: Colin Snook
| Time | Session |
|---|---|
| 15:10–15:40 | A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
|
| 15:40–16:10 | RBS2HLL: A formal modelling of railway-based interlocking
|
| 16:10–16:40 | Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B
|
Close of presentations at 16:40.
The Conference Dinner takes place at L’Hermitage Gantois from 19:30.
Thursday 6 June 2019
| Time | Session |
|---|---|
| 09:00–10:00 |
Keynote session chair: Simon Collart-Dutilleul Keynote 3: Scientific and technological obstacles to achieve the autonomy
|
| 10:00–10:30 | Coffee break |
Formal Verification - Chair: Klaus Reichl
| Time | Session |
|---|---|
| 10:30–11:00 | Interlocking Formal Verification at Alstom Signalling
|
| 11:00–11:30 | Survey on Formal Methods and Tools in Railways: The ASTRail Approach
|
| 11:30–12:00 | B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
|
| 12:00–13:00 | Lunch |
Security - Chair: Jan Peleska
| Time | Session |
|---|---|
| 13:00–13:30 | Threat Modelling in the Railway Domain
|
| 13:30–14:00 | Integration Approach for Communications-based Train Control Applications in a High Assurance Security Architecture
|
| 14:00–14:30 | Merging Worlds – Aligning Safety and Security
|
| Time | Session |
|---|---|
| 14:30–14:40 | Eurnex: best student paper award |
| 14:40–14:50 | Wrap-up and closing remarks |
| 14:50–15:30 | Coffee break |
Close of presentations at 15:30.
Thursday 6 June 2019: Standards workshop
Railway Applications – Cybersecurity: CENELEC TS 50701
CyberSecurity is a relatively new topic which has become very important, not only for railways, but for all Critical Infrastructures. CENELEC has therefore decided to work on a railway specific adaptation and interpretation of the emerging IACS CyberSecurity Standard IEC 62443. The upcoming prTS 50701 will be released as a draft in mid 2019, which will make available a CyberSecurity standard that covers not just Signalling, Rolling Stock, or Fixed Installations, but the whole Railway System. After release of the TS, a good tool for fulfilling the NIS directive (and also the national embodiments of it) will be made available, due to the participation of ERA and ENISA in the working group.
In the workshop, experts from the working group responsible for TS 50701 will present and discuss various key aspects such as: life cycle, system definition, risk analysis and security, operation and maintenance requirements.
This workshop will be held after the close of RSSRail 2019, at Lille Grand Palais, from 15:15 to 18:00.
For further information, or to enquire about participation, please e-mail Christian Schlehuber.
