Ingénierie des MOdèles de FonctIons Sécuritaires – IMOFIS

Il s'agit de développer un méta-modèle avec ses mécanismes et ses outils de contrôle applicables aux développements de systèmes mettant en œuvre des applications sécuritaires distribuées.Il ne s'agit pas de développer une nouvelle approche de définition d'un système, il s'agit plutôt de définir les entités (patterns, objets, comportements…) relatifs à un point de vue « Sécurité », ce qui correspond à une innovation.
Il va donc être possible de développer un système de façon incrémentale en partant des exigences de besoin, de modéliser les entités, les comportements/propriétés, les exigences qui sont du ressort de la 'sécurité' et, par décomposition successive, permettre de caractériser l'ensemble des contraintes que doit satisfaire une application logicielle critique.
Ceci sera à intégrer dans un processus de développement système d'un industriel comme Alstom ou Renault, que ce processus soit basé sur une approche par point de vue ou non.
Des mécanismes de vérification de propagation de propriétés (temporelle, information…) seront développées afin de contrôler la justesse de la décomposition.
La traçabilité ainsi offerte permettra de développer plus vite, de réutiliser, d'offrir une base de « preuve » instrumentée, ce qui est un élément critique dans le développement d'un tel système