Briefs : Information Technology
Generalized Query Tool for Accessing the Database of the Mars Relay Operations Service (MaROS)

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...

Briefs : Information Technology
High-Performance Fault-Tolerant xEmbedded Computing (HPFEC) Benchmark Suite

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,...

Briefs : Software
JPF-NAS Extension of Java Pathfinder

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...

Briefs : Information Technology
Institutional Budgeting Tool (IBT)

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...

Briefs : Information Technology
Tubes Standards-Compliant C Header Library

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...

Briefs : Software
Techniques for Conducting Effective Concept Design and Design-to-Cost Trade Studies

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...

Briefs : Information Technology
HyDE Model-Based Diagnosis Engine for Stochastic Hybrid Systems

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...

Briefs : Information Technology
Lunar Thin Section Particle Identification and Analysis Algorithm

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...

Briefs : Software
Libibvpp

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.

Briefs : Information Technology
Analytical Methodology to Predict the Radiometric Emissivity of a Parabolic Mesh Reflector

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.

Briefs : Software
Detection and Characterization of Recurring Slope Lineae

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...

Briefs : Information Technology
Streams: A Hyper-Responsive Telemetry Interaction Tool on the Web

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...

Briefs : Information Technology
Auto-Coding Flight Software Hybrid Controllers Synthesized from Formal Specifications

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...

Briefs : Software
Active Learning System for iPTF Candidate Classification

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...

Briefs : Information Technology
Cobra: an Extendable Tool for Interactive Code Analysis

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...

Technology Leaders

Tech Briefs TV

`