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