Le Groupe de Recherche du Pôle se présente

Le GReP travaille à l’intersection de trois domaines : la théorie des systèmes, le génie logiciel et les méthodes formelles. La théorie mathématique des systèmes dynamiques fournit un socle de formalisation transversale à toutes les applications de modélisation et simulation. Les méthodes formelles permettent l’examen, par manipulation symbolique, des propriétés statiques et temporelles des modèles élaborés. Les techniques avancées du génie logiciel permettent, elles, de réaliser le prototypage rapide de ces modèles, leur interopérabilité et l’amélioration de leurs performances logicielles.

Le travail du GReP s’inscrit dans l’établissement d’un cadre formel de modélisation et simulation, supporté par un atelier logiciel permettant le prototypage rapide de modèles et utilisable comme laboratoire virtuel d’expérimentation. L’objectif est, d’une part, d’acquérir une compréhension fine des modèles de simulation et de ce qu’ils produisent, et d’autre part, de comprimer le temps de leur conception et de réduire les coûts de leur mise en œuvre.

Au niveau des infrastructures, la tendance est au passage progressif des architectures autonomes séquentielles ou parallèles, vers l’intégration à grande échelle d’architectures matérielles réparties (grille, Web, réseaux spécialisés à haut débit) et d’architectures logicielles hétérogènes.

Au niveau cadre opérationnel, il est nécessaire d’envisager des outils nouvelle génération qui satisfont les besoins conjugués :

• De prototypage rapide, à savoir une spécification facile et rapide et la génération automatique de code ;

• De facilité de déploiement de code ;

• D’interfaçage utilisateur, avec une assistance à la synthèse de trajectoire ;

• D’intégration de codes hétérogènes (multi paradigme, multi langage) et d’architectures matérielles hétérogènes ;

• D’environnement collaboratif (co-modélisation, réutilisation de spécification, de code et de trajectoire, archivage et extraction de modèle, de code et de résultats);

• D’utilisabilité, à la fois souple et ouverte (codes accessibles) pour des développeurs chevronnés, facile et intuitive via une (ou des) interface(s) pour utilisateurs novices.