Fersil :
Présentation de nos systèmes sécuritaires ferroviaires et de notre savoir-faire.

DOF1 :
Dispositif d'Ouverture et de Fermeture des façades de quai ligne 1, SIL4.
 

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

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

Sûreté de Fonctionnement :
Blog dédié à la Sdf et ses enjeux.

Méthode B :
Site dédié à la méthode B, à ses projets et évolutions.


ClearSy Tools :
Plateforme de développement de nos projets Open-Source.

Atelier B :
Outil industriel qui permet une utilisation opérationnelle de la méthode B.

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


CompoSys :
Méthode et outil pour des descriptions formelles de systèmes.