Skip to main content
SpringerLink
Log in

Galileo: A Tool for Dynamic Fault Tree Analysis

  • Conference paper
  • First Online:
Computer Performance Evaluation.Modelling Techniques and Tools (TOOLS 2000)

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

Abstract

Galileo is a prototype software tool for dependability analysis of fault tolerant computer-based systems. Reliability models are specified using dynamic fault trees, which provide special constructs for modeling sequential failure modes in addition to standard combinatorial fault tree gates. Independent modules are determined automatically, and separate modules are solved combinatorially (using Binary Decision Diagrams) or using Markov Methods.

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. S. V. Amari, J. B. Dugan, and R. B. Misra. A separable method for incorporating imperfect fault-coverage into combinatorial models. IEEE Transactions on Reliability, pages 267–274, September 1999.

    Google Scholar 

  2. M. Bouissou. An ordering heuristic for building binary decision diagrams from fault-trees. In Proceedings of the Reliability and Maintainability Symposium, pages 208–214, January, 1996.

    Google Scholar 

  3. O. Coudert and J. C. Madre. Metaprime, an interactive fault-tree analyser. IEEE Transactions on Reliability, 43(1):121–127, March 1994.

    Article  Google Scholar 

  4. S. A. Doyle and J. B. Dugan. Dependability assessment using binary decision diagrams. In Proc. IEEE Int. Symp. on Fault-Tolerant Computing, FTCS-25, June 1995.

    Google Scholar 

  5. J. B. Dugan, S. Bavuso, and M. Boyd. Dynamic fault tree models for fault tolerant computer systems. IEEE Transactions on Reliability, September 1992.

    Google Scholar 

  6. J. B. Dugan, K. S. Trivedi, M. K. Smotherman, and R. M. Geist. The hybrid automated reliability predictor. AIAA Journal of Guidance, Control and Dynamics, 9(3):319–331, May-June 1986.

    Article  MATH  Google Scholar 

  7. A. Rauzy. New algorithms for fault tree analysis. Reliability Engineering and System Safety, 40:203–211, 1993.

    Article  Google Scholar 

  8. R. Sinnamon and J. D. Andrews. Fault tree analysis and binary decision diagrams. In Proceedings of the Reliability and Maintainability Symposium, pages 215–222, January, 1996

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, University of Virginia, Charlottesville, VA, 22903-2442, USA

    Joanne Bechta Dugan

Authors
  1. Joanne Bechta Dugan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, RWTH Aachen, 52056, Aachen, Germany

    Boudewijn R. Haverkort  & Henrik C. Bohnenkamp  & 

  2. Performance Engineering Services Division, MS 110, L&S Computer Technology, Inc., P.O. Box 9802, Austin, TX, 78766, USA

    Connie U. Smith

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dugan, J.B. (2000). Galileo: A Tool for Dynamic Fault Tree Analysis. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds) Computer Performance Evaluation.Modelling Techniques and Tools. TOOLS 2000. Lecture Notes in Computer Science, vol 1786. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46429-8_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-46429-8_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46429-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation