In the railway sector
CLEARSY significatively invests in Research and Development in the safety engineering sector, to develop new tools and validate new techniques of modeling.
Zone management system for temporarily reducing speed of a train
Test bench implemented on Siemens Automaton
Control of Coherence between Code and Specifications
Communication protocol on Siemens Automaton
System qualification for MF2000 metro
COPP System Component
Process for formally checking the computer signalling.
Automatic Train Operation System, Line 1
Rapid recharging tramway system
SIL4 safety software for the fixed automatisms of the future Val de Roissy
Binary file generator of train lane description