Skip to main content
SpringerLink
Log in

Guidance on the use of Ada95 in high integrity systems

  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe (Ada-Europe 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1411))

Included in the following conference series:

  • 84 Accesses

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Intermetrics. The Annotated Ada Reference Manual. December 1994.

    Google Scholar 

  2. ANSI/ISO/IEC 8652 International Standard. Ada95 Reference Manual, Intermetrics, January 1995.

    Google Scholar 

  3. ISO-IEC/JTC1/SC22/WG9 ASIS Rapporteur Group. Ada Semantic Interface Specification DRAFT 2.0 (ASIS).

    Google Scholar 

  4. Michael Smith. The AVA Reference Manual. Technical Report 64, Computational Logic Inc., February 1992.

    Google Scholar 

  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. Dan Craigen, Mark Saaltink, and Steve Michell. Ada95 and Critical Systems: An Analytical Approach. Ada Europe, 1997.

    Google Scholar 

  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. Software Considerations in Airborne Systems and Equipment Certification (DO-178B/-ED-12B). RTCA Inc., Washington, D.C., December 1992.

    Google Scholar 

  9. Nuclear Regulatory Commission, NUREG/CR-6463, Rev. 1, Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems. Available as http://www.nrc.gov/NRC/NUREGS/CR6463/index.htm

    Google Scholar 

  10. David Guspari et al. Formal Verification of Ada Programs. IEEE Transactions on Software Engineering, Volume 16, Sept 1990.

    Google Scholar 

  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. B. Carre and T. Jennings. SPARK: The SPADE Ada Kernel. Department of Electronics and Computer Science, University of Southampton, March 1988.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Maurya Software, 29 Maurya Court, K1G 5S3, Ottawa, Ontario, Canada

    Steve Michell

  2. ORA Canada, 1208-1 Nicholas St., K1N 7B7, Ottawa, Ontario, Canada

    Mark Saaltink

Authors
  1. Steve Michell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Saaltink
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Lars Asplund

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Michell, S., Saaltink, M. (1998). Guidance on the use of Ada95 in high integrity systems. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055012

Download citation

  • DOI: https://doi.org/10.1007/BFb0055012

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64536-8

  • Online ISBN: 978-3-540-69802-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation