Specification and Tool-based Analysis of an Aircraft Separation Minima

Nancy A. Day

Presented as part of the Lunchtime Learning Connection at Hughes International Airspace Management Systems, Vancouver, BC, 10 November 1997.

Click here to start

Table of Contents

  1. Title slide
  2. Outline
  3. North Atlantic Region
  4. Separation Minima for NAT
  5. Existing Specification
  6. Analysis
  7. 2. Specification
  8. ICAO Specification
  9. Pseudocode
  10. Case Studies
  11. Pseudocode
  12. Building a table: step 1
  13. Pseudocode
  14. FlightLevel
  15. Building a table: step 2
  16. Pseudocode
  17. IsSupersonic
  18. Building a table: step 3
  19. Building a table: step 4
  20. Definitions
  21. Formal Specification
  22. Primitives
  23. Size of the formal specification
  24. Presentation of the Specification
  25. Presentation of the Specification (2)
  26. 3. Analysis Results
  27. Definitions of Completeness and Consistency
  28. Example of Completeness Results
  29. Example of Completeness Results (2)
  30. Vertical Separation Required Table
  31. Example of Consistency Results
  32. Summary of Analysis Results
  33. Analysis Method
  34. 4. Summary
  35. General Applicability
  36. FormalWare
  37. Conclusions
  38. The End

This page was last updated 13 Nov 1997.

Send questions or comments to Nancy Day < day@cs.ubc.ca >
FormalWare Presentations Page
FormalWare Research Topics: Requirements Specification