Skip to main content
SpringerLink
Log in

Formal Support for Fault Modelling and Analysis

  • Conference paper
  • First Online:
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:

Abstract

The paper presents how CSP and the associated tool FDR are used to support FMEA of a software intensive system. The paper explains the basic steps of our approach (formal specification, systematic fault identification, fault injection experiments and follow-up) and gives some results related to the application of this method to the industrial case study, a railway signalling system that is presently under development.

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. Cichocki, T., Górski, J.: Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. In: Koornneef, F., van der Meulen, M. (eds): Computer Safety, Reliability and Security. Springer Lecture Notes in Computer Science, Vol. 1943. Springer-Verlag Berlin (2000) 382–394

    Chapter  Google Scholar 

  2. Formal Systems (Europe) Ltd., Failures-Divergence Refinement. FDR2 User Manual. 24 October 1997

    Google Scholar 

  3. Leveson, N. G.: Safeware: System Safety and Computers. Addison-Wesley Publishing Company, 1995, ISBN 0-201-11972-2

    Google Scholar 

  4. Reese, J. D.: Software Deviation Analysis. University of California, Irvine, PhD Thesis (1996)

    Google Scholar 

  5. Roscoe, A. W.: The Theory and Practice of Concurrency. Prentice-Hall, 1998, ISBN 0-13-674409-5

    Google Scholar 

  6. OMG Unified Modeling Language Specification. Version 1.3, June 1999

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Adtranz Zwus, Modelarska 12, 40-142, Katowice, Poland

    Tadeusz Cichocki

  2. Technical University of Gdansk, Narutowicza 11/12, 80-952, Gdansk, Poland

    Janusz Górski

Authors
  1. Tadeusz Cichocki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Janusz Górski
    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

Cichocki, T., Górski, J. (2001). Formal Support for Fault Modelling and Analysis. 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_19

Download citation

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

  • 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