Description

Title Modeling and analysis of safety occurrence reporting in air traffic
Abstract An Air Traffic Organization (ATO) is a complex organization that involves many parties with diverse goals performing a wide range of tasks. Due to this high complexity, inconsistencies and performance bottlenecks may occur in ATOs. By analysis, such safety- and performance-related problems of an ATO can be identified. To perform reliable and profound analysis automated techniques are required. A formal model specification that comprises both prescriptive aspects of a formal organization and autonomous behavioural aspects of agents forms the basis for such techniques. In this talk I'll describe how such a model specification is developed and analyzed in the frames of a simulation case of incident reporting in the ATO.