An agent-based approach for accident analysis in safety critical domains: A case study on a runway incursion incident
Berlin ; Heidelberg : Springer
InNguyen, N.T.; Kowalczyk, R.; Fred, A. (ed.), Transactions on Computational Collective Intelligence XVII, pp. 66-88
Transactions on Computational Collective Intelligence XVII
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ BSI CW
Nguyen, N.T.; Kowalczyk, R.; Fred, A. (ed.), Transactions on Computational Collective Intelligence XVII
SubjectCommunication and Media
This paper introduces an agent-based approach to analyze the dynamics of accidents and incidents in aviation. The approach makes use of a number of elements, including formalization of a real world scenario, agent-based simulation of variations of the scenario, and formal verification of dynamic properties against the (empirical and simulated) scenarios. The scenario formalization part enables incident reconstruction and formal analysis of it. 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 behavior 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.
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.