A Scalable Theory of Behavior Composition for Practical Engineering Models of Human Performance. Minimizing human error and maximizing human performance is a major design goal in safety critical systems. The development of methods for affordable human performance modeling has widespread applicability for evaluating user-system interfaces. The compositional method explored here has been shown to make accurate predictions reduce model development time by an order of magnitude. Large safety critica ....A Scalable Theory of Behavior Composition for Practical Engineering Models of Human Performance. Minimizing human error and maximizing human performance is a major design goal in safety critical systems. The development of methods for affordable human performance modeling has widespread applicability for evaluating user-system interfaces. The compositional method explored here has been shown to make accurate predictions reduce model development time by an order of magnitude. Large safety critical applications, such as military or air traffic control systems, would benefit greatly. The proposed work tests whether the compositional methods will scale to more complex domains. The work will be coordinated with Australian industry, academia, and government research efforts.Read moreRead less
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