Documentation
ATELIER B – www.atelierb.eu
Industrial tool enabling the operational use of Method B for proven software development. Training available in understanding and using B. .
COPPILOT – www.coppilot.fr
System to Open and Close the Platform Screen Doors.
COMPOSYS – www.composys.fr
Tool for formal design of systems architecture.
FERSIL – www.fersil-railway.com
Clearsy’s offers in the train domain.
COPP – www.copp.fr
System to Open and Close the Platform Screen Doors at Paris Châtillon metro station.
BRAMA – www.brama.fr
Animation tool for models undergoing development.
DOF1 – www.dof1.eu
System to Open and Close the Platform Screen Doors; safety critical SIL4 system, to be installed on the line 1 of the Parisian subway.
SÛRETÉ DE FONCTIONNEMENT – www.clearsy.com/surete-fonctionnement
Le blog : Présentation de la sûreté de fonctionnement et ses enjeux.
CLEARSY – www.clearsy.com
Know-How of ClearSy, specialist in safety critical systems and Operational Safety.
DIVERS – Site de l’école d’ingénieur ECE
ECE – Engineering school: Tool to deploy the B method
