We survey the landscape of human operator modeling ranging from the early cognitive models developed in artificial intelligence to more recent formal task models developed for model-checking of human machine interactions. We review human performance modeling and human factors studies in the context of aviation, and models of how the pilot interacts with automation in the cockpit. The purpose of the survey is to assess the applicability of available state-of-the-art models of the human operators for the design, verification and validation of future safety-critical aviation systems that exhibit higher-level of autonomy, but still require human operators in the loop. These systems include the single-pilot aircraft and NextGen air traffic management. We discuss the gaps in existing models and propose future research to address them.

翻译：我们综述了人类操作员建模的发展历程，从早期人工智能领域的认知模型，到近期为验证人机交互而开发的形式化任务模型。我们在航空背景下回顾了人类绩效建模与人因研究，以及飞行员在驾驶舱中与自动化系统交互的模型。本综述旨在评估现有最先进的人类操作员模型在设计与验证未来高自主性但仍需人类操作员参与的安全关键航空系统（包括单飞行员飞机与下一代空中交通管理系统）中的适用性。我们讨论了现有模型存在的空白，并提出了针对性的未来研究方向。