Work on Galileo has been supported by several organizations.  NASA is the primary sponsor of our project, and, in particular, of work taking Galileo from an early research prototype to a production-ready system (Galileo/ASSAP): under contracts NAS1-99098 and NAS1-02076.  Work evaluating the use of formal methods to clarify of dynamic fault tree semantics and of specification-based testing of the Galileo implementation of that semantics was supported in part by the National Science Foundation under grant ITR-0086003.  Early work on the software tool architecture, including a working Galileo prototype that led to NASA funding of the current development effort was also provided by the National Science Foundation, primarily by a CAREER award to Kevin Sullivan.  Corporate support for this work has been provided by Lockheed Martin Corporation, Visio Corporation (now part of Microsoft Corporation) and Microsoft Corporation.