Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord

ABSTRACT

Mode confusion is a serious problem in aviation safety. New avionics systems are complex and make it difficult for pilots to maintain awareness of the actual states or modes of the flight deck automation. This paper investigates whether it is possible to synthesize the intention of a pilot from the way she interacts with the equipments of the flight deck. It explores then how it would be possible to use such intention data for verifying and validating the behaviors of these equipments and to design new behaviors that take into account this intention in order to improve interactions with the pilot.

REFERENCES

• 1: 1. Bastide, R. Palanque, P. Petri Net based design of user driven interfaces using the Interactive Cooperative Objects formalism. In <i>Interactive Systems : Design, Specification and Verification</i>. Springer Verlag, 1994, pp 383-400.
• 2: P. Caspi , D. Pilaud , N. Halbwachs , J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.178-188, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41641]
• 3: 3. Crow, J., Javaux, D., Rushby, J. Models and Mechanized methods that Integrate Human Factors into Automation Design. <i>HCI-Aero 2000</i>, Toulouse, France, September 2000
• 4: 4. Halbwachs, N.,Caspi, P., Raymond, P., Pilaud, D. The synchronous dataflow programming language Lustre. In <i>Proceedings of IEEE, Vol. 79, No 9</i>, September 1991, pp 1305-1320
• 5: Nicolas Halbwachs , Fabienne Lagnier , Christophe Ratel, Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE, IEEE Transactions on Software Engineering, v.18 n.9, p.785-793, September 1992 [doi>10.1109/32.159839 ]
• 6: 6. Palmer, E. Oops, it did'nt arm : A Case Study of two Automaton Surprises. In <i>Proceedings of the 1995 Aviation Psychology Meeting</i>. 1995.
• 7: F. Paternó , G. Faconti, On the use of LOTOS to describe graphical interaction, Proceedings of the conference on People and computers VII, p.155-173, January 1993, York, United Kingdom
• 8: Daniel Pilaud , Nicolas Halbwachs, From a synchronous declarative language to a temporal logic dealing with multiform time, Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.99-110, September 1988, Warwick, United Kingdom
• 9: 9. Rushby, J. Using Model Checking, to Help Discover Mode Confusions and Other Automation Surprises. <i>3rd Workshop on Human Error Safety and System Development</i>, Liege, Belgium, 7-8 June 1999
• 10: 10. Woods, D.D., Leila, J.J, Cook, R.I., Starter, N.B. Behind human error : cognitive systems, computers ans insights. <i>Technical Report, Wright Patterson Air Force Base</i>. Dayton, 1994
• 11: 11. Yamakoa, T. Nishida, S. A Case-Based Design Support Method Incorporated with Designer's Intention Recognition. <i>In CADUI'96</i>, Namur, Belgium, June 1996

INDEX TERMS

Primary Classification:
  J. Computer Applications
  J.2 PHYSICAL SCIENCES AND ENGINEERING
      Subjects: Astronomy

Additional Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.3 Formal Languages

  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)
          Subjects: Interaction styles (e.g., commands, menus, forms, direct manipulation)

General Terms:
Algorithms, Design, Verification

Keywords:
flight deck equipments, formal languages, intentions, interaction, lustre, verification