skip to main content
research-article

Providing additional real-time capability and flexibility for Ada 2005

Published:27 May 2010Publication History
Skip Abstract Section

Abstract

Whilst Ada 2005 provides extensive support for the creation of real-time systems in general, and high-integrity ones in particular, there are a number of areas where the language could be both strengthened and made more flexible. This paper discusses a number of such areas, including scheduling approaches and the management of sporadic tasks. Following on from these, some small additions to the language are proposed with the goal of facilitating the wider adoption of certain approaches -- namely non-preemptive and earliest deadline first dispatching. The paper also considers, more generally, the possible development of the language to address the issues inherent in emerging processing platforms, specifically "multi-core" devices.

References

  1. Information technology -- Programming languages -- guide for the use of the ada Ravenscar profile in high integrity systems. Technical Report TR24718:2005, ISO/IEC.Google ScholarGoogle Scholar
  2. H. R. Simpson. Four-slot fully asynchronous communication mechanism. IEE Proceedings, 1990.Google ScholarGoogle ScholarCross RefCross Ref
  3. S. Tucker Taft and Robert A. Duff, editors. Ada 95 Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E). Springer-Verlag, 1997.Google ScholarGoogle Scholar
  4. S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, and Pascal Leroy, editors. Ada 2005 Reference Manual. Language and Standard Libraries, International Standard ISO/IEC8652:1995(E) with Technical Corrigendum 1 and Amendment 1. Springer, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library

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 30, Issue 1
    April 2010
    150 pages
    ISSN:1094-3641
    DOI:10.1145/1806546
    Issue’s Table of Contents

    Copyright © 2010 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 27 May 2010

    Check for updates

    Qualifiers

    • research-article

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!