Abstract
In this paper we summarise FAROAS (Formalisation and Animation of Rules for Oceanic Aircraft Separation). a completed four person-year research project to capture and animate the knowledged-based component of an air traffic control system. The work resulted in a specification and prototype of the rules governing the separation of aircraft in oceanic airspace. The safety related aspect of the application warranted a thorough approach to validation which we describe briefly below
| Original language | English |
|---|---|
| Pages (from-to) | 8/1-8/3 |
| Number of pages | 3 |
| Journal | IEE Colloquium (Digest) |
| Volume | 1994 |
| Issue number | 109 |
| Publication status | Published - 4 May 1994 |
| Event | Proceedings of the IEEE Colloquium on Knowledge-Based Systems for Safety Critical Applications - London, United Kingdom Duration: 4 May 1994 → 4 May 1994 |