ACQUISITION AND STRUCTURATION OF KNOWLEDGE OF SAFETY-CRITICAL SOFTWARE SPECIFICATIONS
DARRICAU ; HADJ-MABROUK ; GANASCIA
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
DARRICAU ; HADJ-MABROUK ; GANASCIA
Résumé / Abstract
CET ARTICLE PRESENTE LES PREMIERS RESULTATS DE L¹ELABORATION D¹UN MODELE GENERIQUE DE SPECIFICATIONS. CE MODELE EST BASE SUR L¹ACQUISITION ET LA STRUCTURATION DE CONNAISSANCES ISSUES DE DOSSIERS DE SPECIFICATIONS DE PLUSIEURS SYSTEMES DE TRANSPORTS AUTOMATISES. L¹OBJECTIF PRINCIPAL DE CETTE ETUDE EST DE FACILITER LE PASSAGE ENTRE LES BESOINS D¹UN UTILISATEUR ET LA REDACTION DE SPECIFICATIONS DE LOGICIELS. APRES AVOIR EXAMINE DIFFERENTES NORMES, DANS LE BUT D¹IDENTIFIER LES CRITERES DE QUALITES REQUIS POUR UNE SPECIFICATION, CETTE ETUDE A ETE APPLIQUEE A UN CAS REEL, REPRESENTATIF DU DOMAINE DES SYSTEMES DE TRANSPORT : LE PILOTAGE AUTOMATIQUE.
