Specification
and Tool-based Analysis of an Aircraft Separation Minima
presented by
Nancy Day
| |
Specification
and Tool-based Analysis of an Aircraft Separation Minima
presented by
Nancy Day
|
| formalWARE
project
formalWARE
formalWARE
|
Presented by Nancy Day on
November 10, 1997
at Raytheon Systems Canada
Ltd., Richmond, BC
. This presentation describes the use of some prototype software tools to create and analyze a machine-parseable specification of an oceanic separation minima for the NAT (North Atlantic) region. As an alternative to structured English, the "decision logic" underlying this separation minima was represented by a set of linked tables which may be viewed using an HTML browser. Software tools were then used to check the decision logic for "completeness", "consistency" and "symmetry". These tools are based, in part, on analysis techniques for the formal verification of digital circuits that have been embraced by a number of large semiconductor companies. The techniques and tools used in this work are very general -- they may be used for the specification and analysis of any application level functionality that involves complex decision logic. Presentation
Slides
. |
