Skip to Main content Skip to Navigation
Conference papers

Towards Handling Latency in Interactive Software

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 : Tuesday, September 8, 2020 - 9:26:02 AM
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⟩

Share

Metrics

Record views

191

Files downloads

257