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
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download
https://hal-enac.archives-ouvertes.fr/hal-01815224
Contributor : Laurence Porte <>
Submitted on : Wednesday, June 13, 2018 - 9:34:48 PM
Last modification on : Friday, May 24, 2019 - 3:20:10 PM
Long-term archiving on: Friday, September 14, 2018 - 3:02:22 PM

File

fmis2018.pdf
Files produced by the author(s)

Identifiers

Collections

ENAC | LII

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

146

Files downloads

191