Safety Modeling and Analysis of Organizational Processes in Air Traffic


In complex and distributed organisations like the air traffic industry, safe operations are the result of interactions between many entities (agents) of various types at multiple locations.

In spite of the recognition of the importance of proper organizational processes for safe operations, formal modeling and simulation of organizational issues are lacking for prospective safety analysis of air traffic operations. The objective of this research project is to develop modeling and simulation methods for multi-agent organizational processes in air traffic to support proactive risk management.

Start date and duration

This project started in February, 2007, and finished in December, 2009.


Our partners/contractors are:
  • the National Aerospace Laboratory NLR (the Netherlands), the main contractor; and
  • the Vrije Universiteit Amsterdam (the Netherlands), a sub-contractor.

Project deliverables


  Acrobat Literature survey of safety modelling and analysis of organizational processes
  Acrobat Organizational safety modelling and analysis of an air traffic application
  Acrobat Safety modelling and analysis of organizational processes in air traffic


  Acrobat Methods and requirements (D3)
  Acrobat Model and initial simulation results (D4)
  Acrobat Validation plans (D5)


  Acrobat Model evaluation and improvement (D6)
  Acrobat Validation (D7)
  Acrobat Final report (D8)

For more information

If you would like more information, please contact:
Barry Kirwan
Last validation: 16/12/2009