Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region
The formalization and analysis of an air traffic control separation minima serves in this paper as an illustration of an approach that uses formal operational semantics to drive the automated analysis of specifications. This contrasts with the approach of translating one notation into the input form...
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
1997
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7227 http://www.intrepid-cs.com/publications/papers/lfm97.pdf |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.41.7227 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.41.7227 2023-05-15T17:32:51+02:00 Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region Nancy A. Day Jeffrey J. Joyce Gerry Pelletier The Pennsylvania State University CiteSeerX Archives 1997 application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7227 http://www.intrepid-cs.com/publications/papers/lfm97.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7227 http://www.intrepid-cs.com/publications/papers/lfm97.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.intrepid-cs.com/publications/papers/lfm97.pdf text 1997 ftciteseerx 2016-01-08T03:16:25Z The formalization and analysis of an air traffic control separation minima serves in this paper as an illustration of an approach that uses formal operational semantics to drive the automated analysis of specifications. This contrasts with the approach of translating one notation into the input format for an analysis tool, or hard-coding the semantics of a particular notation into the implementation of an analysis technique. The semantic functions capture the structure of the specification and can be directly evaluated to map a notation to a rigourous mathematical foundation. This work contributes to a greater appreciation of how the structure of a specification (e.g., the organization of a table), not just the semantics, is an important input to many analysis functions. Building upon a common mathematical foundation, different notations can be combined to support an integrated approach to the analysis of a formal specification. A related issue is the importance of being able to rever. Text North Atlantic Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
The formalization and analysis of an air traffic control separation minima serves in this paper as an illustration of an approach that uses formal operational semantics to drive the automated analysis of specifications. This contrasts with the approach of translating one notation into the input format for an analysis tool, or hard-coding the semantics of a particular notation into the implementation of an analysis technique. The semantic functions capture the structure of the specification and can be directly evaluated to map a notation to a rigourous mathematical foundation. This work contributes to a greater appreciation of how the structure of a specification (e.g., the organization of a table), not just the semantics, is an important input to many analysis functions. Building upon a common mathematical foundation, different notations can be combined to support an integrated approach to the analysis of a formal specification. A related issue is the importance of being able to rever. |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Nancy A. Day Jeffrey J. Joyce Gerry Pelletier |
spellingShingle |
Nancy A. Day Jeffrey J. Joyce Gerry Pelletier Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region |
author_facet |
Nancy A. Day Jeffrey J. Joyce Gerry Pelletier |
author_sort |
Nancy A. Day |
title |
Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region |
title_short |
Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region |
title_full |
Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region |
title_fullStr |
Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region |
title_full_unstemmed |
Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region |
title_sort |
formalization and analysis of the separation minima for aircraft in the north atlantic region |
publishDate |
1997 |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7227 http://www.intrepid-cs.com/publications/papers/lfm97.pdf |
genre |
North Atlantic |
genre_facet |
North Atlantic |
op_source |
http://www.intrepid-cs.com/publications/papers/lfm97.pdf |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7227 http://www.intrepid-cs.com/publications/papers/lfm97.pdf |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766131145771057152 |