Vérification et validation de logiciels critiques à l'aide du langage LUSTRE
ARAMA
Type de document
RAPPORT DE STAGE
Langue
francais
Auteur
ARAMA
Résumé / Abstract
DANS LE CADRE DE CE STAGE, IL S'AGISSAIT DE FAIRE EVOLUER AGAPE, OUTIL DE VERIFICATION DE SPECIFICATION EN FONCTION DE PROPRIETES DE SECURITE, UTILISANT UNE MODELISATION DE L'ENVIRONNEMENT, ASSOCIE AU LANGAGE LUSTRE, ACTUELLEMENT SOUS FORME DE MAQUETTE, VERS UN OUTIL PLUS PERFORMANT ET PLUS SIMPLE D'UTILISATION. DE PLUS UNE METHODE AUTOMATIQUE DE PRODUCTION ET DE DEPOUILLEMENT DE SCENARIOS DE TESTS FONCTIONNELS A ETE DEVELOPPEE A PARTIR D'AGAPE. (ETUDE ENCADRÉE PAR D. BIED-CHARRETON, Resp. INRETS-ESTAS).
