Troisième conférence RSSR, Reliability, Safety  and Security of Railway systems; modelling, analysis, verification and certification

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.

Laisser un commentaire