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 […]
In Stockholm City and Stockholm Odenplan stations, COPPILOT, the platform screen doors control system designed by CLEARSY, is now in charge of opening and closing the platform edge doors manufactured by Gilgen Door Systems. Opened in July 2017, Stockholm City and Stockholm Odenplan stations are the two stations of the Citybanan, a commuter railway tunnel […]
ClearSy will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south of Tokyo), from the 05th to the 09th of November 2018. This seminar will be an opportunity to review the practices and needs of industry and review how the formal methods could answer it. A […]
Clearsy and Centralp are joining forces to develop the ETCS DMI. The ETCS DMI (Driver Machine Interface) is an essential component of the on-board part of the European Train Control System. A first prototype is expected by the end of 2017. ETCS is one of the main elements of ERTMS (European Rail Traffic Management System), […]
Clearsy will be present at Rail + Metro 2017 in Shanghai. Come and meet us on our booth E7S159 from 21 to 23 November 2017 in the Shanghai International Exhibition Center. Our teams will answer all your questions.
Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real for successfully completing safety demonstrations. In this white paper, we show that several formal methods (B, Event-B, formal data validation) directly contribute to safety critical software development, system-level sprecification analysis and constant parameters validation, with […]