ASHiCS - Automating the Search for Hazards in Complex Systems

The ASHiCS project has now finished, and the final two reports are now available from the public reports page.

The latest report from the ASHiCS project is now available to download from the Public Reports page.

We are making our deliverables to EUROCONTROL publicly available for download.  Please visit the reports page above.

Stage 2 of our model scenario increases the existing air sector to contain a variety of aircraft and flight paths. Although we are only part...

Stage 1 of our model scenario was described in our report D1.2 as a Simple en route air sector: aircraft of the same type on two flight p...

The first part of Pre-Stage 1 is almost complete.  This stage doesn't use the SimC interfaces to RAMS Plus .  Instead, our application c...

After a few false starts, we've finally got the SIM-C API provisionally working with RAMS Plus.  We're still getting some MODSIM bug...