Public reports

The reports below describe the rationale and decisions made on key factors that influence the project work. They broadly follow:

our listing of our requirements and how we based our choice on the ATM simulation software.
Discussions relating to choice of air traffic scenarios and types of hazards and risk models.
The development of the search harness around the simulation software and the heuristic algorithms that guide the search.

ASHiCS - Automating the Search for Hazards in Complex Systems