Un cadre d’études pour une approche temps-réel de l’ingénierie des IHM à contraintes temporelles
Résumé
Cet article propose un cadre d’études pour une nouvelle approche du processus d’ingénierie des Interfaces Homme-Machine devant respecter des contraintes temporelles. Pour cette catégorie d'IHM, le respect des temps de réaction est un paramètre essentiel de leur utilisabilité, et plus encore pour certains domaines d’application, de la sécurité du système dans son ensemble. Après un panorama d’exemples tirés de divers domaines d’application, nous montrons que les solutions actuellement adoptées visent à obtenir une marge de sécurité raisonnable vis-à-vis des fautes temporelles, mais ne garantissent en aucun cas une sécurité totale. Nous définissons dans cet article la caractéristique d’Interface Homme-Machine Temps-Réel (IHM-TR). De plus, nous montrons que les propriétés de ces IHM-TR peuvent être assurées grâce à une approche temps-réel basée sur la spécification d’échéances et l’utilisation de méthodes de validation temporelles. En corollaire, nous proposons deux modélisations distinctes des systèmes interactifs selon qu’ils s’apparentent à des systèmes de pilotage ou de supervision
Origine | Fichiers produits par l'(les) auteur(s) |
---|