icon-carat-right menu search cmu-wordmark

Modeling the Space Shuttle Liquid Hydrogen Subsystem

Technical Note
This 2000 report describes experiences with modeling the liquid hydrogen subsystem of the space shuttle.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2000-TN-002

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.

Cite This Technical Note

Atanacio, B. (2000, May 1). Modeling the Space Shuttle Liquid Hydrogen Subsystem. (Technical Note CMU/SEI-2000-TN-002). Retrieved October 12, 2024, from https://insights.sei.cmu.edu/library/modeling-the-space-shuttle-liquid-hydrogen-subsystem/.

@techreport{atanacio_2000,
author={Atanacio, Bemina},
title={Modeling the Space Shuttle Liquid Hydrogen Subsystem},
month={May},
year={2000},
number={CMU/SEI-2000-TN-002},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/modeling-the-space-shuttle-liquid-hydrogen-subsystem/},
note={Accessed: 2024-Oct-12}
}

Atanacio, Bemina. "Modeling the Space Shuttle Liquid Hydrogen Subsystem." (CMU/SEI-2000-TN-002). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, May 1, 2000. https://insights.sei.cmu.edu/library/modeling-the-space-shuttle-liquid-hydrogen-subsystem/.

B. Atanacio, "Modeling the Space Shuttle Liquid Hydrogen Subsystem," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Note CMU/SEI-2000-TN-002, 1-May-2000 [Online]. Available: https://insights.sei.cmu.edu/library/modeling-the-space-shuttle-liquid-hydrogen-subsystem/. [Accessed: 12-Oct-2024].

Atanacio, Bemina. "Modeling the Space Shuttle Liquid Hydrogen Subsystem." (Technical Note CMU/SEI-2000-TN-002). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 May. 2000. https://insights.sei.cmu.edu/library/modeling-the-space-shuttle-liquid-hydrogen-subsystem/. Accessed 12 Oct. 2024.

Atanacio, Bemina. Modeling the Space Shuttle Liquid Hydrogen Subsystem. CMU/SEI-2000-TN-002. Software Engineering Institute. 2000. https://insights.sei.cmu.edu/library/modeling-the-space-shuttle-liquid-hydrogen-subsystem/