A MODEL FOR REUSING SPECIFICATIONS OF SAFETY-CRITICAL SOFTWARE IN THE FIELD OF AUTOMATED PEOPLE
DARRICAU ; HADJ-MABROUK ; GANASCIA
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
DARRICAU ; HADJ-MABROUK ; GANASCIA
Résumé / Abstract
DANS LE DOMAINE DES LOGICIELS DE SECURITE, LA NECESSITE D'ETABLIR DE BONNES SPECIFICATIONS EST DE PLUS EN PLUS GRANDE. AFIN DE PROPOSER UNE AIDE POUR ELABORER ET EVALUER CES SPECIFICATIONS, NOUS AVONS CONCU UN MODELE, BASE SUR LES SPECIFICATIONS DE PLUSIEURS SYSTEMES DE TRANSPORT GUIDES EXISTANTS. TROIS TYPES DE CONNAISSANCES : CONNAISSANCES STRUCTURELLES, CONNAISSANCES FONCTIONNELLES ET DONNEES COMPLEMENTAIRES ; ET QUATRE TYPES DE LIENS : LIENS STRUCTURELS, LIENS FONCTIONNELS, LIENS SEQUENTIELS ET CONTRAINTES ONT ETE IDENTIFIES. TOUS CES LIENS ET CONNAISSANCES SONT PRESENTS DANS LES SPECIFICATIONS QUE NOUS AVONS EXAMINEES ET FONT DONC PARTIE DU MODELE. CELUI-CI EST REPRESENTE EN UTILISANT UN MODE DE REPRESENTATION ISSU DU DOMAINE DE L'INTELLIGENCE ARTIFICIELLE : LES GRAPHES CONCEPTUELS DE SOWA. CE MODE DE REPRESENTATION PERMET DE METTRE EN OEUVRE LE MODELE, SOIT POUR AIDER A ELABORER DE NOUVELLES SPECIFICATIONS, SOIT POUR AIDER A EVALUER DES SPECIFICATIONS DEJA EXISTANTES.
