Documents, Articles de Presse sur le Ferroviaire

Ensuring safe platform access on the Paris metro
Metro Report - September 2009

Article du journal Metro Report, dédié à l'installation du système COPP permettant l'ouverture et la fermeture des Portes Palières installées sur la station Porte de Châtillon de la Ligne 13 dans le métro de Paris.

Fersil / ClearSy - Présentation -

Présentation du savoir-faire de ClearSy.

Un nouveau contrôleur de vitesse : le KPVA
RATP Savoir Faire N°46 -

Présentation du KPVA, système de Contrôle Ponctuel de Vitesse Autonome par détection radar.

Formal Methods in Safety Critical Railway Systems -

Dans cet article, nous présentons les dernières applications existantes des méthodes formelles B dans le cadre du développement de systèmes sécuritaires ferroviaires.

CBTC New York -

Article présentant le CBTC de New York (Communication Based Train Control) signifiant “Gestion des trains basée sur la communication”.

Les Logiciels de Sécurité de Trainguard MT CBTC
Magazine Le Rail -

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 B contre les erreurs de conception du programme.

Les Méthodes formelles sonnent le Glas des Tests Unitaires
Magazine 01 Informatique -

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

Le Zéro Défaut n'existe pas mais on peut tout de même s'en rapprocher...
Magazine 01 Informatique -

Présentation par Jean-Raymond Abrial de la méthode B, de son utilité et de ses capacités à se rapprocher du zéro défaut.

Meteor fête ses 3 ans de Succès
Magazine Le Monde Informatique -

Présentation du système automatisé Meteor, installé sur la ligne 14 du métro parisien.

De l'Utilisation de la Méthode B...
Magazine Rail & R -

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.

Les Méthodes Formelles, Garantes de la Sécurité des Systèmes...
Magazine 01 Informatique -

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.