Skip to main content
SpringerLink
Log in

Formalising Fault Trees

  • Conference paper
Achievement and Assurance of Safety

Abstract

The paper presents a systematic approach to formalisation of events in Fault Trees. The formal meaning of events is given in terms of the Extended CSDM model. The paper gives an algorithm which guides through the process of event formalisation together with some classification of the typical event classes. The approach is illustrated by a number of examples which present formalisation of events derived from real Fault Trees.

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. L. Bass, D. L. Martin, Cost-Effective Software Safety Analysis, Proceedings of Annual Reliability and Maintainability Symposium, IEEE 1989

    Google Scholar 

  2. R. E. Bloomfield, J. H. Cheng, J. Górski, Towards A Common Safety Description Model, Proceedings of Safecomp’91, Pergamon Press, 1991

    Google Scholar 

  3. G. Bruns, S. Anderson, Validating Safety Models With Fault Trees, in: Safecomp’93, (J. Górski, Ed. ), Springer-Verlag, 1993

    Google Scholar 

  4. J. Górski, Extending Safety Analysis Techniques With Formal Semantics, In Technology and Assessment of Safety Critical Systems, (F.J. Redmill, Ed. ), Springer-Verlag, 1994

    Google Scholar 

  5. Health and Safety Executive, Programable Electronic Systems In Safety Related Applications, General Technical Guidelines,Her Majesty’s Stationery Office, London, 1987

    Google Scholar 

  6. C. B. Jones, Systematic Software Development using VDM, Prentice Hall Int., 1990

    Google Scholar 

  7. W. E. Vesely et el., Fault Tree Handbook, Nureg 0492, US Nuclear Regulatory Commission, 1981

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Franco-Polish School of New Information and Communication Technologies, Poznań, Poland

    Janusz Górski & Andrzej Wardziński

Authors
  1. Janusz Górski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrzej Wardziński
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. 22 Onslow Gardens, N10 3JU, London, UK

    Felix Redmill (Redmill Consultancy) (Redmill Consultancy)

  2. Centre for Software Reliability, University of Newcastle-upon-Tyne, NE1 7RU, Newcastle-upon-Tyne, UK

    Tom Anderson

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag London Limited

About this paper

Cite this paper

Górski, J., Wardziński, A. (1995). Formalising Fault Trees. In: Redmill, F., Anderson, T. (eds) Achievement and Assurance of Safety. Springer, London. https://doi.org/10.1007/978-1-4471-3003-1_18

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3003-1_18

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19922-9

  • Online ISBN: 978-1-4471-3003-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation