Contact

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

 Support et Maintenance Atelier B

Vous trouverez toutes nos parutions ci-dessous. N’hésitez pas à télécharger nos articles.

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

TÉLÉCHARGER EN PDF

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.

TÉLÉCHARGER EN PDF

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.

TÉLÉCHARGER EN PDF

LE ZÉRO DÉFAUT N’EXISTE PAS
MAIS ON PEUT TOUT DE MÊME
S’EN APPROCHER

Magazine 01 Informatique

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.

TÉLÉCHARGER EN PDF

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.

TÉLÉCHARGER EN PDF

Plus d'informations sur "Support et Maintenance Atelier B"

Copy link
Powered by Social Snap