Nos Liens

Atelier B

Outil industriel permettant l’utilisation opérationnelle de la méthode B pour des développements logiciels prouvés. Une formation est disponible pour comprendre, et pratiquer B.

Url : http://www.atelierb.eu


Brama

Outil de modélisation graphique appliqué aux méthodes formelles B.

Url: http://www.brama.fr


ClearSy

Site de la société ClearSy, spécialiste en systèmes sécuritaires.

Url : http://www.clearsy.com


Composys

Outil de conception formelle d’architecture système

Url : http://www.composys.fr


COPP

Façades de Quais de la Station Paris-Châtillon

Url : http://www.copp.fr


Coppilot

Contrôle et commande sécuritaire de façades de quais.

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


DOF1

Dispositif d’Ouverture et de Fermeture des façades de quai ligne 1, SIL3.

Url : http://www.dof1.eu


Sûreté de Fonctionnement / Blog

Blog de ClearSy. Présentation de la sûreté de fonctionnement et ses enjeux.

Url : http://www.surete-fonctionnement.clearsy.com/