Skip to main content
SpringerLink
Log in

Classification, Analysis and Detection of Interface Inconsistencies in Safety-Relevant Component-based Systems

  • Conference paper
Probabilistic Safety Assessment and Management

Abstract

This article addresses the problem of analysing interface inconsistencies between pre-developed software components to be re-used in new applications. In order to support the component integration, appropriate mechanisms for the timely detection of interface faults are identified and implemented.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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. Lions JL. ARIANE 5 Flight 501 Failure: Report by the Enquiry Board, European Space Agency, Paris, 1996

    Google Scholar 

  2. Stephenson AG. Mars Climate Orbiter Mishap Investigation Board Phase I Report, 1999

    Google Scholar 

  3. Moonen R. Dutch chemical plant explodes due to typing error, The Risks Digest, Forum on Risks to the Public in Computers and Related Systems, 1992

    Google Scholar 

  4. Leveson N, Turner CS. An Investigation of the Therac-25 Accidents. IEEE Computer, Vol. 26, No. 7, July 1993

    Google Scholar 

  5. Patriot Missile Defense — Software Problem Led to System Failure at Dhahran, Saudi Arabia. Report of the US General Accounting Office, 1992

    Google Scholar 

  6. Yakimovich D, Travassos GH, Basili VR. A Classification of Software Components Incompatibilities for COTS Integration. Proceedings of the 21st International Conference on Software Engineering, Los Angeles, 1999

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Software Engineering, University of Erlangen-Nuremberg, Martensstrasse 3, 91058, Erlangen, Germany

    Francesca Saglietti & Martin Jung

Authors
  1. Francesca Saglietti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Jung
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. TÜV Süddeutschland, Dudenstrasse 28, D-68167, Mannheim, Germany

    Cornelia Spitzer Dipl.-Math.

  2. Swiss Federal Nuclear Safety Inspectorate (HSK), CH-5232, Villigen-HSK, Switzerland

    Ulrich Schmocker PhD

  3. Paul Scherrer Institut (PSI), CH-5232, Villigen PSI, Switzerland

    Vinh N. Dang PhD

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag London

About this paper

Cite this paper

Saglietti, F., Jung, M. (2004). Classification, Analysis and Detection of Interface Inconsistencies in Safety-Relevant Component-based Systems. In: Spitzer, C., Schmocker, U., Dang, V.N. (eds) Probabilistic Safety Assessment and Management. Springer, London. https://doi.org/10.1007/978-0-85729-410-4_299

Download citation

  • DOI: https://doi.org/10.1007/978-0-85729-410-4_299

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-1057-6

  • Online ISBN: 978-0-85729-410-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation