[SystemSafety] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems

[Alexander Romanovsky]

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


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, and on the individual papers to be presented, 
please visit  the  website:  http://conferences.ncl.ac.uk/rssrail/programme/

There is still an opportunity to submit a poster - closing date: 1 May 2016. The conference 
will include a selected poster and vendor exhibition.

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