The Generalized Query Tool for accessing the database of MaROS can be utilized in three modes: (1) batch mode where a user's authentication data is inserted directly along with a desired query to the database, (2) interactive mode where a...

This work arises out of the Next Generation Space Processor (NGSP) project, a collaborative effort among several NASA centers and the Air Force Research Laboratory. The goal of NGSP is to develop the next generation of radiation-hardened, fault-tolerant, space-worthy...

The Jet Propulsion Laboratory's Institutional Budgeting Tool (IBT) was designed and developed to meet the needs of JPL's budget planners, numbering 1,600, who required a robust and state-of-the-art budgeting application. JPL's budgeting process had been constrained by legacy tools that presented usability and...

Java PathFinder (JPF) version 7 provides basic support for verifying the distributed Java applications. It can receive a distributed Java application as input that is perceived as multiple Java processes. However, JPF does account for communication between processes of the distributed application, and it thus...

Due to limitations imposed by transistor physics as device geometries continue to get finer and finer, the time when each new generation of processors was clocked faster than its predecessors is largely over. Nevertheless, as individual processor cores get smaller, chip manufacturers have turned instead to...

Concept design plays a central role in project success for space missions, as the product of concept design effectively locks in the majority of system lifecycle cost. It involves a concurrent investigation of requirements and multiple mission characteristics...

Model-based diagnosis deals with the problem of diagnosing faults in systems using a model of the system for guidance. This problem is complicated by the presence of hybrid dynamics in the system (continuous evolution of the system interspersed with discrete events like commands to...

Particle shape is a very important property in many fields of research, and with many practical, diverse, and commercially important applications including pharmaceuticals, civil engineering, metallurgy, health, and food processing. Many of the methods used to evaluate the shapes of...

Libibvpp provides a C++ wrapper API to the libibverbs library. Libibverbs is the OpenIB library that provides the Verbs API for programming Infiniband hardware. It is written in C and provides a C API. Because the API is in C, it is up to the library user to do explicit resource management for the objects created through the API.

The demands for high-sensitivity and high-resolution radiometry have recently led the science community to examine the use of large deployable mesh reflectors, which have heretofore only been used in telecommunications applications.

Recurring Slope Lineae (RSL) are low-albedo features that appear and disappear seasonally on Martian slopes. They provide distinct surface markers that are thought to result from the activity of subsurface water. Reliable characterizations of RSL activity are needed to test this hypothesis....

JPL Operations Engineers (Operators) need to interact with their telemetry to assess the health of and successfully operate a spacecraft or rover. Operators must analyze the immediate data for health and understand the current state of these complex systems, but they also must be...

The technique of synthesizing state-machine-based hybrid controller flight software (FSW) from formal specifications is demonstrated utilizing two simple controller examples (i.e. a simple thermostat and a simple autonomous vehicle). Formal requirements for these...

The Intermediate Palomar Transient Factory (iPTF) is a visible-spectrum astronomy survey aimed at detecting “transient” events such as supernovae. Every night, a telescope at the Palomar observatory collects images of various regions of the sky and compares them to a set of reference...

Source code analysis typically requires the use of expensive and difficult-to-configure tools that support only a predefined set of standard checks. In some cases, it is possible to add customized checks, but doing so can be laborious and requires a deep understanding of each tool’s internal...

There is a need to calculate the radiative heating rate at the surface of a vehicle entering any atmosphere, (e.g., Earth, Saturn, Titan, Mars, Venus etc). NEQAIR simulates the actual chemical and physical actions and reactions of the gaseous species in high-temperature shock...

As mission operations grow in scale and complexity, there is a prevailing need for automating operational processes to increase efficiency, mitigate risks, and reduce operational costs. The need for automating operational processes has produced a few disparate automation systems...

This application serves as Web-based management of the Systems Engi - neering Education and Development (SEED) program, and enables the SEED Program Manager to track and manage the applications and assignments. In the past, the handling of the applications and assignments was...

Many software applications have scripting needs including those based on the Goddard Mission Services Evolution Center (GMSEC) framework. In GMSEC, a user may want to automate the actions to take when a sequence of events occurs. Ideally, the scripting solution should allow the use of a familiar programming language and avoid unnecessary...

An assessment of a system’s safety requirements is required early in the design process when cost and time impacts are minimal. These requirements include fault detection, failure isolation, and failure recovery. Systems engineering groups at NASA have been exploring model-based products to better...

PyTMatrix is a Python interface to a T-matrix numerical scattering computation code originally developed at NASA GISS (Goddard Institute for Space Studies). It integrates into the NumPy/SciPy scientific framework. The software provides streamlined access to numerical T-matrix...

The Lunar Reconnaissance Orbiter (LRO) employs many advanced innovations developed at NASA’s Goddard Space Flight Center and in collaboration with other organizations. The applications and benefits for these technologies are advantageous for many other...

NASA’s Langley Research Center is developing Traffic Aware Strategic Aircrew Requests (TASAR). TASAR features a cockpit automation system that monitors for potential flight trajectory improvements and displays them to the pilot. These wind-optimized flight trajectory changes are...

Physical manufacturers have been taking advantage of mass manufacturing ideas for a long time, increasing their productivity, cutting their costs, and ensuring the quality and uniformity of their products. Now, this idea is being applied to...

NASA’s Langley Research Center has developed a technology at the forefront of a new generation of computer and video game environments that trains valuable mental skills, beyond eye-hand coordination, for the personal improvement, not just the diversion, of the user.

Graphical modeling tools have gained popularity within engineering communities, but such languages are known to suffer from lack of semantics and mathematical rigor. By supporting a graphical language with a textual language, and mapping graphical models to the textual language, one ensures proper unique semantics of the...

The objective of the current innovation was to develop a simple but accurate method for predicting boundary layer transition that would include the growth characteristics of laminar boundary layer disturbances while requiring only the pressure distribution over an aerodynamic...

Google Earth is a geospatial browser produced by Google that allows interactive exploration of the world from data servers on the Internet. An integral part of Google Earth is a built-in “cache” that is stored locally on the user’s computer, and allows the user to later revisit previously...