Development of a computational model for the prediction of mental workload in air traffic control

该项目的目的是开发一种计算模型，可以测量通过空中部门的交通流量，并预测空中交通管制员将经历的工作量水平，以及空中交通管制员之间的分离故障的总体风险。其目的是开发一种可用于风险分析和情景规划的工具。这是一个多学科的项目，将人类记忆和推理的最新模型与分析人机系统的正式方法相结合。该项目将促进我们对复杂现实世界系统中人类记忆和推理的理解。

The aim of the project is to develop a computational model that can measure the flow of traffic through an air sector, and predict the level of workload that an air traffic controller will experience, as well as the overall risk of breakdowns in separation between aircaft. The purpose is to develop a tool that can be used for the purposes of risk analysis and scenario planning. This is a multidisciplinary project, integrating recent models of human memory and reasoning, with formal methods for the analysis of human-computer systems. The project will advance our understanding of human memory and reasoning in complex real-world systems.