Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie

Abstract : Multimodal Human-Computer Interfaces (HCI) offer to users the possibility to combine interaction modalities in order to increase user interface robustness and usability. Specifically, output multimodal HCI allow system to return to the user, the information generated by the functional core by combining semantically different modalities. In order to design such interfaces for critical systems, we proposed a formal model for the design of output multimodal interfaces. The proposed model consists of two models: the semantic fission model describes the decomposition of the information to return into elementary information and the allocation model specifies the allocation of the elementary information with modalities and media. We have also developed a detailed Event B formalization for the two models: semantic fission and allocation. This formalization has been instantiated on case studies and generalized in an Event B development process framework including semantic fission and allocation models. This formalization allows to carry out safety, liveness and usability properties verification.
Document type :
Theses
Complete list of metadatas

Cited literature [175 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01127547
Contributor : Abes Star <>
Submitted on : Saturday, March 7, 2015 - 3:24:39 AM
Last modification on : Thursday, May 16, 2019 - 10:38:03 AM
Long-term archiving on : Monday, June 8, 2015 - 3:51:27 PM

File

2014ESMA0022.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01127547, version 1

Collections

Citation

Linda Mohand Oussaïd. Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie. Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2014. Français. ⟨NNT : 2014ESMA0022⟩. ⟨tel-01127547⟩

Share

Metrics

Record views

562

Files downloads

1318