Journal article
Using Model Checking to Explore Checklist-Guided Pilot Behavior
The International journal of aviation psychology, v 22(4), pp 343-366
01 Jan 2012
Abstract
Pilot noncompliance with checklists has been associated with aviation accidents. This noncompliance can be influenced by complex interactions among the checklist, pilot behavior, aircraft automation, device interfaces, and policy, all within the dynamic flight environment. We present a method that uses model checking to evaluate checklist-guided pilot behavior while considering these interactions. We illustrate our approach with a case study of a pilot performing the "Before Landing" checklist. We use our method to explore how different design interventions could impact the safe arming and deployment of spoilers. Results and future research are discussed.
Metrics
Details
- Title
- Using Model Checking to Explore Checklist-Guided Pilot Behavior
- Creators
- Matthew L. Bolton - University of Illinois at ChicagoEllen J. Bass - University of Virginia
- Publication Details
- The International journal of aviation psychology, v 22(4), pp 343-366
- Publisher
- Taylor & Francis
- Number of pages
- 24
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Information Science
- Web of Science ID
- WOS:000310309900003
- Scopus ID
- 2-s2.0-84867493250
- Other Identifier
- 991019292234704721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Collaboration types
- Domestic collaboration
- Web of Science research areas
- Psychology, Applied