Special Coverage

Home

Model Checker for Java Programs

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, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features.

Posted in: Software, Briefs

Read More >>

Mission Simulation Toolkit

The Mission Simulation Toolkit (MST) is a flexible software system for autonomy research. It was developed as part of the Mission Simulation Facility (MSF) project that was started in 2001 to facilitate the development of autonomous planetary robotic missions. Autonomy is a key enabling factor for robotic exploration. There has been a large gap between autonomy software (at the research level), and software that is ready for insertion into near-term space missions. The MST bridges this gap by providing a simulation framework and a suite of tools for supporting research and maturation of autonomy.

Posted in: Software, Briefs

Read More >>

Automatic Command Sequence Generation

Automatic Sequence Generator (Autogen) Version 3.0 software automatically generates command sequences for the Mars Reconnaissance Orbiter (MRO) and several other JPL spacecraft operated by the multi-mission support team. Autogen uses standard JPL sequencing tools like APGEN, ASP, SEQGEN, and the DOM database to automate the generation of uplink command products, Spacecraft Command Message Format (SCMF) files, and the corresponding ground command products, DSN Keywords Files (DKF). Autogen supports all the major multimission mission phases including the cruise, aerobraking, mapping/science, and relay mission phases.

Posted in: Software, Briefs

Read More >>

Generating Scenarios When Data Are Missing

A computer program implements the algorithm described in “Hypothetical Scenario Generator for Fault-Tolerant Diagnosis” (NPO-42516), NASA Tech Briefs, Vol. 31, No. 6 (June 2007), page 71. To recapitulate: the Hypothetical Scenario Generator (HSG) is being developed in conjunction with other components of artificial-intelligence systems for automated diagnosis and prognosis of faults in spacecraft, aircraft, and other complex engineering systems. The HSG accepts, as input, possibly incomplete data on the current state of a system (see figure).

Posted in: Software, Briefs, TSP

Read More >>

Program Management Tool

The Program Management Tool (PMT) is a comprehensive, Web-enabled business intelligence software tool for assisting program and project managers within NASA enterprises in gathering, comprehending, and disseminating information on the progress of their programs and projects. The PMT provides planning and management support for implementing NASA programmatic and project management processes and requirements. It provides an online environment for program and line management to develop, communicate, and manage their programs, projects, and tasks in a comprehensive tool suite. The information managed by use of the PMT can include monthly reports as well as data on goals, deliverables, milestones, business processes, personnel, task plans, monthly reports, and budgetary allocations.

Posted in: Software, Briefs

Read More >>

ISPATOM: A Generic Real-Time Data Processing Tool Without Programming

Information Sharing Protocol Advanced Tool of Math (ISPATOM) is an application program allowing for the streamlined generation of “comps,” which subscribe to streams of incoming telemetry data, perform any necessary computations on the data, then send the data to other programs for display and/or further processing in NASA mission control centers (see figure). Heretofore, the development of comps was difficult, expensive, and time-consuming: Each comp was custom written manually, in a low-level computing language, by a programmer attempting to follow requirements of flight controllers.

Posted in: Software, Briefs

Read More >>

CASPER Version 2.0

The Continuous Activity Scheduling Planning Execution and Replanning (CASPER) computer program has been updated to version 2.0. A prototype version was reported in “Software for Continuous Replanning During Execution” (NPO-20972), NASA Tech Briefs, Vol. 26, No. 7 (April 2002), page 67. To recapitulate: CASPER is designed to perform automated planning of interdependent activities within a system subject to requirements, constraints, and limitations on resources.

Posted in: Software, Briefs

Read More >>