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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2000
Accession Number
ADA377656

Entities

People

  • Bemina Atanacio

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Cost Reductions
  • Costs
  • Dictionaries
  • Engineering
  • Governments
  • Homosexuality
  • Hydrogen
  • Language
  • Law
  • Liquid Hydrogen
  • Materials
  • Models
  • Software Development
  • Space Shuttles
  • Specifications
  • Tank Vents

Readers

  • Database Systems and Applications
  • Materials Science and Engineering.
  • Software Engineering.

Technology Areas

  • Space