dimanche 27 mai 2007

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

Aucun commentaire:

 
Site Meter