Abstract
The Ada 95 Programming Language [1] was designed to meet the needs of a variety of programming domains. The Ada 95 Special Needs Annexes provided the standard definition of the facilities required for special areas of use such as Systems Programming, Real-Time and Safety Critical domains. As the user community began to put the profiles defined in these Annexes to use, the need for new profiles emerged. The first such profile, Ravenscar, was defined as part of the work conducted at the 8th and 9th International Real-Time Ada Workshop (IRTAW-8 and IRTAW-9). This paper will present the latest refinement to the Ravenscar profile as modified at the IRTAW-10. Additional proposals for enhancements to Ada 95 to meet other needs of the real-time community will be described briefly. The concluding comments will provide some insight into the future of the Ada Programming Language with respect to support for special needs in the domains of real-time and high-integrity programming.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ada95 Reference Manual, International Standard ANSI/ISO/IEC-8652:1995, January 1995.
Burns, Alan, “The Ravenscar Profile,” Ada Letters, Volume XIX,Number 4, December 1999.
González Harbour, Michael (Editor), “Proceedings of the 10th International Real-Time Ada Workshop,” Ada Letters, Volume XXI,Number 1, March 2001.
Baker, Ted and Tuillio Vardanega, “Session Summary: Tasking Profiles,” Ada Letters, Volume XVI.
“Guide for the Use of the Ada Programming Language in High Integrity Systems,” ISO/IEC TR 15942, 1999.
de la Puente, Juan A., Juan Zamorano, José Ruiz, Ramón Fernández, and Rodrigo García, “The Design and Implementation of the Open Ravenscar Kernel,” Ada Letters, Volume XXI,Number 1, March 2001.
Dobbing, Alan, “The Ravenscar Profile for High-Integrity Java Programs,” Ada Letters, Volume XXI,Number 1, March 2001.
Asplund, Lars and Kristina Lundqvist, “Exceptions in Ravenscar–Complexity in the Formal Modeling,” Ada Letters, Volume XXI,Number 1, March 2001.
Michell, Stephen, “Position paper: Completing the Ravenscar Profile,” Ada Letters, Volume XXI,Number 1, March 2001.
Vardanega, Tullio and Gert Caspersen, “Using the Ravenscar Profile for Space Applications: the OBOSS Case,” Ada Letters, Volume XXI,Number 1, March 2001.
Audsley, Neil, Alan Burns and Andy Wellings, “Implementing a High-Integrity Executive using Ravenscar,” Ada Letters, Volume XXI,Number 1, March 2001.
Audsley, Neil and Andy Wellings, “Issues with using Ravenscar and the Ada Distributed Systems Annex,” Ada Letters, Volume XXI,Number 1, March 2001.
Wellings, A. J., B. Johnson, B. Sanden, J. Kienzle, T. Wolf, and S. Michell, “Extensible Protected Types: Proposal Status,” Ada Letters, Volume XXI,Number 1, March 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tokar, J.L. (2001). New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements. In: Craeynest, D., Strohmeier, A. (eds) Reliable SoftwareTechnologies — Ada-Europe 2001. Ada-Europe 2001. Lecture Notes in Computer Science, vol 2043. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45136-6_12
Download citation
DOI: https://doi.org/10.1007/3-540-45136-6_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42123-8
Online ISBN: 978-3-540-45136-5
eBook Packages: Springer Book Archive