Documentation

picto-6

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. .

SEE MORE +
picto-5

COPPILOT – www.coppilot.fr

System to Open and Close the Platform Screen Doors.

SEE MORE +
picto-4

COMPOSYS – www.composys.fr

Tool for formal design of systems architecture.

SEE MORE +
picto-6

FERSIL – www.fersil-railway.com

Clearsy’s offers in the train domain.

SEE MORE +
picto-7

COPP – www.copp.fr

System to Open and Close the Platform Screen Doors at Paris Châtillon metro station.

SEE MORE +
picto-1

BRAMA – www.brama.fr

Animation tool for models undergoing development.

SEE MORE +
picto-8

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.

SEE MORE +
picto-2

SÛRETÉ DE FONCTIONNEMENT – www.clearsy.com/surete-fonctionnement

Le blog : Présentation de la sûreté de fonctionnement et ses enjeux.

SEE MORE +
nautile

CLEARSY – www.clearsy.com

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

SEE MORE +
picto-9

DIVERS – Site de l’école d’ingénieur ECE

ECE –  Engineering school: Tool to deploy the B method

SEE MORE +