Abstract
The forthcoming Ada 2005 standard has been enhanced to better address the needs of the real-time and high-integrity communities. This new standard introduces new restriction identifiers that can be used to define highly efficient, simple, and predictable run-time profiles. Among others, this language revision will standardize the Ravenscar profile, new scheduling policies, and will include execution time clocks and timers. Flexible object-oriented features are also supported without compromising performance or safety.
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
ACAA (2005), Ada Conformity Assessment Test Suite (ACATS), ACAA. Available at http://www.ada-auth.org/acats.html.
ARG (2005a), Execution-time clocks, Technical report, ISO/IEC/JTC1/SC22/WG9. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/I-00307.TXT.
ARG (2005b), Group execution-time budgets, Technical report, ISO/IEC/JTC1/SC22/WG9. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00354.TXT.
ARG (2005c), Non-preemptive dispatching, Technical report, ISO/IEC/JTC1/SC22/WG9. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00298.TXT.
ARG (2005d), Partition elaboration policy for high-integrity systems, Technical report, ISO/IEC/JTC1/SC22/WG9. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00265.TXT.
ARG (2005e), Priority specific dispatching including round robin, Technical report, ISO/IEC/JTC1/SC22/WG9. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00355.TXT.
ARG (2005f), Ravenscar profile for high-integrity systems, Technical report, ISO/IEC/JTC1/SC22/WG9. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT.
ARG (2005g), Support for deadlines and earliest deadline first scheduling, Technical report, ISO/IEC/JTC1/SC22/WG9. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00357.TXT.
ARG (2005h), Timing events, Technical report, ISO/IEC/JTC1/SC22/WG9. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00297.TXT.
Baker, T. & Shaw, A. (1989), The cyclic executive model and Ada’, Real-Time Systems.
Barnes, J. (2003), High Integrity Software. The SPARK Approach to Safety and Security, Addison Wesley.
Burns, A. (2001), Defining new non-preemptive dispatching and locking policies for Ada, in D. Craeynest & A. Strohmeier, eds, ‘Reliable Software Technologies — Ada-Europe 2001’, number 2043 in ‘Lecture Notes in Computer Science’, Springer-Verlag, pp. 328–336.
Burns, A. & Wellings, A. (1995), HRT-HOOD(TM): A Structured Design Method for Hard Real-Time Ada Systems, North-Holland, Amsterdam.
Burns, A., Dobbing, B. & Vardanega, T. (2003), Guide for the use of the Ada Raven-scar Profile in high integrity systems, Technical Report YCS-2003-348, University of York. Available at http://www.cs.york.ac.uk/ftpdir/reports/YCS-2003-348.pdf.
FAA (2004), Handbook for Object-Oriented Technology in Aviation (OOTiA). Available at http://www.faa.gov/certification/aircraft/av-info/software/OOT.htm.
Ghazalie, T. M. & Baker, T. P. (1995), ‘Aperiodic servers in a deadline scheduling environment’, Real-Time Systems 9(1), 31–67.
IEEE (2003), 1003.13-2003 IEEE Standard for Information Technology-Standardization Application Environment Profile-POSIX Realtime and Embedded Application Support (AEP).
ISO (1983), Reference Manual for the Ada Programming Language. ANSI/MIL-STD-1815A-1983; ISO/8652-1987.
ISO (1995), Ada 95 Reference Manual: Language and Standard Libraries. International Standard ANSI/ISO/IEC-8652:1995. Available from Springer-Verlag, LNCS no. 1246.
ISO (1999), Ada: Conformity assessment of a language processor. ISO/IEC 18009:1999.
ISO (2000), Guidance for the use of the Ada Programming Language in High Integrity Systems. ISO/IEC TR 15942:2000.
Joseph, M. & Pandya, P. (1986), ‘Finding response times in real-time systems’, BCS Computer Journal 29(5), 390–395.
Liu, C. & Layland, J. (1973), ‘Scheduling algorithms for multiprogramming in a hard-real-time environment’, Journal of the ACM.
Liu, J. W., Lin, K. J., Shih, W. K., Chuang-Shi, A., Chung, J. Y. & Zhao, W. (1991), ‘Algorithms for Scheduling Imprecise Computations’, IEEE Computer 24(5), 58–68.
Motet, G., Marpinard, A. & Geffroy, J. (1996), Design of Dependable Ada Software, Prentice Hall.
RTCA (1992), RTCA/DO-178B: Software Considerations in Airborne Systems and Equipment Certification, RTCA.
Sprunt, B., Sha, L. & Lehoczky, J. (1989), ‘Aperiodic task scheduling for hard realtime systems’, Real-Time Systems.
Vardanega, T. (1998), Development of On-Board Embedded Real-Time Systems: An Engineering Approach, PhD thesis, TU Delft. Also available as ESA STR-260.
Vardanega, T. & van Katwijk, J. (1999), ‘A software process for the construction of predictable on-board embedded real-time systems’, Software Practice and Experience 29(3), 1–32.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag London Limited
About this paper
Cite this paper
Ruiz, J.F. (2006). Ada 2005 for High-Integrity Systems. In: Redmill, F., Anderson, T. (eds) Developments in Risk-based Approaches to Safety. Springer, London. https://doi.org/10.1007/1-84628-447-3_10
Download citation
DOI: https://doi.org/10.1007/1-84628-447-3_10
Publisher Name: Springer, London
Print ISBN: 978-1-84628-333-8
Online ISBN: 978-1-84628-447-2
eBook Packages: Computer ScienceComputer Science (R0)