Liens

Les Sites parlant du projet

• JDD : La ligne 13 s’équipe de façades de quai
• Blog en Commun : Blog dédié aux infrastructures ferroviaires parisiennes.

---

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

---

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

---

Fersil

L’offre de Clearsy dans le domaine du ferroviaire

Url : http://www.fersil.fr

---

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/

---