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

fYear

1994

fDate

1994

Firstpage

42583

Lastpage

42585

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;

fLanguage

English

Publisher

iet

Conference_Titel

Knowledge-Based Systems for Safety Critical Applications, IEE Colloquium on

Conference_Location

London

Type

conf

Filename

369615

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=288041