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.
Mais bien de nos étudiants ne semblent guère intéressés.
Ils n'ont pas besoin de méthode ! espérons qu'ils ne
réaliseront pas de logiciels dangereux pour votre vie ou votre
porte-monnaie !

" 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 ligne 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."