Testing conformity to the real-time annex

Research output: Contribution to journalArticlepeer-review


In this paper we consider the many features of the Real-Time annex that are not as yet covered in ACATS. We identify a number of tests, but note that for the real-time programmer many of the crucial features of the annex cannot be validated by the type of tests found in ACATS.
Original languageUndefined/Unknown
Pages (from-to)17-25
Number of pages9
JournalACM Ada Letters
Issue number1
Publication statusPublished - 2015

Cite this