By the same authors

From the same journal

Testing conformity to the real-time annex

Research output: Contribution to journalArticlepeer-review

Published copy (DOI)



Publication details

JournalACM Ada Letters
DatePublished - 2015
Issue number1
Number of pages9
Pages (from-to)17-25
Original languageUndefined/Unknown


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations