Thematics

CLEARSY attends in major conferences in the field of formal methods (ABZ, SMBF, AFADL, RSSR), and is present in railway […]

CLEARSY is investing to become a major player in the ERTMS/ETCS field. We are supporting our customers with our expertise, […]

CLEARSY develops safety consoles to meet industrial control and visualisation needs.

Train collision detection system is used to detect and prevent collision of two trains. Generally both trains determine their position […]

The principal techniques used by CLEARSY consultants to conduct safety analyses are: safety analysis & safety demonstration and analysis. CLEARSY […]

CLEARSY invests heavily in Research and Development to develop new tools and validate new modeling techniques. CLEARSY conducts many Research […]

The electronic field is a major activity for CLEARSY. The Electronic field is a major activity for CLEARSY. This specific […]

The B METHOD is a method of formal specification capable of rigorously re-transcribing the requirements of a set of specifications, […]