Studying Aviation Incidents by Agent-Based Simulation and Analysis
Tibor Bosse, Nataliya M. Mogles, J. Filipe · VU Research Portal · 2013
The current paper presents an approach for analysis of aviation incidents that takes a multi-agent perspective, and is based on formal methods. A multi-agent simulation framework is presented that addresses both the behaviour of individual agents (operators, pilots) as well as their mutual communication, and interaction with technical systems. By manipulating various parameters in the model, different scenarios can be explored. Moreover, by means of automated checks of dynamic properties, these scenarios can be assessed with respect to their likelihood of the occurrence of accidents. The approach is illustrated by a case study on a runway incursion incident at a large European airport in 1995.