Towards Handling Latency in Interactive Software

Sébastien Leriche (1) , Stéphane Conversy (1) , Célia Picard (1) , Daniel Prun (1) , Mathieu Magnaudet (1)

1 ENAC - Ecole Nationale de l'Aviation Civile

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.

Domaines: Interface homme-machine [cs.HC]

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⟩