Our Links

Atelier B

Industrial tool enabling the operational use of Method B for proven software development. Training available in understanding and using B.

Url: http://www.atelierb.eu

Brama

Animation tool for models undergoing development.

Url: http://www.brama.fr

ClearSy

Web site of the ClearSy company, specialist in critical systems.

Url: http://www.clearsy.com

Composys

Tool for formal design of systems architecture.

Url: http://www.composys.fr

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

Coppilot

System to Open and Close the Platform Screen Doors.

Url: http://www.coppilot.fr – Url: ClearSy

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

Operational Safety / Blog

Know-How of ClearSy, specialist in safety critical systems and Operational Safety.

Url : http://www.operational-safety.clearsy.com/