Home

Java Pathfinder (JPF) Core System

Ames Research Center, Moffett Field, California The JPF Core System is a framework to analyze and verify Java bytecode programs. The major component of JPF core is an extensible and runtime-configurable virtual machine (VM) that can be customized with runtime components such as specific instruction sets and plug-ins to observe program execution. The JPF core can store and restore program states, and comes with a configuration that constitutes a standalone software model checker that can be used to detect and analyze concurrency defects in Java applications like deadlocks or data race conditions.

Posted in: Briefs, Software

Read More >>

Single Doppler Retrieval Toolkit (SingleDop)

Marshall Space Flight Center, Alabama Single-Doppler retrieval of low-level, two-dimensional winds is desired to compare ground radar wind retrievals to satellite scatterometer wind retrievals. This needs to be integrated within the growing collection of open-source radar tools maintained by the Python Atmospheric/Ocean Sciences (PyAOS) community. SingleDop is a software module written in Python that retrieves 2D, low-level winds from either real or simulated Doppler radar data.

Posted in: Briefs, Software

Read More >>

Computing Efficient Onboard Analysis and Re-Scheduling

The objective is to speed up the responsiveness to onboard decision-making. NASA’s Jet Propulsion Laboratory, Pasadena, California Prior space missions have not routinely used onboard decision-making. The Autonomous Sciencecraft (ASE), flying onboard the Earth Observing One spacecraft, has been flying autonomous agent software for the past decade that enables it to analyze acquired imagery onboard, and use that analysis to determine future imaging. However, ASE takes approximately one hour to analyze and respond.

Posted in: Briefs, Software

Read More >>

libSPRITE

Marshall Space Flight Center, Alabama libSPRITE is a set of software libraries used in the development of software applications. The libraries provide components for encoding engineering units, math functions, a task scheduler built on top of pthreads, a publish/subscribe data distribution system, and a Lua scripting language interface.

Posted in: Briefs, Software

Read More >>

Tool for Rapid Analysis of Monte Carlo (TRAM) Simulation Data

This tool can be used in any engineering industry that uses Monte Carlo simulations as part of a design and analysis process. Lyndon B. Johnson Space Center, Houston, Texas Spacecraft design is inherently difficult due to the complexity of the systems involved and the expense of testing hardware in a realistic environment. The number and cost of flight tests can be reduced by performing extensive simulation and analysis studies to understand vehicle operating limits and identify circumstances that lead to mission failure. A Monte Carlo simulation approach that varies a wide range of parameters is typically used to generate a large set of test scenarios. The results of these analyses bound the vehicle performance and eventually help certify a spacecraft for flight.

Posted in: Briefs, Software

Read More >>

Object-Oriented FITS File Interface for MATLAB

Goddard Space Flight Center, Greenbelt, Maryland The ability to read complicated Flexible Image Transport System (FITS) files in MATLAB was required for analyzing data from the Integrated Science Instrument Module (ISIM) cryovac test campaign for the James Webb Space Telescope (JWST) project. This software was written to fill that specific need, but is more generally applicable.

Posted in: Briefs, Software

Read More >>

Space Station Research Explorer

This program presents experiments, facilities, and research results from the International Space Station in formats that could be easily understood by a wide audience. Lyndon B. Johnson Space Center, Houston, Texas The Space Station Research Explorer provides current information on International Space Station (ISS) experiments, facilities, and research results through video, photos, interactive media, and in-depth descriptions on iOS and Android devices.

Posted in: Briefs, Software

Read More >>

The U.S. Government does not endorse any commercial product, process, or activity identified on this web site.