Services ferroviaires
Val de Roissy
Siemens Transportation Systems (STS) sous-traite avec CLEARSY la réalisation avec B des logiciels sécuritaires des automatismes du futur VAL de ROISSY.
Développement des logiciels sécuritaires SIL4 des automatismes fixes du futur Val de Roissy
> RÉALISATION DU LOGICIEL SÉCURITAIRE AVEC LA MÉTHODE B
Siemens Transportation Systems (STS) sous-traite avec CLEARSY la réalisation avec B des logiciels sécuritaires des automatismes du futur VAL de ROISSY : Unité de Contrôle des Alarmes (UCA) et les Pilotes Automatiques De Section (PADS), pour le compte de Siemens.
Ces logiciels représentent environ 150 000 ligne d’ADA au final.
Ces logiciels sont classés SIL4 selon la norme IEC61508 : EN50126, EN50128, EN50129.
Quelques chifres
Sur la ligne L1 du VAL inaugurée le 4 Avril 2007, 2 calculateurs ont été installés : l’UCA et le PADS (autant de PADS que de besoin – S pour Section).
Pour le logiciel PADS :
- 186 440 lignes pour le code Ada sécuritaire de l’AS (AS – Application de Sécurité)
- 30 632 lignes pour le code Ada non-sécuritaire de l’AS
- nombre de Preuves mathématiques : 62 056
- nombre de lignes B : 256 653 lignes
Pour le logiciel UCA :
- 50 085 lignes pour le code Ada sécuritaire de l’AS
- 11 662 lignes pour le code Ada non-sécuritaire de l’AS
- nombre de Preuves mathématiques : 12 811
- nombre de lignes B : 65 722 lignes
Le nombre de lignes de B effectives est moindre que celui annoncé car il y a prise en compte des commentaires, dont des commentaires qui guident les raffinements.