Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Note

Modeling the Space Shuttle Liquid Hydrogen Subsystem

  • Abstract

    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.

  • Download

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://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5089

IEEE

Atanacio. Bemina, "Modeling the Space Shuttle Liquid Hydrogen Subsystem," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2000-TN-002 , 2000. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5089

APA

Atanacio, Bemina. (2000). Modeling the Space Shuttle Liquid Hydrogen Subsystem (CMU/SEI-2000-TN-002 ). Retrieved December 25, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5089

CHI

Bemina Atanacio. Modeling the Space Shuttle Liquid Hydrogen Subsystem (CMU/SEI-2000-TN-002 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2000. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5089

MLA

Atanacio, Bemina. 2000. Modeling the Space Shuttle Liquid Hydrogen Subsystem (Technical Report CMU/SEI-2000-TN-002 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5089