Skip to main content
SpringerLink
Log in

A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B

  • Conference paper
  • First Online:
Book cover Computer Safety, Reliability and Security (SAFECOMP 2001)

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

Included in the following conference series:

  • 644 Accesses

Abstract

A current goal of ARCS is to set up a software lab dedicated to software verification in accordance with international recognized guidelines and standards, e.g. RTCA/DO-178B. Investigations resulted in a large number and variety of commercially available software tools. A practicable classification scheme for software verification tools was needed. This paper provides a tool classification scheme that is based on four basic tool classification categories: “objectives”, “methods”, “metrics”, and “attributes”.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. RTCA/DO-178B “Software Considerations in Airborne Systems and Equipment Certification”. RTCA, Washington (1992)

    Google Scholar 

  2. Rakitin, S. R.: “Software Verification and Validation”. Artech House, Boston London (1997)

    MATH  Google Scholar 

  3. ISO/IEC 9126 “Software product evaluation-Quality characteristics and guidelines for their use” (1991)

    Google Scholar 

  4. Kaâniche, M., Laprie, J.-C., Blanquart, J.-P.: “A Dependability-Explicit Model for the Development of Computing Systems” in Lecture Notes in Computer Science 1943, Proceedings of the 19th International Conference, SAFECOMP 2000, Springer-Verlag

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ARCS, A-2444, Seibersdorf, Austria

    Günther Zoffmann, Manfred Gingerl, Christian Reumann & Gerald Sonneck

Authors
  1. Günther Zoffmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manfred Gingerl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christian Reumann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gerald Sonneck
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Forschungszentrum Karlsruhe, Institut für Angewandte Informatik, Postfach 3640, 76021, Karlsruhe, Germany

    Udo Voges

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zoffmann, G., Gingerl, M., Reumann, C., Sonneck, G. (2001). A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. In: Voges, U. (eds) Computer Safety, Reliability and Security. SAFECOMP 2001. Lecture Notes in Computer Science, vol 2187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45416-0_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-45416-0_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42607-3

  • Online ISBN: 978-3-540-45416-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation