Pr

1
ASTRÉE Analyse Statique de logiciels Temps-RÉel
Embarqués
Domaine abstrait
Programme correct
ANALYSEUR STATIQUE
Raffinement du domaine abstrait
non
Fausses alarmes
oui
     Deuxième phase lutilisateur final prouve
labsence derreurs à lexécution de nouveaux
logiciels de la famille par paramétrisation de
lanalyseur statique adaptatif
Programme
Correction
ANALSEUR PARAMÉTRABLE
Paramètres
Diagnostic
Fausse alarme ?
Erreur ?
Correct ?
Analyse
Contacts projet Patrick COUSOT, École normale
supérieure, cousot_at_ens.fr, Radhia COUSOT, École
polytechnique, Radhia.Cousot_at_polytechnique.fr,
Famantanantsoa RADIMBIVOLOLONA, Airbus France,
famanta.randim_at_airbus.com, http//www.di.ens.fr/c
ousot/projets/ASTREE