Aït-Ameur, Yamine and Aït-Sadoune, Idir and Baron, Mickael and Mota, Jean-Marc - Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

jips:59 - Journal d'Interaction Personne-Système, October 6, 2014, Volume 1
Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

Authors: Aït-Ameur, Yamine and Aït-Sadoune, Idir and Baron, Mickael and Mota, Jean-Marc

This paper focuses on the formal validation and verification of multi-modal human computer interfaces. It describes part of the obtained results of the French RNRT VERBATIM project whose purpose is the Multimodal Interfaces BIformal Verification and Test Automation. This project focuses on the application of a formal technique, namely the event B method. This approach is based on a proof technique and therefore it does not suffer from the state number explosion problem occurring in classical model checking. We outline the capability of this technique to support the design of multi-modal human computer interfaces, in particular, the capability to support the expression and the verification of properties issued from the CARE family. The proposed approach uses notations and semi-formal techniques issued from the HCI design area. We apply our approach on a case study called "CLIPS Yellow Pages".


Source : oai:HAL:hal-00634186v1
Volume: Volume 1
Published on: October 6, 2014
Submitted on: October 6, 2014
Keywords: [INFO:INFO_MO] Computer Science/Modeling and Simulation,[INFO:INFO_MO] Informatique/Modélisation et simulation,[INFO:INFO_HC] Computer Science/Human-Computer Interaction,[INFO:INFO_HC] Informatique/Interface homme-machine,IHM multi-modales,technique formelle fondée sur la preuve,vérification,validation,propriétés CARE,modèle de tâches


Share

Consultation statistics

This page has been seen 87 times.
This article's PDF has been downloaded 537 times.