Studying Aviation Incidents by Agent-based Simulation and Analysis - A Case Study on a Runway Incursion Incident

Tibor Bosse, Nataliya M. Mogles

2013

Abstract

This paper introduces an agent-based approach to analyse 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, and a number of advantages with respect to the current state-of-the-art are discussed.

References

  1. Blom H. A. P., Bakker G. J., Blanker P. J. G., Daams J., Everdij M. H. C., and Klompstra M. B. (2001). Accident risk assessment for advanced air traffic management. In: Donohue, G. L. and Zellweger, A. G. (eds.), Air Transport Systems Engineering, AIAA, pp. 463-480.
  2. Bosse, T., Jonker, C. M., Meij, L. van der, Sharpanskykh, A., and Treur, J. (2009). Specification and Verification of Dynamics in Agent Models. International Journal of Cooperative Information Systems, vol. 18, 2009, pp. 167-193.
  3. Bosse, T., Jonker, C. M., Meij, L. van der, and Treur, J. (2007). A Language and Environment for Analysis of Dynamics by Simulation. International Journal of Artificial Intelligence Tools, volume 16, issue 3, 2007, pp. 435-464.
  4. Bosse, T. and Mogles, N. (2012). Formal Analysis of Aviation Incidents. In: H. Jiang et al. (eds.). Proceedings of the 25th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, IEA/AIE'12. Springer Verlag, LNAI volume 7345, 2012, pp. 371-380.
  5. Everdij, M. H. C. (2004). Review of techniques to support the EATMP Safety Assessment Methodology. Report for EEC Safety Methods Survey project, Volume I and II.
  6. Hollnagel, E. (2004). Barriers and accident prevention. Aldershot: Ashgate.
  7. Jonker, C. and Treur, J. (2002). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. International Journal of Cooperative Information Systems, vol. 11, 2002, pp. 51-92.
  8. Leveson N. (2004). A new accident model for engineering safer systems. Safety Science 42, pp. 237-270.
  9. Stroeve, S. H., Blom, H. A. P., and Bakker, G. J. (2009). Systemic accident risk assessment in air traffic by Monte Carlo simulation. Safety Science 47, pp. 238- 449.
Download


Paper Citation


in Harvard Style

Bosse T. and M. Mogles N. (2013). Studying Aviation Incidents by Agent-based Simulation and Analysis - A Case Study on a Runway Incursion Incident . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8565-38-9, pages 47-57. DOI: 10.5220/0004229800470057


in Bibtex Style

@conference{icaart13,
author={Tibor Bosse and Nataliya M. Mogles},
title={Studying Aviation Incidents by Agent-based Simulation and Analysis - A Case Study on a Runway Incursion Incident},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2013},
pages={47-57},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004229800470057},
isbn={978-989-8565-38-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Studying Aviation Incidents by Agent-based Simulation and Analysis - A Case Study on a Runway Incursion Incident
SN - 978-989-8565-38-9
AU - Bosse T.
AU - M. Mogles N.
PY - 2013
SP - 47
EP - 57
DO - 10.5220/0004229800470057