PRESSE
NOS ARTICLES
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.
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.
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.
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.
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.