Guidance on the use of Ada95 in high integrity systems

  • Steve Michell
  • Mark Saaltink
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1411)


In this paper we discuss our guidance on the suitability of Ada95 for high integrity systems.


Ada critical systems high integrity systems predictable systems HRG 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Intermetrics. The Annotated Ada Reference Manual. December 1994.Google Scholar
  2. 2.
    ANSI/ISO/IEC 8652 International Standard. Ada95 Reference Manual, Intermetrics, January 1995.Google Scholar
  3. 3.
    ISO-IEC/JTC1/SC22/WG9 ASIS Rapporteur Group. Ada Semantic Interface Specification DRAFT 2.0 (ASIS).Google Scholar
  4. 4.
    Michael Smith. The AVA Reference Manual. Technical Report 64, Computational Logic Inc., February 1992.Google Scholar
  5. 5.
    Dan Craigen, Mark Saaltink, and Steve Michell. Ada95 Trustworthiness Study: A Framework for Analysis. ORA Canada Report TR-95-5499-02, November 1995.Google Scholar
  6. 6.
    Dan Craigen, Mark Saaltink, and Steve Michell. Ada95 and Critical Systems: An Analytical Approach. Ada Europe, 1997.Google Scholar
  7. 7.
    The Canadian Trusted Computer Product Evaluation Criteria. Canadian System Security Centre, Communications Security Establishment, Government of Canada. Version 3.0e, January 1993.Google Scholar
  8. 8.
    Software Considerations in Airborne Systems and Equipment Certification (DO-178B/-ED-12B). RTCA Inc., Washington, D.C., December 1992.Google Scholar
  9. 9.
    Nuclear Regulatory Commission, NUREG/CR-6463, Rev. 1, Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems. Available as Scholar
  10. 10.
    David Guspari et al. Formal Verification of Ada Programs. IEEE Transactions on Software Engineering, Volume 16, Sept 1990.Google Scholar
  11. 11.
    Mark Saaltink and Steve Michell. Ada95 Trustworthiness Study: Analysis of Ada95 for Critical Systems. ORA Canada Report TR-95-5499-03, July 1996.Google Scholar
  12. 12.
    B. Carre and T. Jennings. SPARK: The SPADE Ada Kernel. Department of Electronics and Computer Science, University of Southampton, March 1988.Google Scholar
  13. 13.
    The Procurement of Safety Related Software in Defence Equipment (Parts 1 and 2). U.K. Ministry of Defence, Standard 00-55, 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Steve Michell
    • 1
  • Mark Saaltink
    • 2
  1. 1.Maurya SoftwareOttawaCanada
  2. 2.ORA CanadaOttawaCanada

Personalised recommendations