7,647 research outputs found
The Capillary Pumped Loop Flight Experiment (CAPL): A pathfinder for EOS
The CAPL shuttle flight experiment will provide microgravity verification of the prototype capillary pumped loop (CPL) thermal control system for EOS. The design of the experiment is discussed with particular emphasis on the new technology areas in ammonia two-phase reservior design and heat pipe heat exchanger development. The thermal and hydrodynamic analysis techniques and results are also presented, including pressure losses, fluid flow, and non-orbit heat rejection capability. CAPL experiment results will be presented after the flight, presently planned for 1993
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
SPARK 2014 is a modern programming language and a new state-of-the-art tool
set for development and verification of high-integrity software. In this paper,
we explore the capabilities and limitations of its latest version in the
context of building a flight stack for a high-altitude unmanned glider. Towards
that, we deliberately applied static analysis early and continuously during
implementation, to give verification the possibility to steer the software
design. In this process we have identified several limitations and pitfalls of
software design and verification in SPARK, for which we give workarounds and
protective actions to avoid them. Finally, we give design recommendations that
have proven effective for verification, and summarize our experiences with this
new language
- …