Recife Ecole Doctorale ETMF
Tutorial doctoral School ETMF 2017 Exhibitions/conferences

A 3-hour tutorial was given to 20 formal methods researchers. This tutorial was well received as a mean to put […]

Logo-RailMetro-China-2017
Rail+Metro China 2017: Come and meet us! Exhibitions/conferences, Metro (CBTC), Railway

CLEARSY will be present at Rail + Metro 2017 in Shanghai. Come and meet us on our booth E7S159 from […]

Tutorial conference RSSR 2017
Tutorial conference RSSR 2017 Exhibitions/conferences, Railway

Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification A 2-hour tutorial was given to an audience […]

Formal methods in action in the railways Exhibitions/conferences, Railway

Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real […]

UITP – Global transport Summit – Montreal from May 15th to 17th, 2017 – Booth 2 B 156 Exhibitions/conferences, Railway

This international event gathers each year the political authorities, public transport companies operators, scientific institutes, service providers and of the […]

image-psa
CLEARSY organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h). Exhibitions/conferences

The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform”, is aimed at presenting the latest […]

CLEARSY vital relay was creating the buzz during Innotrans Component, Exhibitions/conferences, Railway

Vital relay certified SIL4 actually exists: CLEARSY introduced it during the global railway conference Innotrans. In September at Innotrans in […]

LCHIP project (Low Cost High Integrity Platform)
LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. Exhibitions/conferences

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the […]