The Galileo fault tree analysis tool

  title={The Galileo fault tree analysis tool},
  author={Kevin J. Sullivan and Joanne Bechta Dugan and David Coppit},
  journal={Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352)},
We present Galileo, a dynamic fault tree modeling and analysis tool that combines the innovative DIF-Tree analysis methodology with a rich user interface built using package-oriented programming. DIFTree integrates binary decision diagram and Markov methods under the common notation of dynamic fault trees, allowing the user to exploit the benefits of both techniques while avoiding the need to learn additional notations and methodologies. Package-oriented programming (POP) is a software… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 157 citations. REVIEW CITATIONS
90 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 90 extracted citations

157 Citations

Citations per Year
Semantic Scholar estimates that this publication has 157 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

Chief Scientist, U.S

  • E. Feigenbaum
  • Air Force, IEEE Computer,
  • 1998
1 Excerpt

A modular approach for analyzing static and dynamic fault trees

  • Rohit Gulati, Joanne Bechta Dugan
  • Proceedings of the Reliability and…
  • 1997
1 Excerpt

Building Programs from Massive Components

  • K. J. Sullivan, J. C. Knight
  • Proceedings of the 21 Annual Software Engineering…
  • 1996
1 Excerpt

Dynamic fault tree models for fault tolerant computer systems

  • Joanne Bechta Dugan, Salvatore J. Bavuso, Mark A. Boyd
  • IEEE Transactions on Reliability, Volume 41…
  • 1992
1 Excerpt

Dynamic Fault tree models: Techniques for Analysis of Advanced Fault Tolerant Computer Systems, Ph.D

  • Mark A. Boyd
  • 1990
1 Excerpt

Bavuso and Mark A . Boyd , " Dynamic fault tree models for fault tolerant computer systems

  • J Salvatore
  • IEEE Transactions on Reliability , Volume 41…

Similar Papers

Loading similar papers…