Formalisation and animation of rules for oceanic aircraft separation

T. L. McCluskey, J. M. Porteous, T. Smith

Research output: Contribution to journalConference articlepeer-review


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 languageEnglish
Pages (from-to)8/1-8/3
Number of pages3
JournalIEE Colloquium (Digest)
Issue number109
Publication statusPublished - 4 May 1994
EventProceedings of the IEEE Colloquium on Knowledge-Based Systems for Safety Critical Applications - London, United Kingdom
Duration: 4 May 19944 May 1994


Dive into the research topics of 'Formalisation and animation of rules for oceanic aircraft separation'. Together they form a unique fingerprint.

Cite this