Our Links

ClearSy

Discover our web site to find out more on our company and activities.

Url: http://www.clearsy.com

Atelier B

An industrial tool for the operational use of the B method in developing proven software. Training is available to learn and use B.

Url: http://www.atelierb.eu

Composys

Formal design tool for system architectures.

Url: http://www.composys.eu

COPP

System to Open and Close the Platform Screen Doors; safety critical SIL3 system, actually on the line 13 of the Parisian subway (Châtillon station equipped by an automatic turn back).

Url: http://www.copp.fr

DOF1

System to Open and Close the Platform Screen Doors; safety critical SIL4 system, to be installed on the line 1 of the Parisian subway.

Url: http://www.dof1.eu

Brama

Model animation tool under development.

Url : http://www.brama.fr

Site dedicated to the control system for the landing doors of the Invalides and St. Lazare stations.

Url: http://www.coppilot.fr - Url: ClearSy page