DEPLOY

Objectifs du projet

L’objectif du projet est le transfert industriel de méthodes et outils permettant le développement rigoureux de logiciels, en utilisant des méthodes rigoureuses. Il s’inscrit dans la lignée de plusieurs projets de recherche dans les programmes précédents, notamment le FP5 Matisse (développement de la méthode Event-B) et le FP6 RODIN (développement d’outils ouverts supportant la méthode Event-B).

La recherche menée dans le projet est fortement dirigée vers l’applicabilité industrielle des résultats des projets précédents en termes de formation, d’adaptation des méthodes et outils aux besoins des industriels et de la réalisation d’études de cas avec des industriels représentatifs de plusieurs secteurs majeurs : l’automobile, l’aérospatial, le ferroviaire et les systèmes d’information d’entreprises.

Le projet doit ainsi démontrer l’apport des méthodes en termes de productivité et fiabilité, ainsi que les changements à mettre en oeuvre pour aboutir à de tels gains.

Résultats du projet

• Guides méthodologiques, plan de formation et rapports d’expérience pour l’application industrielle de méthodes et outils formels considérés afin d’optimiser leur impact sur la fiabilité et la productivité, en particulier dans les domaines automobile, aérospatial, du transport, de l’e-business.
• Extensions industrielles de la méthode notamment au niveau du raisonnement sur la fiabilité (probabilités), la gestions des exigences, et les techniques de validation (animation) et de vérification (preuve plus performante, model-checking).
• Evolution et extension de la plateforme ouverte RODIN pour répondre aux besoins industriels en termes de robustesse, d’interface, de nouvelles fonctionnalités notamment en ingénierie des exigences, modélisation spécifique au domaine, gestion de la fiabilité et de la productivité.

Plus-value du projet pour les entreprises

Pour les industriels, pour rester compétitif, il est impératif d’atteindre des niveaux de fiabilité de plus en plus élevé qui est actuellement assuré par leur excellence en ingénierie. Deploy fournira une méthodologie validée pour introduire des techniques d’ingénierie formelle de manière contrôlée et mesurable, sur base d’expérimentations à large échelle conduites simultanément dans 5 secteurs industriels majeurs dont le cœur de métier est la construction de systèmes critiques.

Deploy fournira un environnement de développement open source professionnel pour l’ingénierie formelle, basé sur la plateforme ouverte RODIN, basée sur Eclipse. Cette plateforme est extensible et des plugins adressant des besoins spécifiques existent ou viendront étoffer la plateforme.

Deploy intégrera des réponses à des problèmes particuliers d’ingénierie fréquemment rencontrés par les industriels tels que la validation des exigences, la complexité des tests, la difficulté de maintenir la qualité et la sécurité des systèmes lors de leur évolution et les problèmes liés à l’intégration de composants d’origines diverses. Ceci permettra aux industriels de réaliser de réels améliorations dans leurs processus et à terme, contribuera à l’amélioration des pratiques industrielles en Europe de manière globale.

Partenaires du projet

Factsheet