VERBATIM
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.
Début : Décembre 2003
Durée : 36 mois
Type : RNTL
