Documentation


picto-6

ATELIER B – www.atelierb.eu

Outil industriel permettant l’utilisation opérationnelle de la méthode B.

picto-5

COPPILOT – www.coppilot.fr

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

picto-4

COMPOSYS – www.composys.fr

Outil de conception formelle d’architecture système.

picto-6

FERSIL – www.fersil-railway.com

L’offre de FERSIL dans le domaine du ferroviaire.

picto-7

COPP – www.copp.fr

Façades de quais de la station de métro Paris-Châtillon.

picto-1

BRAMA – www.brama.fr

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

picto-8

DOF1 – www.dof1.eu

Dispositif d’ouverture et de fermeture des façades de quai Ligne 1. SIL3.

picto-2

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

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

nautile

CLEARSY – www.clearsy.com

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

picto-9

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

Présentation de l’outil Atelier B pour déployer la méthode B