PRESSE


NOS ARTICLES


picto-3

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

picto-pdf

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   pictos-fleche1

picto-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   pictos-fleche1

picto-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   pictos-fleche1

picto-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   pictos-fleche1

picto-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   pictos-fleche1