Petri net-based modelling of human-automation conflicts in aviation

Ergonomics

Volumn 57, Issue 3, 2014, Pages 319-331

  Pizziol, Sergio ^a   Tessier, Catherine ^a   Dehais, Frédéric ^b  

^a ONERA   (France)

^b UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

automation surprise; conflict solving; human machine system; Petri net

Indexed keywords

AIRCRAFT ACCIDENTS; CRITICALITY (NUCLEAR FISSION); FLIGHT SIMULATORS; PETRI NETS;

AUTOMATION DESIGN; COMMON DENOMINATORS; CONFLICT SOLVING; DECISION FUNCTIONS; EXPERIMENTAL APPROACHES; HUMAN-AUTOMATION CONFLICTS; HUMAN-MACHINE SYSTEMS; PETRI NET MODELS;

AUTOMATION;

ADULT; AIRCRAFT; AUTOMATION; COMPREHENSION; COMPUTER SIMULATION; DECISION MAKING; DEVICES; FEMALE; HUMAN; MALE; MAN MACHINE INTERACTION; MIDDLE AGED; PSYCHOLOGY; TASK PERFORMANCE; THEORETICAL MODEL; WORKLOAD; YOUNG ADULT;

ADULT; AIRCRAFT; AUTOMATION; COMPREHENSION; COMPUTER SIMULATION; DECISION MAKING; FEMALE; HUMANS; MALE; MAN-MACHINE SYSTEMS; MIDDLE AGED; MODELS, THEORETICAL; TASK PERFORMANCE AND ANALYSIS; WORKLOAD; YOUNG ADULT;

EID: 84897434376     PISSN: 00140139     EISSN: 13665847     Source Type: Journal    
DOI: 10.1080/00140139.2013.877597     Document Type: Review

References (32)

