Skip to Main content Skip to Navigation
Theses

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

Résumé : Les interfaces homme-machine (IHM) multimodales offrent à l’utilisateur la possibilité de combiner les modalités d’interaction afin d’augmenter la robustesse et l’utilisabilité de l’interface utilisateur d’un système. Plus particulièrement, en sortie, les IHM multimodales permettent au système de restituer à l’utilisateur, l’information produite par le noyau fonctionnel en combinant sémantiquement plusieurs modalités. Dans l’optique de concevoir de telles interfaces pour des systèmes critiques, nous avons proposé un modèle formel de conception des interfaces multimodales en sortie. Le modèle proposé se décompose en deux modèles : le modèle de fission sémantique qui décrit la décomposition de l’information à restituer en informations élémentaires, et le modèle d’allocation qui spécifie l’allocation des modalités et médias aux informations élémentaires. Nous avons également développé une formalisation B Événementiel détaillée des deux modèles : fission sémantique et allocation. Cette formalisation a été instanciée sur des études de cas puis généralisée dans un processus de développement B Événementiel cadre dans lequel s’inscrivent les modèles de fission sémantique et d’allocation. Cette formalisation a permis de procéder à la vérification de propriétés de sûreté, de vivacité et d’utilisabilité.
Document type :
Theses
Complete list of metadatas

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 : Thursday, May 16, 2019 - 10:38:03 AM
Document(s) archivé(s) le : 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

647

Files downloads

1495