[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

An Ada95 Solution for Certification of Embedded Safety Critical Applications

  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe’ 99 (Ada-Europe 1999)

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

Included in the following conference series:

  • 325 Accesses

Abstract

The Ada95 programming language is widely used for implementation of embedded safety-critical airborne systems and equipment. The RTCA/DO-178B is a mature standard for certifying such systems and equipment through testing. This paper focuses on the solution DDC-I will provide for RTCA/DO-178B level A certification of Ada95 applications though its new SCORE compiler/debugger product line and associated test tools products. Furthermore, the paper outlines how the DDC-I approach relates to the work in the ESPRIT OMI/SAFE project which aims at establishing a complete software factory for the development and certification of embedded safety-critical applications.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • 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.

Similar content being viewed by others

References

  1. J.J. Chilenski and S.P. Miller. Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal, Vol. 9, No. 5, September 1994.

    Google Scholar 

  2. DWARF Debugging Information Format. Industry Review Draft, Unix International, Revision 2.0.0, 27 July 1993.

    Google Scholar 

  3. RTCA: Software Considerations in Airborne Systems and Equipment Certification. Document No. RCTA/DO-178B, December 1992.

    Google Scholar 

  4. Ada95 Reference Manual: Language and Standard Libraries. S. T. Taft and R. A. Duff (editors). 1997.

    Google Scholar 

  5. TDF Specification, Issue 4.0 (DRAFTC), DRA/CIS(SE2)/CR/94/36/40/C. I. F. Currie, June 1995.

    Google Scholar 

  6. Ada Semantic Interface Specification (ASIS), ISO/IEC DIS 15291.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DDC International, Gl. Lundtoftevej 1B, DK-2800, Lyngby, Denmark

    Jacob Frost

Authors
  1. Jacob Frost
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Facultad de Ciencias, Universidad de Cantabria, Avda. de los Castros s/n, E-39005, Santander, Spain

    Michael González Harbour

  2. ETSI Telecommunicacion, Universidad Politécnica de Madrid, E-28040, Madrid, Spain

    Juan A. de la Puente

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Frost, J. (1999). An Ada95 Solution for Certification of Embedded Safety Critical Applications. In: González Harbour, M., de la Puente, J.A. (eds) Reliable Software Technologies — Ada-Europe’ 99. Ada-Europe 1999. Lecture Notes in Computer Science, vol 1622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48753-0_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-48753-0_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation