Using compliance notation to verify Ada tasking

  • Authors:

  • D. J. Tombs

  • Affiliations:

  • System Assurance Group, Defence Research Agency

  • Venue:
  • IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

Tasking is the most important-aspect of Ada not addressed by existing verification systems. The DRA Compliance Notation allows a subset of Ada to be embedded in a engine supported by Z. We propose incorporating a reduced tasking model into the Notation.