17 mai 2019
La troisième conférence RSSR (Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification) va avoir lieu à Lille du 4 au 6 Juin 2019. CLEARSY co-organise cette conférence avec l’IFSTTAR et l’université de Newcastle et présentera:
- deux articles: « Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B » et « B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution«
- un poster « Porting Relay-Based Schemas to a SIL4 Programmable Control Platform«
- une démonstration sur son stand de la CLEARSY Safety Platform pour le contrôle-commande de signaux ferroviaires.