Thematics

Exhibitions/conferences

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

CLEARSY ERTMS
PRODUCTS AND SERVICES ERTMS/ETCS Railway

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

Safety displays Nuclear-energy, Railway

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

Automatic Train Stop (ATS)/automatic train braking systems Railway

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

Operational safety

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

Research and development

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

Electronic

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

B method

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

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!