Skip to main content
SpringerLink
Log in

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems

  • Conference paper
Computer Safety, Reliability, and Security (SAFECOMP 2008)

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

Included in the following conference series:

Abstract

The paper proposes a formal description technique and a supporting tool that provide a means to handle both static and dynamic aspects of input and output device configurations and reconfigurations. More precisely, in addition to the notation, the paper proposes an architecture for the management of failure on input and output devices by means of reconfiguration of in/output device configuration and interaction techniques. Such reconfiguration aims at allowing operators to continue interacting with the interactive system even though part of the hardware side of the user interface is failing. These types of problems arise in domains such as command and control systems where the operator is confronted with several display units. The contribution presented in the paper thus addresses usability issues (improving the ways in which operators can reach their goals while interacting with the system) by increasing the reliability of the system using diverse configuration both for input and output devices.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Accot, J., Chatty, S., Maury, S., Palanque, P.: Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems. In: 4th EUROGRAPHICS workshop on design, specification and verification of Interactive systems, Spain, 5-7 june 1997, pp. 143–159. 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. Bastide, R., Palanque, P., Sy, O., Navarre, D.: Formal specification of CORBA services: experience and lessons learned. In: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Minneapolis, Minnesota, United States). OOPSLA 2000, pp. 105–117. ACM, New York (2000)

    Chapter  Google Scholar 

  5. Bastide, R., Sy, O., Navarre, D., Palanque, P.: A formal specification of the CORBA event service. IFIP TC6/WG6.1. In: 4th international conference on formal methods for open object-based distributed systems (FMOODS), Stanford univ., California, USA, pp. 371–395. Kluwer, Dordrecht (2000)

    Google Scholar 

  6. Bastide, R., Palanque, P., Sy, O., Le, D.-H., Navarre, D.: PetShop a case tool for Petri net based specification and prototyping of Corba Systems. In: Tool demonstration with Application and Theory of Petri nets ATPN 1999, Williamsburg (USA). LNCS, pp. 66–83. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. Bastide, R., Navarre, D., Palanque, P., Schyn, A., Dragicevic, P.: A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. In: Sixth International Conference on Multimodal Interfaces (ICMI 2004), Pennsylvania State University, USA, October 14-15, 2004, pp. 243–250. ACM Press, New York (2004)

    Chapter  Google Scholar 

  8. Barboni, E., Navarre, D., Palanque, P., Basnyat, S.: Exploitation of Formal Specification Techniques for ARINC 661 Interactive Cockpit Applications. In: Proceedings of HCI aero conference (HCI Aero 2006), Seattle, USA, pp. 81–89 (September 2006)

    Google Scholar 

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

  10. Csíkszentmihályi, M.: Flow: The Psychology of Optimal Experience. Harper and Row, New York (1990) ISBN 0-06-092043-2

    Google Scholar 

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

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

  13. Feiler, P., Li, J.: Consistency in dynamic reconfiguration. In: International Conference on Configurable Distributed Systems, Annapolis, MD, pp. 189–196. IEEE, Los Alamitos (1998)

    Chapter  Google Scholar 

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

    Google Scholar 

  15. Lakos, C.: Language for Object-Oriented Petri Nets. #91-1. Department of Computer Science, University of Tasmania (1991)

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

  18. 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. CD-ROM proceedings (2004)

    Google Scholar 

  19. Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: Ninth International Conference on Space Operations, Rome, Italy, June 18-22, CD-ROM proceedings (2006)

    Google Scholar 

  20. Petri, C.A.: Kommunikation mit Automaten. Technical Univ. Darmstadt (1962)

    Google Scholar 

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

    Google Scholar 

  22. Ríos, S.A., Velásquez, J.D., Yasuda, H., Aoki, T.: Web Site Off-Line Structure Reconfiguration: A Web User Browsing Analysis, in Knowledge-Based Intelligent Information and Engineering Systems. 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 

  23. User Interface Management Systems, Eurographics Seminar, Seeheim, 1983. In: Pfaff, G. (ed.). Springer, Heildberg (1983)

    Google Scholar 

  24. van Dam, A.: Post-WIMP user interfaces. Commun. 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 & 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. Sandra Basnyat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing Science, Newcastle University, Claremont Tower, NE1 7RU, Newcastle upon Tyne, UK

    Michael D. Harrison

  2. Health Sciences Research Institute, University of Warwick, Coventry, CV4 7AL, UK

    Mark-Alexander Sujan

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Navarre, D., Palanque, P., Basnyat, S. (2008). A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. In: Harrison, M.D., Sujan, MA. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2008. Lecture Notes in Computer Science, vol 5219. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87698-4_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87698-4_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87697-7

  • Online ISBN: 978-3-540-87698-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation