Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Theses

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 metadata

Cited literature [175 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01127547
Contributor : ABES STAR :  Contact
Submitted on : Saturday, March 7, 2015 - 3:24:39 AM
Last modification on : Wednesday, October 20, 2021 - 3:22:22 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 Oussaid 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

384

Files downloads

788