Towards Handling Latency in Interactive Software

  • Sébastien Leriche
  • Stéphane Conversy
  • Celia Picard
  • Daniel Prun
  • Mathieu Magnaudet
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11176)


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 shor 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.


  1. 1.
    Beaudouin-Lafon, M.: Designing interaction, not interfaces. In: Proceedings of the Working Conference on Advanced Visual Interfaces, New York, NY, USA, pp. 15–22 . ACM (2004)Google Scholar
  2. 2.
    Myers, B.A., Rosson, M.B.: Survey on user interface programming. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, New York, NY, USA, pp. 195–202 . ACM (1992)Google Scholar
  3. 3.
    MacKenzie, I.S., Ware, C.: Lag as a determinant of human performance in interactive systems. In: Proceedings of the INTERACT 1993 and CHI 1993 Conference on Human Factors in Computing Systems, New York, NY, USA, pp. 488–493. ACM (1993)Google Scholar
  4. 4.
    Ware, C., Balakrishnan, R.: Reaching for objects in VR displays: lag and frame rate. ACM Trans. Comput.-Hum. Interact. 1(4), 331–356 (1994)CrossRefGoogle Scholar
  5. 5.
    Cordeil, M., Dwyer, T., Hurter, C.: Immersive solutions for future air traffic control and management. In: Proceedings of the 2016 ACM Companion on Interactive Surfaces and Spaces, New York, NY, USA, pp. 25–31. ACM (2016)Google Scholar
  6. 6.
    Chatty, S., Magnaudet, M., Prun, D., Conversy, S., Rey, S., Poirier, M.: Designing, developing and verifying interactive components iteratively with djnn. In: proceedings of ERTS 2016, TOULOUSE, France, January 2016Google Scholar
  7. 7.
    Antoine, P., Conversy, S.: Volta: the first all-electric conventional helicopter. In: MEA 2017, More Electric Aircraft, Bordeaux, France, February 2017Google Scholar
  8. 8.
    Chatty, S., Magnaudet, M., Prun, D.: Verification of properties of interactive components from their executable code. In: Proc of EICS 2015, New York, NY, USA, pp. 276–285. ACM (2015)Google Scholar
  9. 9.
    Matougui, M.E.A., Leriche, S.: Validation of COSMOS DSL programs. The 2010 International Conference on Computer Engineering & Systems, pp. 307–313 (2010)Google Scholar
  10. 10.
    Prun, D., Magnaudet, M., Chatty, S.: Towards support for verification of adaptative systems with djnn. Proc. Cogn. (03 2015), 191–194 (2015)Google Scholar
  11. 11.
    Zabolotny, W.M.: Automatic latency balancing in VHDL-implemented complex pipelined systems. CoRR abs/1509.08111 (2015)Google Scholar
  12. 12.
    Casiez, G., Pietrzak, T., Marchal, D., Poulmane, S., Falce, M., Roussel, N.: Characterizing latency in touch and button-equipped interactive systems. In: Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology, New York, NY, USA, pp. 29–39. ACM (2017)Google Scholar
  13. 13.
    Puschner, P., Burns, A.: Guest editorial: a review of worst-case execution-time analysis. Real-Time Syst. 18, 115–128 (2000)CrossRefGoogle Scholar
  14. 14.
    Asavoae, M., Maiza, C., Raymond, P.: Program semantics in model-based WCET analysis: a state of the art perspective. In: Maiza, C. (ed.) 13th International Workshop on Worst-Case Execution Time Analysis, vol. 30, pp. 32–41. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Wadern, Germany (2013)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Sébastien Leriche
    • 1
  • Stéphane Conversy
    • 1
  • Celia Picard
    • 1
  • Daniel Prun
    • 1
  • Mathieu Magnaudet
    • 1
  1. 1.ENACUniversity of ToulouseToulouseFrance

Personalised recommendations