CLEARSY sera présent à la conférence « 1st UIC GLOBAL CONFERENCE ON SIGNALLING – The evolution of ERTMS » qui se tiendra à Milan les 26 et 27 mars 2018 au « Fiera Milano Congressi ». Notre entreprise développe des systèmes et logiciels critiques basés sur la méthode formelle B dans le domaine ferroviaire, en particulier pour les CBTC et ERTMS. Nous proposons également des services d’expertise, de formation et de test. Nous aurons le plaisir de vous accueillir au stand N° 27, que nous partageons avec notre partenaire CENTRALP et avec qui nous réalisons le développement de l’IHM ETCS SIL2 selon la norme CENELEC pour ERTMS baseline 3. Plusieurs démonstrations (simulation courbes de freinage, validation formelle de données, DMI ETCS) seront à votre disposition. Dans la zone de poster, vous trouverez également une description détaillée de l’application par CLEARSY des méthodes formelles aux systèmes, logiciels et données critiques.