Domaines : Railway
![Développement de système critique sur-mesure](https://www.clearsy.com/wp-content/uploads/2020/07/imag-persos.jpg)
Safety systems adapted to your project CLEARSY is a major player recognized in the field of formal methods for the […]
![Commande d’ouverture et la fermeture de façades de quais](https://www.clearsy.com/wp-content/uploads/2020/02/ima-coppilot-1.jpg)
COPPILOT is a safety critical railway system, which controls the opening and closing of platform screen doors at a metro […]
![Contrôle d’ouverture et de fermeture des façades de quai de la ligne 1 du métro Parisien](https://www.clearsy.com/wp-content/uploads/2020/07/ima-dof1.jpg)
In the context of the “Paris Subway Line 1 Automation” project, the SIL3 DOF safety system, which is independent from […]
![Interface homme-machine DMI ERTMS](https://www.clearsy.com/wp-content/uploads/2020/07/ima-DMI.jpg)
The ETCS DMI is the interface between the driver and the ERTMS/ETCS system. It allows: the entry of information (driver […]
![Outil de validation formelle de données](https://www.clearsy.com/wp-content/uploads/2020/03/ima-datasolver1-1.jpg)
In the railways, safety critical software applications are usually developed and validated independently from the parameters or constant data that […]
![](https://www.clearsy.com/wp-content/uploads/2020/07/nuclear-power-plant-2854866-scaled.jpg)
The principal techniques used by CLEARSY consultants to conduct safety analyses are: safety analysis & safety demonstration and analysis. CLEARSY […]
![Système de Contrôle Ponctuel de Vitesse Autonome (KPVA)](https://www.clearsy.com/wp-content/uploads/2020/03/ima-kpva.jpg)
This is a signal crossing control system (a signal such as a red light, for example), an ATS, which comprises […]
![Simulateur opérationnel ERTMS/ETCS](https://www.clearsy.com/wp-content/uploads/2020/07/simulateur-operationnel.jpg)
The ERTMS/ETCS Operational Simulator is a real time simulation demonstrating how trains can be run on tracks under ERTMS/ETCS supervision. […]