Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Contribution à la formalisation des propriétés graphiques des systèmes interactifs pour la validation automatique

Résumé : Dans la plupart des secteurs, les systèmes d'aujourd'hui sont interactifs et disposent d'in-terfaces graphiques sophistiquées. A notre connaissance, il existe peu d'études sur la vérifi-cation des propriétés spécifiques de la scène graphique des interfaces homme-machine et en particulier sur celles liées à la visibilité des composants graphiques par l'utilisateur humain. Dans ce papier, nous introduisons notre formalisme permettant de spécifier certaines proprié-tés des composants graphiques, dans l'objectif de réaliser à terme un outillage de validation automatique de ces propriétés. Nous illustrons l'usage de ce formalisme pour des propriétés extraites d'une norme décrivant un instrument critique présent dans les cockpits d'avions com-merciaux. Nous avons développé une version complètement fonctionnelle de cet instrument au moyen de Smala, un langage interactif de haut niveau produit par notre équipe. Cela nous permet de montrer la manière dont nous envisageons les opérations de validation formelle automatique de propriétés graphiques de tels systèmes.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal-enac.archives-ouvertes.fr/hal-02165690
Contributeur : Pascal BÉGER Connectez-vous pour contacter le contributeur
Soumis le : mercredi 26 juin 2019 - 10:08:44
Dernière modification le : mercredi 3 novembre 2021 - 08:17:59

Fichier

beger_afadl2019.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02165690, version 1

Collections

ENAC | LII | ANR

Relations

Citation

Pascal Béger, Valentin Becquet, Sébastien Leriche, Daniel Prun. Contribution à la formalisation des propriétés graphiques des systèmes interactifs pour la validation automatique. Afadl 2019, 18èmes journées Approches Formelles dans l’Assistance au Developpement de Logiciels, Jun 2019, Toulouse, France. ⟨hal-02165690⟩

Partager

Métriques

Consultations de la notice

162

Téléchargements de fichiers

131