Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

RAPPORT

Langue

francais

Auteur

MARIANO

Résumé / Abstract

L'utilisation effective de la méthode b en milieu industriel constitue l'expression principale de son succès. Ce dernier est du essentiellement à la disponibilité d'outils stables supportant l'intégralité du processus formel. Sans négliger l'importance des aspects théoriques du développement formel de logiciel, la disponibilité d'outils adaptés est un enjeu stratégique a plusieurs titres : - 1. Le développement logiciel (et en particulier ses aspects économiques) ne se réduit pas aux seuls aspects formels. Ainsi, une bonne intégration dans le processus global (expression des besoins, gestion, développement, tests) est cruciale pour l'aboutissement d'un projet. - 2. L'impact croissant des technologies logicielles génère dans le même temps, un accroissement des exigences en matière de sureté de fonctionnement et une multiplication des domaines à couvrir (automobile, commerce électronique, télécommunications). Très rapidement, la mise en place de systèmes complexes (en particulier, logiciels) nécessitera la mise en ?uvre simultanée de plusieurs formalismes/modèles qu'ils soient informels ou formels. A échelle industrielle, cette 'collaboration' ne pourra s'établir que par la disponibilité d'outils spécifiques. Sur la base de présentations des outils actuellement développés, indépendamment de leurs origines et degrés de finalisation, les journées 'outils pour et autour de b' seront l'occasion de recenser les ressources disponibles, d'évaluer les technologies utilisées, de préciser les besoins pour améliorer et enrichir l'outillage relatif àa l'emploi (au sens large) de la méthode b.