The Coq mailing list

[Alexander Romanovsky <alexander.romanovsky AT newcastle.ac.uk>]

International Conference on 
Reliability, Safety and Security of Railway Systems: 
Modelling, Analysis, Verification and Certification
http://conferences.ncl.ac.uk/rssrail/ 

28-30 June 2016
Espace du Centenaire, Maison de la RATP, Paris, France

Call for Participation

Conference Aims:
* to bring together researchers and developers
* to ensure that advances in research are driven by the real needs of the 
railway
* to help develop technology that is usable, scalable and deployable
* to support the provision and utilisation of advanced methods and tools
* to present novel methods for modelling, analysis, verification and 
validation
* to identify mechanisms and procedures which support evidence cases 
that standards are being met

Challenges:
* to improve railway system safety, security and reliability
* to reduce production cost, time to market and running costs
* to increase system capacity and reduce carbon emissions

Context:
* integration of railway systems into larger multi-mode transport networks
* dramatic increases in the complexity of railway applications
* ever higher degree of automation

The conference will feature three invited keynote talks, from eminent 
and experienced investigators:

Robin Bloomfield, Adelard LLP and City University London (UK)
The risk assessment of ERTMS based railway systems from a cyber perspective:
methodology and lessons learnt

Denis Sabatier, ClearSy (France)
Using formal proof and B method at system level for industrial projects

Jan Peleska, University of Bremen and Verified Systems (Germany)
A novel approach to HW/SW integration testing of route-based interlocking 
system controllers

And the invited presentation by Claude Andlauer, Head of Rail Transport for 
RATP (France)
Formal methods as part of RATP’s DNA

Specific topics to be presented at RSSRail 2016 will include:
* failure analysis, 
* interlocking verification, 
* formal system specification and refinement, 
* security analysis of ERTMS, 
* safety verification,  
* formalisation of requirements, 
* proof automation,
* operational security, 
* railway system reliability, 
* risk assessment for ERTMS, 
* verification of EN-50128 safety requirements.

For more details on the keynote talks, the individual papers and the posters 
to be 
presented, please visit the website: 
http://conferences.ncl.ac.uk/rssrail/programme/

The proceedings are published by Springer.

Registration: http://conferences.ncl.ac.uk/rssrail/registration/