Domaines : Railway

CLEARSY has developed several safety critical systems controlling the opening and closing of platform screen doors installed in metro stations.

CLEARSY skills in the detection field (radar, laser, infrared) and railway, allow to realize a lot of new systems for new needs.

Since its creation in 2001, CLEARSY has taken the challenge of using formal methods for the design and buidling of safety critical systems.

The offer is based on CLEARSY's expertise, the DAME software suite and its ability to secure interfaces.

The formal system validation, obtained with the B-method, is an element of the demonstration of the safety of a critical system.

The framework enables the implementation and execution of equipment tests. Its modular design and tailor-made nature allow it to be […]