1. Beringer, D. B., and H. C.HarrisJr. 1999. "Automation in General Aviation: Two Studies of Pilot Responses to Autopilot Malfunctions." The International Journal of Aviation Psychology9 (2): 155-174.
2. Billings, E.1996. Aviation Automation: The Search for a Human-Centered Approach. Mahwah, NJ: Lawrence Erlbaum.
3. Butler, R. W., S. P. Miller, J. N. Potts, and V. A. Carreno. 1998. "A Formal Methods Approach to the Analysis of Mode Confusion." Paper presented at the 17th Digital Avionics Systems Conference, Seattle, WA, October 31-November 7.
4. Cardoso, J., R.Valette, and D.Dubois. 1999. "Possibilistic Petri Nets." Systems, Man, and Cybernetics29 (5): 573-582.
5. Creissac Campos, J., and M. D.Harrison. 2008. "Systematic Analysis of Control Panel Interfaces Using Formal Tools." In Interactive Systems. Design, Specification, and Verification, edited by T. C. N.Graham and P.Palanque, vol. 5136, 72-85. Berlin, Heidelberg: Springer-Verlag.
6. Crow, J., D. Javaux, and J. Rushby. 2000. "Models and Mechanized Methods That Integrate Human Factors Into Automation Design." Paper presented at the International Conference on Human-Computer Interaction in Aeronautics: HCI-Aero, Toulouse, September 27-29.
7. David, R., and H.Alla. 2005. Discrete, Continuous, and Hybrid Petri Nets. Berlin: Springer.
8. Dehais, F., M.Causse, and S.Tremblay. 2011. "Mitigation of Conflicts With Automation: Use of Cognitive Countermeasures." Human Factors53 (5): 448-460.
9. Dehais, F., C. Tessier, and L. Chaudron. 2003. "GHOST: Experimenting Conflicts Countermeasures in the Pilot's Activity." Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 164-168, Acapulco, August 9-15.
10. Dehais, F., C. Tessier, L. Christophe, and F. Reuzeau. 2009. "The Perseveration Syndrome in the Pilot's Activity: Guidelines and Cognitive Countermeasures." Paper presented at the 7th International Working Conference on Human Error, Safety, and System Development (HESSD), 68-80, Brussels, September 23-25.
11. Dubois, D., and H.Prade. 1990. "An Introduction to Possibilistic and Fuzzy Logics." In Readings in Uncertain Reasoning, edited by G. Shafer and J. Pearl, 742-761. San Francisco, CA: Morgan Kaufmann.
12. Endsley, M. R.1999. "Level of Automation Effects on Performance, Situation Awareness and Workload in a Dynamic Control Task." Ergonomics42 (3): 462-492.
13. Feary, M.2005. "Formal Identification of Automation Surprise Vulnerabilities in Design." PhD thesis, Cranfield University.
14. Hoca, J.-M., M. S.Youngb, and J.-M.Blossevillec. 2009. "Cooperation Between Drivers and Automation: Implications for Safety." Theoretical Issues in Ergonomics Science10 (2): 135-160.
15. Holbrook, J., J. Orasanu, and C. McCoy. 2003. "Weather-related Decision Making by Aviators in Alaska." Proceedings of the 12th International Symposium on Aviation Psychology, 576-581, Dayton, OH, April 14-17.
16. Inagaki, T.2003. "Automation and the Cost of Authority." International Journal of Industrial Ergonomics31 (3): 169-174.
17. Javaux, D.2002. "A Method for Predicting Errors When Interacting With Finite State Systems. How Implicit Learning Shapes the User's Knowledge of a System." Reliability Engineering and System Safety75: 147-165.
18. Lesire, C., and C. Tessier. 2005. "Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty." Proceedings of the Applications and Theory of Petri Nets Conference, 329-348, Miami, FL, June 20-25.
19. Leveson, N. G., and E. Palmer. 1997. "Designing Automation to Reduce Operator Errors." Paper presented at the IEEE International Conference on Systems, Man, and Cybernetics, 2, 1144-1150, Miami, FL, October 12-15.
20. Orasanu, J., N.Ames, L.Martin, and J.Davison. 2001. "Cognitive and Contextual Factors in Aviation Accidents: Decision Errors." In Linking Expertise and Naturalistic Decision Making, edited by E.Salas, and G. A.Klein, 209-225. Mahwah, NJ: Lawrence Erlbaum.
21. Parasuraman, R.2000. "Designing Automation for Human Use: Empirical Studies and Quantitative Models." Ergonomics43 (7): 931-951.
22. Pizziol, S., C. Tessier, and F. Dehais. 2012. "What the Heck Is It Doing? Better Understanding Human-Machine Conflicts Through Models." CEUR Proceedings of the 1st Workshop on Rights and Duties of Autonomous Agents (RDA2) 2012, Vol. 885, 44-49, Montpellier, August 28.
23. Rome, F., G. Adam, J. Condette, M. Causse, and F. Dehais. 2012. "Go-around Manoeuver: A Simulation Study." European Association for Aviation Psychology Conference, Sardinia, Italy, September 22-26.
24. Rushby, J.2002. "Using Model Checking to Help Discover Mode Confusions and Other Automation Surprise." Reliability Engineering and System Safety75 (2): 167-177.
25. Rushby, J., J. Crow, and E. Palmer. 1999. "An Automated Method to Detect Potential Mode Confusions." Paper presented at the 18th AIAA/IEEE Digital Avionics Systems Conference, St Louis, MO, November 17-19.
26. Sandys, S. D., S. Koga, N. G. Leveson, L. D. Pinnel, and J. D. Reese. 1997. "Analyzing Software Specifications for Mode Confusion Potential." Workshop on Human Error and System Development, 132-146, Glasgow University, Glasgow, March 19-22.
27. Sarter, N. B., R.Mumaw, and C.Wickens. 2007. "Pilots' Monitoring Strategies and Performance on Automated Flight Decks: An Empirical Study Combining Behavioral and Eye-Tracking Data." Human Factors49: 347-357.
28. Sarter, N. B., and D. D.Woods. 1995. "How in the World Did We Ever Get Into That Mode? Mode Error and Awareness in Supervisory Control." Human Factors: The Journal of the Human Factors and Ergonomics Society37 (1): 5-19.
29. Sarter, N. B., D. D.Woods, and C. E.Billings. 1997. "Automation Surprises." In Handbook of Human Factors and Ergonomics, edited by G.Salvendy. 2nd ed, 1926-1943. New York: Wiley.
30. Weyer, J.2006. "Modes of Governance of Hybrid Systems. The Mid-Air Collision at Ueberlingen and the Impact of Smart Technology." Science, Technology & Innovation Studies2 (2): 127-149.
31. Wiener, E. L., and R. E.Curry. 1980. "Flight-deck Automation: Promises and Problem." Ergonomics23 (10): 995-1011.
32. Woods, D. D., and N. B.Sarter. 2000. "Learning From Automation Surprises and 'Going Sour' Accidents." In Cognitive Engineering in the Aviation Domain, edited by N.Sarter, and R.Amalberti, 327-353. New York: Lawrence Erlbaum.