skip to main content
tutorial

Embedded, hard, real-time systems with Ada

Published:01 November 2009Publication History
Skip Abstract Section

Abstract

Development of real-time systems is expensive and difficult, in part because of low-level languages that force developers to use facilities that are ad hoc, incomplete, and not portable. The Real-Time Systems Annex of Ada 2005 (along with the language core) represents the state-of-the-art in realtime programming languages and offers an extensive set of standardized packages and facilities for this domain. In addition, the language-defined Ravenscar profile describes a tasking subset that is analyzable for both high-integrity and hard real-time applications, and is small enough for very tightly resource-constrained applications as well. This tutorial examines the packages and pragmas defined by the annex for direct application use, examines the Ravenscar profile, and provides detailed examples of how they both are meant to be applied.

Index Terms

  1. Embedded, hard, real-time systems with Ada

    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 29, Issue 3
      SIGAda '09
      December 2009
      113 pages
      ISSN:1094-3641
      DOI:10.1145/1653616
      Issue’s Table of Contents
      • cover image ACM Conferences
        SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
        November 2009
        142 pages
        ISBN:9781605584751
        DOI:10.1145/1647420

      Copyright © 2009 Copyright held by author(s).

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 November 2009

      Check for updates

      Qualifiers

      • tutorial
    • Article Metrics

      • Downloads (Last 12 months)6
      • Downloads (Last 6 weeks)0

      Other Metrics

    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!