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 multidisci ....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.Read moreRead less