Articles de Presse sur l’Atelier B, et les Méthodes Formelles

Titre	Auteur
Les Logiciels de Sécurité de Trainguard MT CBTC – Aperçu des technologies utilisées par STS pour assurer le bon fonctionnement de ses automatismes ferroviaires. Le processeur sécuritaire codé permet de se prémunir contre les erreurs de calcul, la méthode formelle B contre les erreurs de conception du programme.	Magazine Le Rail
Les Méthodes formelles sonnent le Glas des Tests Unitaires – Présentation des méthodes formelles avec preuve, méthodes utilisées par ClearSy System Engineering dans le cadre de ses réalisations de systèmes sécuritaires ferroviaires. Page 1 – Page 2 – Page 3	Magazine 01 Informatique
Le Zéro Défaut n’existe pas mais on peut tout de même s’en approcher… – Présentation par Jean-Raymond Abrial de la méthode formelle B, de son utilité et de ses capacités à se rapprocher du zéro défaut.	Magazine 01 Informatique
De l’Utilisation de la Méthode B… – Autre article présentant la Méthode B et son utilité dans le domaine ferroviaire actuel où la sûreté de fonctionnement est un élément crucial.	Magazine Rail & R
Les Méthodes Formelles, Garantes de la Sécurité des Systèmes… – Article portant sur les Méthodes Formelles, appliquées en milieu ferroviaire pour garantir la sécurité et la sûreté d’un système.	Magazine 01 Informatique