Home l News l Company l Activities l Sectors l Sale Assistance l Our Projects l Events Our Products and Training l Our Values l Employment l Newsletter l Contacts l Site Map -
COPPILOT Project
Control system of the landing doors at the Invalides and St Lazare stations.
COSYC Project
It is particularly concerned with the critical onboard communicating systems.
DOF1 Project
Device to Open and Close the Platform Doors on Line 1, SIL4.
OISAU Project
Opening and Interoperability for Autonomous Systems.
OURAGAN Project
Ouragan Project Line 5 : Onboard Automatic Pilot
RIMEL Project
Incremental refinement of event models.
RODIN Project
Event B development platform.
ROISSY Project
Development of SIL4 safety software for the fixed automatisms of the future Val de Roissy.
STMICROELECTRONICS Project
The B-Method for the Construction of Microkernel-Based Systems.
URBALIS EVOLUTION Project
Peking metro, Alstom.
ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A 13857 AIX EN PROVENCE CEDEX 3 Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 - contact@clearsy.com