Formalisation and animation of rules for oceanic aircraft separation

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

Formalisation and animation of rules for oceanic aircraft separation

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

Research output: Contribution to journal › Conference article › peer-review

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

Access to Document

https://ieeexplore.ieee.org/document/369615Licence: Unspecified

Cite this

@article{f8070d46a9b74df18761f6b4cd598cc1,

title = "Formalisation and animation of rules for oceanic aircraft separation",

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",

keywords = "Air traffic control, Software requirements and specifications, Intelligent control, Knowledge acquisition, Saftey, Software reliability",

author = "McCluskey, \{T. L.\} and Porteous, \{J. M.\} and T. Smith",

year = "1994",

month = may,

day = "4",

language = "English",

volume = "1994",

pages = "8/1--8/3",

journal = "IEE Colloquium (Digest)",

issn = "0963-3308",

publisher = "Institute of Electrical Engineers",

number = "109",

note = "Proceedings of the IEEE Colloquium on Knowledge-Based Systems for Safety Critical Applications ; Conference date: 04-05-1994 Through 04-05-1994",

}

TY - JOUR

T1 - Formalisation and animation of rules for oceanic aircraft separation

AU - McCluskey, T. L.

AU - Porteous, J. M.

AU - Smith, T.

PY - 1994/5/4

Y1 - 1994/5/4

N2 - 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

AB - 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

KW - Air traffic control

KW - Software requirements and specifications

KW - Intelligent control

KW - Knowledge acquisition

KW - Saftey

KW - Software reliability

UR - https://www.scopus.com/pages/publications/0028763980

M3 - Conference article

AN - SCOPUS:0028763980

SN - 0963-3308

VL - 1994

SP - 8/1-8/3

JO - IEE Colloquium (Digest)

JF - IEE Colloquium (Digest)

IS - 109

T2 - Proceedings of the IEEE Colloquium on Knowledge-Based Systems for Safety Critical Applications

Y2 - 4 May 1994 through 4 May 1994

ER -

Formalisation and animation of rules for oceanic aircraft separation

Abstract

Access to Document

Other files and links

Fingerprint

Cite this