Thematics
![](https://www.clearsy.com/wp-content/uploads/2020/06/product-school-nOvIa_x_tfo-unsplash-e1621521716708.jpg)
CLEARSY attends in major conferences in the field of formal methods (ABZ, SMBF, AFADL, RSSR), and is present in railway […]
![CLEARSY ERTMS](https://www.clearsy.com/wp-content/uploads/2020/06/Thematique-ertms.jpg)
CLEARSY is investing to become a major player in the ERTMS/ETCS field. We are supporting our customers with our expertise, […]
![](https://www.clearsy.com/wp-content/uploads/2020/06/consoles-e1621590243623.jpg)
CLEARSY develops safety consoles to meet industrial control and visualisation needs.
![](https://www.clearsy.com/wp-content/uploads/2020/07/ima-kfs.jpeg)
Train collision detection system is used to detect and prevent collision of two trains. Generally both trains determine their position […]
![](https://www.clearsy.com/wp-content/uploads/2020/06/safety-e1621590631581.jpg)
The principal techniques used by CLEARSY consultants to conduct safety analyses are: safety analysis & safety demonstration and analysis. CLEARSY […]
![](https://www.clearsy.com/wp-content/uploads/2020/06/hans-peter-gauster-3y1zF4hIPCg-unsplash-e1621521954396.jpg)
CLEARSY invests heavily in Research and Development to develop new tools and validate new modeling techniques. CLEARSY conducts many Research […]
![](https://www.clearsy.com/wp-content/uploads/2020/06/laura-ockel-nIEHqGSymRU-unsplash-scaled-e1621521225404.jpg)
The electronic field is a major activity for CLEARSY. The Electronic field is a major activity for CLEARSY. This specific […]
![](https://www.clearsy.com/wp-content/uploads/2020/07/logo-mtb-en-scaled.jpg)
The B METHOD is a method of formal specification capable of rigorously re-transcribing the requirements of a set of specifications, […]