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

From: Alexander Romanovsky < >
Date: Sat, 5 Mar 2016 10:46:56 +0000


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

Challenges:
* to improve railway system safety, security and reliability

Context:
* integration of railway systems into larger multi-mode transport networks

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,

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/



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Sat Mar 05 2016 - 11:47:45 CET

This archive was generated by hypermail 2.3.0 : Tue Feb 19 2019 - 14:17:08 CET