Towards Handling Latency in Interactive Software - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Towards Handling Latency in Interactive Software

Sébastien Leriche
  • Fonction : Auteur
  • PersonId : 981599
Célia Picard
Daniel Prun
  • Fonction : Auteur
  • PersonId : 947486
Mathieu Magnaudet
  • Fonction : Auteur
  • PersonId : 957733


Usability of an interactive software can be highly impacted by the delays of propagation of data and events and by its variations, i.e. latency and jitter. The problem is striking for applications involving tactile interactions or augmented reality, where the shifts between interaction and representation can make the system unusable. For as much, latency is often taken into account only during the validation phase of the software by means of a value which constitutes an acceptable limit. In this short paper, we present and discuss an alternative approach: we want to handle the latency at all phases of the life cycle of the interactive software, from specification to runtime adaptation and formal validation for certification purposes. We plan to integrate and validate these ideas into Smala, our language dedicated to the development of highly interactive and visual user interfaces.
Fichier principal
Vignette du fichier
fmis2018.pdf (603.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01815224 , version 1 (13-06-2018)



Sébastien Leriche, Stéphane Conversy, Célia Picard, Daniel Prun, Mathieu Magnaudet. Towards Handling Latency in Interactive Software. FMIS 2018, 7th International Workshop on Formal Methods for Interactive Systems, Jun 2018, Toulouse, France. pp 233-239 /ISBN : 978-3-030-04770-2, ⟨10.1007/978-3-030-04771-9_18⟩. ⟨hal-01815224⟩


115 Consultations
186 Téléchargements



Gmail Mastodon Facebook X LinkedIn More