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

Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie (Document en Français)

Accès au(x) document(s)

Accéder au(x) document(s) :

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Mohand Oussaïd (Mohand Oussaid), Linda

Mohand Oussaïd (Mohand Oussaid), Linda

Nom

Mohand Oussaïd

Nom de naissance

Mohand Oussaid

Prénom

Linda

Nationalité

Date de soutenance : 16-12-2014

Directeur(s) de thèse : Aït-Ameur Yamine

Aït-Ameur, Yamine

Nom

Aït-Ameur

Prénom

Yamine

- Aït-Sadoune Idir

Aït-Sadoune, Idir

Nom

Aït-Sadoune

Prénom

Idir

Etablissement de soutenance : Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Nom

Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Laboratoire : Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Nom

Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Ecole doctorale : École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

Nom

École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

Informations générales

Discipline : Informatique et applications
Classification : Informatique

Mots-clés libres : Multimodalité en sortie, Raffinement, Preuve de théorème
Mots-clés :

Interfaces utilisateur (informatique)
Interaction humain-machine
B (méthode formelle)
Conception de systèmes informatiques
Analyse des systèmes

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é.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2014ESMA0022
Type de ressource : Thèse

Fiche descriptive