thesis

Contribution a la reutilisation de connaissances pour l'aide a l'elaboration et a l'evaluation des specifications de logiciels : application a la securite des systemes de transport guides

Defense date:

Jan. 1, 1999

Edit

Institution:

Paris 6

Disciplines:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

La phase d'interpretation des besoins de l'utilisateur en specifications de logiciel repose en grande partie sur l'experience et le savoir faire des experts du domaine. Cette phase constitue actuellement le talon d'achille du developpement d'un logiciel, car elle conditionne l'ensemble des phases avales de realisation et d'evaluation du logiciel. L'approche suivie pour apporter un element de reponse a ce probleme, repose essentiellement sur la reutilisation des connaissances contenues dans differents dossiers de specifications de logiciels deja valides et certifies. Cette demarche a debouche sur la construction d'une base de specifications en deux phases complementaires. La premiere phase consiste a amorcer la base a l'aide d'un modele de specifications. Ce modele est issu de l'acquisition et de la structuration de connaissances communes a differentes specifications. Il est represente par des graphes conceptuels desowa. La seconde phase de construction de la base de specifications consiste a enrichir la base en utilisant le modele comme format d'acquisition de nouvelles specifications. Afin de montrer la faisabilite de l'approche proposee, nous avons focalise nos travaux sur un probleme representatif du domaine de la securite des transports guides : le systeme de pilotage automatique. L'approche proposee a ete mise en uvre au sein d'une maquette informatique permettant de reutiliser les connaissances de la base de specifications afin d'aider, d'une part a elaborer de nouvelles specifications, et d'autre part, a evaluer des specifications existantes.