| Abstract |
In this talk I will introduce an application of an agent-based approach to the analysis of the dynamics of accidents and incidents in aviation. The approach makes use of agent-based simulation on the one hand, and of formal verification of dynamic properties on the other hand. The simulation part enables the analyst to explore various hypothetical scenarios under different circumstances, with an emphasis on error related to human factors. The formal verification part enables the analyst to identify scenarios involving potential hazards, and to relate those hazards (via so-called interlevel relations) to inadequate behaviour on the level of individual agents. The approach is illustrated by means of a case study on a runway incursion incident.
|