Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

Yamine Aït-Ameur (1) , Idir Aït-Sadoune (1) , Mickael Baron (1, 2) , Jean-Marc Mota (1)

1 LISI [Poitiers] - Laboratoire d'informatique scientifique et industrielle [EA 1232]
2 MERLIN - Methods for interactive software ergonomics

Cet article s'intéresse à la validation et à la vérification formelles d'IHM Multi-Modales (IHM3). Il décrit une partie des résultats obtenus dans le cadre du projet RNRT VERBATIM, dont l'objet est la VERification Biformelle et l'Automatisation du Test des Interfaces Multimodales. Ce projet s'intéresse, entre autres, à la mise en œuvre d'une technique formelle fondée sur la preuve : la méthode B événementiel. Nous discutons les apports de cette technique pour la conception d'IHM3, en particulier, sa capacité à exprimer et à vérifier des propriétés de la famille CARE. Notre approche utilise et propose de formaliser des notations et techniques semi-formelles issues du domaine des IHM.

Mots clés: CARE properties; proof based technique; verification/validation; Multi-modal HCI

Mots clés: vérification sur modèles; vérification sur modèles; techniques formelles fondées sur la preuve; propriétés CARE; IHM multi-modales

Domaines: Modélisation et simulation; Interface homme-machine [cs.HC]

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.. 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩. ⟨hal-00633908⟩