Skip to main content
SpringerLink
Log in

High Integrity Ada

  • Conference paper
Safe Comp 97

Abstract

This paper describes the approach being taken by an ISO group to produce Guidelines for the use of Ada when developing high integrity applications.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ada Semantic Information System. Working draft. 1st November 1996. Available on the Internet:public/AdalC/work-grp/asiswg/asis/v2.0E. Elson, and W.W. Webb:

    Google Scholar 

  2. Dan. Craigen, Mark Saaltink, Steve Michell.:“Ada95 and Critical Systems: An Analytical Approach.” In Proceedings of “Reliable Software Technologies”: Ada Europe’96, Alfred Strohmeier,: Editor. Lecture Notes in Computer Science, Volume 1088, Spring-Verlag, 1996.

    Google Scholar 

  3. Steve Michell, Dan Craigen, Mark Saaltink.:“Using Analytical Approaches for High Integrity Ada95 Systems” International Real-time Ada Work-shop, Ravenscar, U.K. April 1997. To appear in Ada Letters.

    Google Scholar 

  4. Dan Craigen, Mark Saaltink, Steve Michell.“Ada95 Trustworthiness Study: A Framework for Analysis.” ORA Canada Technical Report TR-95-5499-02, November 1995.

    Google Scholar 

  5. Mark Saaltink, Steve Michell. “Ada95 Trustworthiness Study: Analysis of Ada95 for Critical Systems.” ORA Canada Technical Report TR-96-5499-03a, January 1997.

    Google Scholar 

  6. Mark Saaltink, Steve Michell.“Ada95 Trustworthiness Study: Guidance on the use of Ada95 in the Development of High Integrity Systems,” Version 1.0. ORA Canada Technical Report TR-96-5499-04, November 1995.

    Google Scholar 

  7. A Burns and AJ Wellings. Restricted Tasking Models. Ada real-time workshop.1997.

    Google Scholar 

  8. British Computer Society Specialist Group in Software Testing. Standard for Software Component Testing (Working Draft 3.0). Glossary of terms used in software testing (Working Draft 6.0). October 1995. Available free on the Internet (until copyright is assigned to BSI):http://www.rmcs.cranfield .ac.uk/~cised/sreid/BCS_SIG/index.htm

    Google Scholar 

  9. BA Carre and TJ Jennings. SPARK — The SPADE Ada Kernel. University of Southampton. March 1988.

    Google Scholar 

  10. J Dawes. “The VDM-SL Reference Guide”. Pitman Publishing. 1991. ISBN 0-273-03151-1

    Google Scholar 

  11. Guidelines on Risk Issues. The Engineering Council. February 1993. ISBN 0-9516611-7-5.

    Google Scholar 

  12. Defence and Aerospace Panel: Technology Working Party report on High Integrity Real time software. Available free on the Internet: http://www.npl.co.uk/npl/collaboration/partners/foresight/index.html

    Google Scholar 

  13. ODE Guidance for the Content of Premarket Submission for Medical Devices Containing Software. Draft, 3rd September 1996.

    Google Scholar 

  14. Safety-related systems — Guidance for engineers. Hazards Forum. March 1995. ISBN@@@ 0 9525103 0 8.

    Google Scholar 

  15. IEC 1508: Draft. Functional safety: safety-related systems. Parts 1–7. Draft for public comment, 1995. (Part 3 is concerned with software which is the relevant part for the ISO Ada Guide.)

    Google Scholar 

  16. IEC 601-1-4: 1996. Medical electrical equipment — Part 1: General requirements for safety 4: Collateral Standard: Programmable electrical medical systems.

    Google Scholar 

  17. ISO/IEC 8652:1995. Information technology — Programming Languages — Ada.

    Google Scholar 

  18. IEC 880: 1986. Software for computers in the safety systems of nuclear power stations.

    Google Scholar 

  19. EN ISO 9001:1994, Quality systems — Model for quality assurance in production and installation.

    Google Scholar 

  20. ISO/IEC 9000–3: 1991. Quality management and quality assurance standards — Part 3: Guidelines for the application of ISO@@@ 9001 to the development, supply and maintenance of software.

    Google Scholar 

  21. ISO/IEC 12207: 1995. Information technology — Software life cycle processes.

    Google Scholar 

  22. ISO/IEC 13817-1:1996 Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language. [23] DIS ISO/IEC 15026: 1996 Information technology — System and software integrity levels.

    Google Scholar 

  23. DIS ISO/IEC 15026: 1996 Information technology — System and software integrity levels.

    Google Scholar 

  24. B Littlewood and L Strigini.The Risks of Software. Scientific American. November 1992.

    Google Scholar 

  25. IEEE Standard Glossary of Software Engineering Terminology, IEEE Std 610.12–1990.

    Google Scholar 

  26. CENELEC, Railway Applications: Software for Railway Control and Protection Systems. Draft of EN 50128:1995. November 1995.

    Google Scholar 

  27. WJ Cullyer, SJ Goodenough and BA Wichmann, “The Choice of Computer Languages in Safety-Critical Systems”, Software Engineering Journal. Vol 6, No 2, pp51–58. March 1991.

    Article  Google Scholar 

  28. JA McDermid (Editor). Software Engineer’s Reference Book. Butterworth-Heinemann. Oxford. ISBN 0 750 961040 9. 1991.

    Google Scholar 

  29. Development Guidelines For Vehicle Based Software. The Motor Industry Software Reliability Association. MIRA. November 1994. ISBN 0 95241560 7.

    Google Scholar 

  30. Defence Standard 00–55, “The Procurement of Safety Critical Software in Defence Equipment”, Ministry of Defence. Available free on the Internet: http://www.modlndrl.demon.co.uk/0055/0055.html

    Google Scholar 

  31. “Information Technology Security Evaluation Criteria”, Provisional Harmonised Criteria. Version 1.2. 1991. (UK contact point: CESG Room 2/0805, Fiddlers Green Lane, Cheltenham, Glos, GL52 5A J.)

    Google Scholar 

  32. Software Considerations in Airborne Systems and Equipment Certification. Issued in the USA by the Requirements and Technical Concepts for Aviation (document RTCA SC167/DO-178B) and in Europe by the European Organization for Civil Aviation Electronics (EUROCAE document ED-12B). December 1992.

    Google Scholar 

  33. JM Spivey.The Z Notation, A Reference Manual, SECOND EDITION. Prentice Hall International Series in Computer Science. 1992.

    Google Scholar 

  34. BA Wichmann, AA Canning, DL Clutterbuck, LA Winsborrow, NJ Ward and DWR Marsh. An Industrial Perspective on Static Analysis. Software Engineering Journal. March 1995, pp69–75.

    Google Scholar 

  35. Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems. Nuclear Regulatory commission. NUREG/CR-6463. June 1996.

    Google Scholar 

  36. NASA Guidebook for Safety Critical Software — Analysis and Development. NASA Lewis Research Center. 1996.

    Google Scholar 

  37. Ada 95 Quality and Style: Guidelines for Professional Programmers. SPC-94093-CMC. Ada Joint Program Office. October 1995.

    Google Scholar 

  38. J Sutton and B Carre: Tri-Ada Conference 1995.

    Google Scholar 

  39. B A Wichmann. Some Remarks about Random Testing. To be puiblished (available from the author)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Physical Laboratory, Teddington, TW11 OLW, Middlesex, UK

    B. A. Wichmann

Authors
  1. B. A. Wichmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. GEC-Marconi Secure Systems Ltd, Wavertree Boulevard, Wavertree Technology Park, L7 9PE, Liverpool, UK

    Peter Daniel PhD, BSc, MSc

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag London Limited

About this paper

Cite this paper

Wichmann, B.A. (1997). High Integrity Ada. In: Daniel, P. (eds) Safe Comp 97. Springer, London. https://doi.org/10.1007/978-1-4471-0997-6_14

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0997-6_14

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76191-4

  • Online ISBN: 978-1-4471-0997-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation