References

CLEARSY is assisting the Rouen conglomeration (project manager) in the installation and commissioning of an automatic stoppage system for the […]

CLEARSY has developed a system formal verification for the CBTC of New York subway line 7, using the B method. […]

The ACSES project consists of developing a zone management system for temporarily reducing the speed of a train. CLIENT : […]

In order to test safety systems based on Simatic Siemens automatons, CLEARSY has developed a specific tool for this target […]

Control of coherence between code and specifications CLEARSY has the role of “external controller” within the context of developing these […]

The DIGISAFE technology and its communication protocol on Siemens automaton DIGISAFE is a technology developed by Siemens that is based […]

CLEARSY was hired to provide technical assistance in the verification of the ascending phase in the V cycle, meaning the […]

ModemB is a stand-alone DSP board with 2 analog input channels (from 10kHz to 150kHz), a RS485 serial link, 16 […]