Projets de recherche

2003-2007 : Participation au projet ANR RNRT VERication Biformelle et Automatisation du Test d'Interfaces Multimodales (VERBATIM, http://iihm.imag.fr/nigay/VERBATIM/).

• Partenaires : CLEARSY – CLIPS/IIHM - FT R&D - LISI/ENSMA – LSR/VASCO – ONERA – SILICOMP/AQL
  

• Objectif du projet : De nombreuses applications de télécommunication mobile seront multimodales, intégrant dans un même terminal les différents modes d'interaction aujourd'hui en cours de banalisation : clavier-écran-souris, voix, stylets et médiateurs tactiles, interacteurs de simulation des applications ludiques, des interfaces de commande en aéronautique, des applications en cours de mise au point en réalité augmentée pour des besoins spécialisés en situation de mobilité. L'intégration de la multimodalité dans les services et terminaux mobiles engendre des besoins nouveaux de spécification et validation formelles. L'objet du projet VERBATIM est de construire une méthode formelle d'aide à l'ingénierie de telles interfaces homme-machine communicantes. On s'attachera plus particulièrement à mettre au point une méthode de validation/test à la fois formelle et garantissant un acceptabilité optimale de la part de l'utilisateur. Le formalisme exploitera la complémentarité des langages formels ensemblistes, principalement B, et celui des langages formels réactifs synchrones, principalement Lustre. Les modèles proviennent de la mise en commun de travaux sur la modélisation et validation des IHMs (Interfaces Homme-Machine) conventionnelles, et sur les travaux de conception d'architectures d'IHMs multimodales. L'ensemble du projet sera contrôlé par des recommandations d'ergonomie et par des tests d'usages socio-ergonomiques.
  

• Mon rôle : Développement d’une méthodologie de conception d’IHM multimodales basée sur le raffinement et la preuve en utilisant la méthode B Evénementiel.

2005-2009 : Participation au projet ANR RNTL Environmental Web Ontology Knowledge Hub (E-wok-hub, http://www-sop.inria.fr/edelweiss/projects/ewok/).

• Partenaires : INRIA, EADS, ENSMP, IFP, BRGM, LISI/ENSMA, CRITT Informatique (Poitiers).
  

• Objectif du projet :e projet e-Wok Hub a pour objectif de tirer bénéfice des travaux entrepris sur le web sémantique pour développer des systèmes opérationnels autorisant la coopération sur internet entre différentes organisations (entreprises, instituts, ...) impliquées dans un Workflow d'ingénierie. Et ce, en mettant en place un ensemble de portails communicants proposant à la fois des applications web accessibles à des utilisateurs finaux et des services web accessibles aux applications métiers. Ces portails sont la brique de base d'une architecture dédiée à l'exploitation des techniques de traitement des données et des connaissances
  

• Mon rôle : Développement de services Web permettant d’effectuer des requêtes sur une base de données à base ontologique.