Skip to main content
Springer Nature Link
Log in

Ada in safety critical applications

  • Part IV: Continuous Systems
  • Conference paper
  • First Online:
Ada: The Choice for '92 (Ada-Europe 1991)

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

Included in the following conference series:

  • 119 Accesses

Abstract

The language Ada is no less safe than other languages. Because of its strong typing, the predefined exception mechanism and the standardized tasking features, it has an even greater advantage compared to other languages. There are reasonable alternatives to restricting Ada to a ’PASCAL subset’ as required in the EFA Safe Ada Study. With some precise rules, Ada fulfills all requirements of safety critical avionic applications. The adherence to these safety rules can be controlled with appropriate tools and methods.

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.

9 Referenced Documents

  1. Flight Control System Safety Critical Software Study / EFJ-STY-EFA-020-0005 / Issue 1 / 30 October 87

    Google Scholar 

  2. Safe Ada & Compiler Study for EFA IMU / A. Welz / Internal LITEF Report / Revision 1.00-04.

    Google Scholar 

  3. Study LITEF Executive in Ada (LEA) / Phase 1–3 / A. Welz / Internal LITEF Report / 16.2.89.

    Google Scholar 

  4. SPARK — The SPADE Ada Kernel / Carre et al / July 1989 / HMSO London / Second Edition

    Google Scholar 

  5. LDRA TESTBED ADA / User Documentation & Technical Description / Liverpool Data Research Associates Ltd. / 1985

    Google Scholar 

  6. Verifying General Safety Properties of Ada Tasking Programs / Laura K. Dillon / IEEE Transactions on Software Engineering / Vol 16. No. 1 / January 1990

    Google Scholar 

  7. Critical Races in Ada Programs / Gerald M. Karam et al / IEEE Transactions on Software Engineering / Vol. 15 No. 11 / November 1989

    Google Scholar 

  8. Starvation and Critical Race Analyzer for Ada / Gerald M. Karam et al / IEEE Transactions on Software Engineering / Vol. 16 No. 8 / August 1990

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LITEF GmbH, Lörracher Str. 18, 7800, Freiburg, FRG

    A. Welz

Authors
  1. A. Welz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dimitris Christodoulakis

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Welz, A. (1991). Ada in safety critical applications. In: Christodoulakis, D. (eds) Ada: The Choice for '92. Ada-Europe 1991. Lecture Notes in Computer Science, vol 499. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018496

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54092-2

  • Online ISBN: 978-3-540-47396-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics