Documentation
ATELIER B – www.atelierb.eu
Outil industriel permettant l’utilisation opérationnelle de la méthode B.
COPPILOT – www.coppilot.fr
Contrôle et commande sécuritaire de façades de quais.
COMPOSYS – www.composys.fr
Outil de conception formelle d’architecture système.
FERSIL – www.fersil-railway.com
L’offre de FERSIL dans le domaine du ferroviaire.
COPP – www.copp.fr
Façades de quais de la station de métro Paris-Châtillon.
BRAMA – www.brama.fr
Outil de modélisation graphique appliqué aux méthodes formelles B.
DOF1 – www.dof1.eu
Dispositif d’ouverture et de fermeture des façades de quai Ligne 1. SIL3.
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
Site de la société ClearSy, spécialiste en systèmes sécuritaires.
DIVERS – Site de l’école d’ingénieur ECE
Présentation de l’outil Atelier B pour déployer la méthode B
