Skip to main content
Springer Nature Link
Log in

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

  • Conference paper
Interactive Systems. Design, Specification, and Verification (DSV-IS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5136))

  • 579 Accesses

Abstract

This paper proposes an architecture that provides a means to handle failures of input and output devices. This handling is done by means of previously defined and designed configurations. According to the failure identified at runtime of the interactive system, the most appropriate configuration will be loaded and executed. Such reconfiguration aims at allowing operators to continue interacting with the interactive system even though part of the user interface hardware has failed. These types of problems arise in domains such as command and control systems where the operator is confronted with several display units and can use various combinations of input devices either in a mono-modal or in a multimodal manner.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Accot, J., Chatty, S., Maury, S., Palanque, P.: Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems (1,1 Mo). In: 4th EUROGRAPHICS workshop on design, Granada, Spain, June 5-7, 1997. Springer, Heidelberg (1997)

    Google Scholar 

  2. ARINC 661, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661 (2002)

    Google Scholar 

  3. ARINC 661-2, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661-2 (2005)

    Google Scholar 

  4. Bass, L., et al.: A metamodel for the runtime architecture of an interactive system: the UIMS tool developers workshop. In: SIGCHI Bulletin, vol. 24(1), pp. 32–37 (1992)

    Google Scholar 

  5. Barboni, E., Conversy, S., Navarre, D., Palanque, P.: Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. In: Doherty, G., Blandford, A. (eds.) DSVIS 2006. LNCS, vol. 4323, pp. 25–38. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Benyon, D., Murray, D.: Experience with Adaptive Interfaces. The Computer Journal 31(5), 465–473 (1988)

    Article  Google Scholar 

  7. Berti, S., Correani, F., Paternò, F., Santoro, C.: The TERESA XML Language for the Description of Interactive Systems at Multiple Abstraction Leveles. In: Proceedings Workshop on Developing User Interfaces with XML UIXML: Advances on User Interface Description Languages, May 2004, pp. 103–110 (2004)

    Google Scholar 

  8. Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Bouillon, L., Vanderdonckt, J.: A Unifying Reference Framework for multi-target user interfaces. Interacting with Computers 15(3), 289–308 (2003)

    Article  Google Scholar 

  9. Csíkszentmihályi, M.: Flow: The Psychology of Optimal Experience. Harper and Row, New York (1990)

    Google Scholar 

  10. Thevenin, D., Coutaz, J.: Plasticity of User Interfaces: Framework and Research Agenda. In: Proceedings of Interact 1999. Edinburgh: IFIP TC 13, vol. 1, pp. 110–117. IOS Press, Amsterdam (1999)

    Google Scholar 

  11. Eirinaki, M., Lampos, C., Paulakis, S., Vazirgiannis, M.: Web personalization integrating content semantics and navigational patterns. In: WIDM 2004: Proceedings of the 6th annual ACM international workshop on Web information and data management, pp. 72–79. ACM Press, New York (2004)

    Chapter  Google Scholar 

  12. Genrich, H.J.: Predicate/Transitions Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Levels Petri Nets: Theory and Application, pp. 3–43. Springer, Heidelberg (1991)

    Google Scholar 

  13. Hollnagel, E., Woods, D.D., Leveson, N.: Reliability Engineering, Ashgate, p. 397 (2006) ISBN 0754646416

    Google Scholar 

  14. Hassenzahl, M.: The Interplay of Beauty, Goodness, and Usability in Interactive Products. Human-Computer Interaction 19(4), 319–349 (2004)

    Article  Google Scholar 

  15. Kay, A.: Pragmatic User Modeling for Adaptive Interfaces, and Lies, Damned Lies and Stereotypes: pragmatic approximations of users. In: Proceedings of the User Modeling 94 Conference, pp. 175–184. The Mitre Corporation (1994)

    Google Scholar 

  16. MacKenzie, S., Zhang, S.X., Soukoreff, R.W.: Text entry using soft keyboards. Behaviour & Information Technology 18, 235–244 (1999)

    Article  Google Scholar 

  17. MacKenzie, S., Oniszczak, A.: A comparison of three selection techniques for touchpads. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Conference on Human Factors in Computing Systems, Los Angeles, California, United States, April 18 - 23, 1998, pp. 336–343. ACM Press/Addison-Wesley Publishing Co, New York (1998)

    Google Scholar 

  18. Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, vol. 15/3, pp. 309–328. Elsevier, Amsterdam (2003)

    Google Scholar 

  19. Navarre, D., Palanque, P., Bastide, R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specifications. In: HCI-Aero 2004, Toulouse, France, 29 September-1st (October 2004)

    Google Scholar 

  20. Nielsen, J.: Usability Engineering. Academic Press, London (1993)

    MATH  Google Scholar 

  21. Reason, J.: Human Error. Cambridge University Press, Cambridge (1990)

    Google Scholar 

  22. Rekimoto, J.: Pick-and-drop: a direct manipulation technique for multiple computer environments. In: Proceedings of the 10th Annual ACM Symposium on User interface Software and Technology. UIST 1997, Banff, Alberta, Canada, October 14 - 17, 1997, pp. 31–39. ACM, New York (1997)

    Chapter  Google Scholar 

  23. Ríos, S.A., Velásquez, J.D., Yasuda, H., Aoki, T.: Web Site Off-Line Structure Reconfiguration: A Web User Browsing Analysis. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol. 4252, pp. 371–378. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  24. Shneiderman, B.: Direct manipulation: a step beyond programming languages, August 1983. IEEE Computer Society Press, Los Alamitos (1983)

    Google Scholar 

  25. Summers, S.: Usability in Battle Management System Human-Machine Interface Design: Assessing Compliance with Design Guide Heuristics. In: Human Factors and Ergonomics Society Annual Meeting Proceedings, Computer Systems, pp. 709-713. Human Factors and Ergonomics Society (2007)

    Google Scholar 

  26. van Dam, A.: Post-WIMP user interfaces. Communications of the ACM 40(2), 63–67 (1997)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Research in Informatics of Toulouse (IRIT), University Paul Sabatier, 118, route de Narbonne, 31062, Toulouse Cedex 9, France

    David Navarre, Philippe Palanque, Jean-François Ladry & Sandra Basnyat

Authors
  1. David Navarre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philippe Palanque
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jean-François Ladry
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sandra Basnyat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

T. C. Nicholas Graham Philippe Palanque

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Navarre, D., Palanque, P., Ladry, JF., Basnyat, S. (2008). An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. In: Graham, T.C.N., Palanque, P. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2008. Lecture Notes in Computer Science, vol 5136. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70569-7_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-70569-7_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70568-0

  • Online ISBN: 978-3-540-70569-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics