Ingénierie de l`Interaction Homme – Machine - LIAS

École Nationale Supérieure de Mécanique et d’Aérotechnique / Université de Poitiers
Laboratoire d’Informatique Scientifique et Industrielle (www.lisi.ensma.fr)
ENSMA - Téléport 2-1 Avenue Clément Ader - BP 40109 - 86961 FUTUROSCOPE CHASSENEUIL Cedex - France
Ingénierie de l’Interaction Homme – Machine
Vérification et Validation des Interfaces Homme – Machine
Introduction
K-MADe, Kernel of Model for Activity Description Environment
L’interaction Homme Machine (IHM) prend une place de plus en plus importante dans le
développement logiciel. Son caractère pluridisciplinaire, ainsi que la nécessaire prise en
compte des facteurs humains imposent de développer des méthodes et des techniques
spécifiques, dans toutes les étapes de la conception des applications.
Au sein du LISI, les travaux en IHM portent sur l’ingénierie des IHM, dans le but de
fournir méthodes et outils susceptibles d’aider au développement d’interfaces plus
sûres, dans le respect de la dimension humaine.
Les modèles de tâches, pour capturer au mieux les besoins utilisateurs
Les modèles de tâches occupent une place de plus en
plus importante dans le domaine de l’interaction
homme machine. La généralisation des approches
centrées-utilisateur a mis ces notations au centre du
recueil de l’activité. Malheureusement, la sémantique
de ces modèles s’avère trop souvent imprécise, ce qui
en limite fortement l’utilisation.
Les travaux menés au sein du LISI ont pour but de
définir une sémantique précise, qui permettra de
développer des méthodes de validation et de
conception des applications interactives. Ils s’inscrivent
dans la démarche d’Ingénierie Dirigée par les Modèles
(IDM), qui permet d’envisager une coopération entre
modèles.
L’outil K-MADe vise à permettre
l’édition et la modélisation de
modèles de tâches développés
suivant le formalisme K-MAD.
Cet outil est co-développé par le
LISI, dans le but de fournir des
outils adaptés à la conception
des applications interactives.
L’outil K-MADe (disponible à l’adresse : http://kmade.sourceforge.net/)
Modèles de dialogue
Le développement des IHM se
résume le plus souvent à un
assemblage
de
composants
graphiques dont le comportement
collectif n’est pas toujours maîtrisé.
La modélisation du dialogue permet
de garantir des propriétés liées à la
l’ergonomie des logiciels. Les
méthodes développées au LISI
permettent en plus de garantir une
bonne
modularité
du
développement, point essentiel
dans le développement itératif des
IHM
Méthodes formelles appliquées
aux IHM
Les méthodes formelles ont connu
un succès important dans le
domaine des IHM dans les années
90. De nombreuses preuves de
concepts ont été avancées, mais
peu de travaux ont résisté à
l’épreuve du passage à l’échelle.
Le LISI a développé de nombreux
travaux dans ce domaine, tant dans
le domaine de la preuve de
programmes (langage B) que dans
celui de la modélisation des
données (EXPRESS). Les travaux
menés dans le cadre du projet
VERBATIM ont permis d’établir des
résultats probants dans le domaine
de la multi-modalité
Projet RNRT VERBATIM
VERification Biformelle et
Automatisation du Test
d'Interfaces Multmodales
H4
Contrôleur de Dialogue
H2 : Hiérarchie des
interacteurs de contrôle
Adaptateur de
Noyau Fonctionnel
Adaptateur
de Présentation
H4 : Hiérarchie
des agents de
transformation
de l’espace
Projection
Noyau Fonctionnel
H3 : Hiérarchie des objets
abstraits
Présentation
H1 : Hiérarchie des objets de
présentation
http://iihm.imag.fr/nigay/VERBATIM/
Modèles d’architecture
Il n’est de bonne application sans architecture adaptée.
Les spécificités liées au développement des
applications interactives dans une philosophie centréeutilisateur conduisent à la nécessité de définir des
architectures spécifiques pour ces applications.
Le LISI a proposé un modèle destiné à mettre en œuvre
des dialogues complexes, et à favoriser la vérification
des applications. Les relations claires entre modules,
associées à une description externe du dialogue,
permettent de construire des outils de validation
efficaces, et plus particulièrement le test d’IHM.
Participants LISI
Projet UNIT
Composants pédagogiques en IHM
Le LISI a participé au projet de définition
de composants pédagogiques en IHM,
mené en partenariat avec l’École des
Mines de Nantes, les universités de Lille et
de Rennes, dans le cadre de l’Université
Numérique Ingénierie et Technologie. Le
but d’UNIT est d’assurer une large diffusion
sur Internet de ressources pédagogiques
numériques capables de renforcer la
qualité et la visibilité des formations
offertes par les partenaires d'UNIT.
Cinq composants pédagogiques ont ainsi
été développés pour servir de ressource
aux cours d’IHM.
http://www.unit.eu/site_institutionnel
• Yamine AÏT-AMEUR
• Idir AÏT-SADOUNE – Doctorant – MESR
• Mickaël BARON
• Sybille CAFFIAU – Doctorant – MESR
• Patrick GIRARD
• Laurent GUITTET
• Loé SANOU – Doctorant – AUF
Collaborations
• CLIPS Grenoble
• École des Mines de Nantes
• INRIA Rocquencourt
• IRISA Rennes
• LAMIH Valenciennes
• USTL Lille