Galileo: a tool built from mass-market applications

ABSTRACT

We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call package-oriented programming (POP). Galileo represents an ongoing evaluation of the POP approach, where multiple large, architecturally coherent components are tightly integrated in an overall software system. Galileo utilizes Microsoft Word, Internet Explorer, and Visio to provide a low cost, richly functional fault tree modeling superstructure. Based on the success of previous prototypes of the tool, we are now building a version for industrial use under an agreement with NASA Langley Research Center.

REFERENCES

• 1: Anju Anand and Arun K. Somani, "Hierarchical analysis of fault trees with dependencies, using decomposition," In Proceedings of the Reliability and Maintainability Symposium, January 1998, pages 69- 75.
• 2: Dorian Yeager, Customize your text editor, Computer Languages, v.4 n.3, p.41-49, March 1987
• 3: Mark Allen Boyd, Dynamic fault tree models: techniques for analysis of advanced fault tolerant computer systems, Duke University, Durham, NC, 1992
• 4: David Coppit , Kevin J. Sullivan, Formal Specification in Collaborative Design of Critical Software Tools, The 3rd IEEE International Symposium on High-Assurance Systems Engineering, p.13-20, November 13-14, 1998
• 5: David Coppit , Kevin J. Sullivan, Multiple mass-market applications as components, Proceedings of the 22nd international conference on Software engineering, p.273-282, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337210]
• 6: David W. Coppit , Kevin J. Sullivan, Unwrapping, University of Virginia, Charlottesville, VA, 1998
• 7: Joanne Bechta Dugan, Salvatore J. Bavuso and Mark A. Boyd, "Dynamic fault tree models for fault tolerant computer systems," IEEE Transactions on Reliability, Volume 41, Number 3, pages 363-377, September 1992.
• 8: Dugan, Venkataraman, and Gulati, "DIFtree: A softwarepackage forthe analysis ofdynamic faulttree models," Proceedings of the 1997 Reliability and Maintainability Symposium, January 1997.
• 9: Joanne Bechta Dugan, Kevin J. Sullivan, and David Coppit. Developing a low-cost, high-quality software tool for dynamic fault tree analysis. Transactions on Reliability (to appear).
• 10: David Garlan , Robert Allen , John Ockerbloom, Architectural Mismatch: Why Reuse Is So Hard, IEEE Software, v.12 n.6, p.17-26, November 1995 [doi>10.1109/52.469757]
• 11: Rohit Gulati and Joanne Bechta Dugan, "A modular approach for analyzing static and dynamic fault trees," in Proceedings of the Reliability and Maintainability Symposium, January 1997.
• 12: Ragavan Manian, "Software architectural design and implementation of a dynamic fault tree analyzer," Master's Thesis, University of Virginia, August 1998.
• 13: Microsoft Corporation, Visio. http://www.visio.com/
• 14: Reliasoft. http://www.reliasoft.com/
• 15: J. M. Spivey, The Z notation: a reference manual, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992
• 16: Kevin J. Sullivan , Jake Cockrell , Shengtong Zhang , David Coppit, Package-oriented programming of engineering tools, Proceedings of the 19th international conference on Software engineering, p.616-617, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253501]
• 17: Kevin J. Sullivan , Joanne Bechta Dugan , David Coppit, The Galileo Fault Tree Analysis Tool, Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, p.232, June 15-18, 1999
• 18: K. J. Sullivan and J.C. Knight, "Building Programs from Massive Components," in Proceedings of the 21st Annual Software Engineering Workshop, Greenbelt, MD, Dec. 4-5, 1996.
• 19: Kevin J. Sullivan , John C. Knight, Experience assessing an architectural approach to large-scale systematic reuse, Proceedings of the 18th international conference on Software engineering, p.220-229, March 25-29, 1996, Berlin, Germany
• 20: United States Nuclear Regulatory Commission, Fault Tree Handbook, NUREG-0492, 1981.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: GALILEO

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Languages, Management, Performance, Theory

Keywords:
COTS, large component integration, package-oriented programming