ORGANIZATIONAL MODELING AND ANALYSIS OF SAFETY OCCURRENCE REPORTING IN AIR TRAFFIC

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 safetyand 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 behavioral aspects of agents forms the basis for such techniques. This paper describes how such a model specification is developed and analyzed in the frames of a simulation case of incident reporting in the ATO