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.
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal-enac.archives-ouvertes.fr/hal-02165690
Contributor : Pascal Béger <>
Submitted on : Wednesday, June 26, 2019 - 10:08:44 AM
Last modification on : Wednesday, July 24, 2019 - 11:50:44 PM

File

beger_afadl2019.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02165690, version 1

Collections

ENAC | LII

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⟩

Share

Metrics

Record views

43

Files downloads

35