CLEARSY is a French company of 150 employees whose main know-how is the design and production of certified safe systems and software applications, through the use of formal B methods in industrial sectors such as urban and main-line railways for the design of driverless (GoA3) or unattended (GoA4) train operation systems.

A lot of safety critical systems designed by CLEARSY are now in operation in France and abroad, and its simulation tools and test benches are used by the main operators and laboratories.

A lot of products will be presented: SIL4 hardware and software platform, critical data formal validation toolkit, supervision tool of fire safety systems, the full range of SIL4 RS4 relays, SIL4 train track communication for opening PSD, Automatic Train Stop, simulation tools, test benches