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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call