skip to main content
column

Testing Conformity to the Real-Time Annex

Published:28 December 2015Publication History
Skip Abstract Section

Abstract

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.

References

  1. ACATS -- http://www.ada-auth.org/acats-files/4.0/docs/UG-1.HTMGoogle ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 35, Issue 1
    April 2015
    96 pages
    ISSN:1094-3641
    DOI:10.1145/2870544
    Issue’s Table of Contents

    Copyright © 2015 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 28 December 2015

    Check for updates

    Qualifiers

    • column

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!