Software

Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed,...

A computer program implements parallel-processing algorithms for correlating images of terrain acquired by stereoscopic pairs of digital stereo cameras on an exploratory robotic vehicle (e.g., a Mars rover). Such correlations are used to create three-dimensional computational models of the...

"Advanced Tool Integration Environment" ("ATIE") is the name of both a software system and a Web-based environment created by the system for maintaining an archive of legacy software and expertise involved in developing the legacy software. ATIE can also be used in modifying legacy software and...

IPG Execution Service is a framework that reliably executes complex jobs on a computational grid, and is part of the IPG service architecture designed to support location-independent computing. The new grid service enables users to describe the platform on which they need a job to run, which allows the service to locate the...

SPACESIM is a computer program for detailed simulation of operations at a spaceport. SPACESIM is being developed to greatly improve existing spaceports and to aid in designing, building, and operating future spaceports, given that there is a worldwide trend in spaceport operations from very expensive,...

The Web-based Real-Time Asset Monitoring (RAM) module for emergency operations and facility management enables emergency personnel in federal agencies and local and state governments to monitor and analyze data in the event of a natural disaster or other crisis that threatens a large number of people and...

This software innovation speeds up the computation time of the Satellite Orbit Analysis Program (SOAP) tool by parallelizing the code using the message- passing interface (MPI) library. The speed increases almost linearly with the number of processors, allowing the perstudy duration of the...

POUR is a framework that accepts periodic information updates, collects information on demand, and accepts user-specified information while presenting a single unified view to the user. The primary functionality of POUR is through its query interface. A query consists of any number...

SWIM is a Software Information Metacatalog that gathers detailed information about the software components and packages installed on a grid resource. Information is currently gathered for Executable and Linking Format (ELF) executables and shared libraries, Java classes, shell scripts, and Perl and Python modules....

"Automated sequence generation" (autogen) signifies both a process and software used to automatically generate sequences of commands to operate various spacecraft. Autogen requires fewer workers than are needed for older manual sequence-generation processes and reduces sequence-generation times...

RT-Display is a MATLAB- based data acquisition environment designed to use a variety of commercial off-the-shelf (COTS) hardware to digitize analog signals to a standard data format usable by other post-acquisition data analysis tools. This software presents the acquired data in real time using a variety of signal-processing...

Collaborative Resource Allocation Networking Environment (CRANE) Version 0.5 is a prototype created to prove the newest concept of using a distributed environment to schedule Deep Space Network (DSN) antenna times in a collaborative fashion. This program is for all space-flight and terrestrial science project users...

NASA Tech Briefs' new Digital Design Center, sponsored by Autodesk, provides a one-stop source for the latest information on how to design better products faster. Featured on the site is the first in a series of exclusive excerpts from the new book, "Better Be Running! Tools to Drive Design Success" by Dr. Ronald Hollis, the...

X/P Merge is a computer program that estimates ground-surface elevations and vegetation heights from multiple sets of data acquired by the GeoSAR instrument [a terrain-mapping synthetic-aperture radar (SAR) system that operates in the X and P bands]. X/P Merge software combines data from X-...

FRONTIER is a computer program that functions as a front end for any of a variety of other software of both the artificial intelligence (AI) and conventional data-processing types. As used here, "front end" signifies interface software needed for acquiring and preprocessing data and making the...

Surfer is an extensible framework for selecting and ranking grid resources. A resource is defined as anything that needs selecting such as compute resources, storage resources, and data resources. The user specifies the set of resource types desired, the constraints that must hold over all the resources, and the...

InvestigationOrganizer (IO) is a Webbased collaborative information system that integrates the generic functionality of a database, a document repository, a semantic hypermedia browser, and a rulebased inference system with specialized modeling and visualization functionality to support accident/mishap...

As part of NASA's Partnership Seed Fund program, Goddard Space Flight Center is integrating the ILIADS software, a geospatial information system (GIS) it developed for lunar applications, with Questus(TM), a management and planning software tool developed by United Space Alliance (USA) for space shuttle operations. The...

A versatile computer program analyzes the link-design control table necessary for designing the telecommunication subsystem of a spacecraft in orbit around the Earth or on a deep-space mission. The program helps to calculate all the important parameter values for spacecraft-to-ground telemetry links...

A computer program implements a finite-element-based method of predicting the deformations of thin aerospace structures made of isotropic materials or anisotropic fiber-reinforced composite materials. The technique and corresponding software are applicable to thin shell structures in...

LMBTRK is a computer program that is used together with two software libraries known as ERHAND and HYBRRD to generate spacecraft-pointing vectors for limb-tracking maneuvers needed for experiments on propagation of radio signals through planetary atmospheres. LMBTRK determines, as a function...

The Enhanced Master Controller Unit Tester (EMUT) software is a tool for development and testing of software for a master controller (MC) flight computer. The primary function of the EMUT software is to simulate interfaces between the MC computer and external analog and digital circuitry (including other...