Third conference RSSR on Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification

21 July 2020

The third conference RSSR on Reliability, Safety  and Security of Railway systems; modelling, analysis, verification and certification will take place in Lille (France) on June 4-6 2019. CLEARSY co-organises this conference, together with IFSTTAR and University of Newcastle and will present:

  • two papers: “Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B” and “B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution”
  • one poster: “Porting Relay-Based Schemas to a SIL4 Programmable Control Platform”
  • one demonstration on its stand of the CLEARSY Safety Platform to control railway signal