Modeling the Space Shuttle Liquid Hydrogen Subsystem

This paper describes experiences with modeling the liquid hydrogen subsystem of the space shuttle. The Symbolic Model Verifier tool and the Software Cost Reduction tool set were used to model and specify the behavior of the system. The tools were then used to check for errors in the models. Modeling a problem from several different perspectives offers the chance to uncover discrepancies among different models and to understand the problem space enough to ask important questions about the behavior of the system. Each tool presented different issues in modeling the problem. Both models and a breakdown of the time spent during this study are included as appendices.

PDF [256 KB]

Author

Bemina Atanacio

This report is related to the following area(s) of work:

Performance and Dependability

Technical Note
CMU/SEI-2000-TN-002
May 2000

Cite This Report

SEI:

Atanacio, Bemina; Modeling the Space Shuttle Liquid Hydrogen Subsystem (CMU/SEI-2000-TN-002 ). Software Engineering Institute, Carnegie Mellon University, 2000. http://www.sei.cmu.edu/library/abstracts/reports/00tn002.cfm

IEEE:

B. Atanacio, "Modeling the Space Shuttle Liquid Hydrogen Subsystem," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2000-TN-002 , 2000. http://www.sei.cmu.edu/library/abstracts/reports/00tn002.cfm

APA:

Atanacio, B., (2000). Modeling the Space Shuttle Liquid Hydrogen Subsystem (CMU/SEI-2000-TN-002 ). Retrieved May 18, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/00tn002.cfm

CHI:

Atanacio, Bemina, Modeling the Space Shuttle Liquid Hydrogen Subsystem (CMU/SEI-2000-TN-002 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2000. http://www.sei.cmu.edu/library/abstracts/reports/00tn002.cfm

MLA:

Atanacio, B., 2000. Modeling the Space Shuttle Liquid Hydrogen Subsystem (Technical Report CMU/SEI-2000-TN-002 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/00tn002.cfm

Find Us Here

Find us on Youtube  Find us on LinkedIn  Find us on twitter  Find us on Facebook

Share This Page

Share on Facebook  Send to your Twitter page  Save to del.ico.us  Save to LinkedIn  Digg this  Stumble this page.  Add to Technorati favorites  Save this page on your Google Home Page 

For more information

Contact Us

info@sei.cmu.edu

412-268-5800

Help us improve

Visitor feedback helps us continually improve our site.

Please tell us what you
think with this short
(< 5 minute) survey.