Le VAL à Roissy et la méthode B

J.L. Boulanger nous informe sur le logiciel réalisé avec la

méthode B et l'Atelier B que nous enseignons (encore !) et
utilisons.


" quelques chiffres fournis par
l'industriel

Sur la ligne L1 du VAL inauguré le 4 Avril 2007
on a 2 calculateurs, l'UCA et
le PADS (autant de PADS que de besoin - S pour Section).

Pour le PADS :
    186 440 lignes  pour le code Ada sécu
de l'AS (AS - Application de Sécurité)
    30 632 lignes pour le code Ada non-sécu
de l'AS
    nombre de PO : 62 056
    nombre de lignes B : 256 653 lignes
Pour l'UCA :
    50 085 lignes pour le code Ada sécu
de l'AS
    11 662 lignes pour le code Ada
non-sécu de l'AS
    nbre de PO : 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.

Une seconde ligne pour l'aéroport CdG devrait
être inauguré en Juin 2007."

Pour des photos, voici les notres ici