Title :
Formalisation and animation of rules for oceanic aircraft separation
Author :
McCluskey, T.L. ; Porteous, J.M. ; Smith, T.
Author_Institution :
Sch. of Comput. & Maths., Huddersfield Univ., UK
Abstract :
We summarise FAROAS (Formalisation and Animation of Rules for Oceanic Aircraft Separation), a completed four person-year research project to capture and animate the knowledge-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
Keywords :
aerospace computing; air traffic computer control; formal specification; formal verification; intelligent control; knowledge acquisition; safety; software reliability; air traffic control system; knowledge-based component; oceanic aircraft separation; oceanic airspace; safety; specification; validation;
Conference_Titel :
Knowledge-Based Systems for Safety Critical Applications, IEE Colloquium on
Conference_Location :
London
