CLEARSY will be present at the conference “1st UIC GLOBAL CONFERENCE ON SIGNALLING – The evolution of ERTMS” which takes place in Milano on 26 and 27 March 2018 at « Fiera Milano Congressi ». Our company is developing safety critical systems and software based on the formal method B in the railway domain, especially for CBTC and ERTMS. We are also offering expertise, consulting, training and test services. We will be happy to welcome you at stand N° 27, which we are sharing with our partner CENTRALP and with whom we are performing the development of the SIL2 ETCS DMI according to CENELEC standards for ERTMS baseline 3. Several demonstrations (simulation of braking curves, formal validation of data, ETCS DMI) will be available. In the poster area, you will also find a detailed description of the application by CLEARSY of formal methods to critical systems, software and data.