Abstract
Since its inception, a main objective of the Ada language has been to assist in the development of large and robust applications. In addition to that, the language also provides support for building safety-critical applications, e.g. by facilitating validation and verification of such programs. The latest revision of the language has brought some additional improvements in the safety area, such as the Normalize_Scalars pragma, which ensures an automatic initialization of the non-explicitly initialized scalars. This paper presents Initialize_Scalars, an enrichment of the Normalize_Scalars concept, and an extended mode to verify at run-time the validity of scalars, both designed for easy use in existing large applications. Their implementation in GNAT Pro (the GNU Ada 95 compiler) is discussed. The practical results obtained on a large Air Traffic Flow Management application are presented.
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.
Similar content being viewed by others
References
Waroquiers, P.; Ada Tasking and Dynamic Memory: To Use or Not To Use, That’s a Question!, Proceedings of International Conference on Reliable Software Technologies-Ada Europe 1996, Montreux, Switzerland, June 10–14, 1996, Alfredoii Strohmeier (Ed.), Lecture Notes in Computer Science, vol. 1088, Springer-Verlag, 1996, pp. 460–470.
Barnes, J.; High Integrity Ada; The Spark Approach, Addison Wesley, 1997.
Waroquiers, P., Van Vlierberghe, S., Craeynest, D., Hately, A., and Duvinage, E.; Migrating Large Applications from Ada83 to Ada95, Proceedings of International Conference on Reliable Software Technologies-Ada Europe 2001, Leuven, Belgium, May 14–18, 2001, Dirk Craeynest, Alfred Strohmeier (Eds.), Lecture Notes in Computer Science, vol. 2043, Springer-Verlag, 2001, pp. 380–391.
Purify on-line Unix manual, Rational Software Corporation, June 2000.
Taft, S.T., Duff, R.A., Brukardt, R.L. and Plödereder, E.; Consolidated Ada Reference Manual. Language and Standard Libraries, ISO/IEC 8652:1995(E) with COR. 1:2000, Lecture Notes in Computer Science, vol. 2219, Springer-Verlag, 2001.
GNAT Reference Manual-The GNU Ada95 Compiler, Version 3.15a, Ada Core Technologies, 30 January 2002.
GNAT User’s Guide for Unix Platforms, Version 3.15a, Ada Core Technologies, 30 January 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dewar, R., Hainque, O., Craeynest, D., Waroquiers, P. (2002). Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. In: Blieberger, J., Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe 2002. Ada-Europe 2002. Lecture Notes in Computer Science, vol 2361. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48046-3_15
Download citation
DOI: https://doi.org/10.1007/3-540-48046-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43784-0
Online ISBN: 978-3-540-48046-4
eBook Packages: Springer Book Archive