Authors:
Tibor Bosse
and
Nataliya M. Mogles
Affiliation:
Vrije Universiteit Amsterdam, Netherlands
Keyword(s):
Aviation, Incidents, Agent-based Simulation, Verification, Interlevel Relations.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Bioinformatics
;
Biomedical Engineering
;
Distributed and Mobile Software Systems
;
Enterprise Information Systems
;
Industrial Applications of AI
;
Information Systems Analysis and Specification
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Methodologies and Technologies
;
Multi-Agent Systems
;
Operational Research
;
Simulation
;
Soft Computing
;
Software Engineering
;
Symbolic Systems
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.