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

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

Leave a Reply