Contribution à la formalisation des propriétés graphiques des systèmes interactifs pour la validation automatique - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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

Pascal Béger
  • Fonction : Auteur
  • PersonId : 1033132
Sébastien Leriche
  • Fonction : Auteur
  • PersonId : 981599
Daniel Prun
  • Fonction : Auteur
  • PersonId : 947486

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.
Fichier principal
Vignette du fichier
beger_afadl2019.pdf (345.78 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02165690 , version 1 (26-06-2019)

Identifiants

  • HAL Id : hal-02165690 , version 1

Citer

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⟩

Collections

ENAC LII ANR
180 Consultations
178 Téléchargements

Partager

Gmail Facebook X LinkedIn More