Une approche pour la réutilisation des spécifications de logiciels. Application au domaine de la sécurité des systèmes de transport guidés
Résumé
Cet article présente une approche permettant de faciliter la tâche d’interprétation des besoins de l’utilisateur en vue de mieux préparer l’élaboration et l’évaluation des spécifications de logiciels. Cette approche consiste à modéliser, à capitaliser et à réutiliser les spécifications de logiciels impliqués dans des systèmes de transport guidés déjà développés. L’objectif est de construire un modèle de spécifications, suffisamment générique pour pouvoir servir, d’une part, de base de travail lors de l’élaboration de nouvelles spécifications et, d’autre part, de «grille d’évaluation» lors de l’analyse de spécifications existantes. Ce modèle est élaboré à partir de l’acquisition de connaissances relatives aux dossiers de spécifications de deux systèmes de transport différents déjà certifiés. Les connaissances acquises ont été structurées en trois types : connaissances structurelles, connaissances fonctionnelles et données complémentaires. Quatre types de relations ont été définis, permettant d’organiser les connaissances précédemment citées : liens structurels, liens fonctionnels, liens séquentiels et contraintes. À ce jour, ce modèle est en cours d’élaboration et de validation. Cependant, l’application de la démarche proposée à un exemple représentatif du domaine de la sécurité des systèmes de transport guidés : le pilotage automatique, a permis de montrer le bien fondé du modèle établi. En effet, nous avons pu vérifier la possibilité d’extraire, de modéliser et de réutiliser des connaissances communes à plusieurs dossiers de spécifications.