2008

SHINE Virtual Machine Model for In-flight Updates of Critical Mission Software

This software is a new target for the Spacecraft Health Inference Engine (SHINE) knowledge base that compiles a knowledge base to a language called Tiny C — an interpreted version of C that can be embedded on flight processors. This new target allows portions of a running SHINE knowledge base to be updated on a “live” system without needing to halt and restart the containing SHINE application. This enhancement will directly provide this capability without the risk of software validation problems and can also enable complete integration of BEAM and SHINE into a single application.

This innovation enables SHINE deployment in domains where autonomy is used during flight-critical applications that require updates. This capability eliminates the need for halting the application and performing potentially serious total system uploads before resuming the application with the loss of system integrity. This software enables additional applications at JPL (microsensors, embedded mission hardware) and increases the marketability of these applications outside of JPL.

This work was done by Mark James, Ryan Mackey, and Raffi Tikidjian of Caltech for NASA’s Jet Propulsion Laboratory.

In accordance with Public Law 96-517, the contractor has elected to retain title to this invention. Inquiries concerning rights for its commercial use should be addressed to:

Innovative Technology Assets Management
JPL
Mail Stop 202-233
4800 Oak Grove Drive
Pasadena, CA 91109-8099
E-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.

Refer to NPO-44547, volume and number of this NASA Tech Briefs issue, and the page number.

This Brief includes a Technical Support Package (TSP).

SHINE Virtual Machine Model for In- Flight Updates of Critical Mission Software (reference NPO-44547) is currently available for download from the TSP library.

Please Login at the top of the page to download.

White Papers

Software Defined Radio Handbook
Sponsored by Pentek
Wire Wound Springs versus Machined Springs; A Comparison
Sponsored by Helical
Enabling Complex Applications with a Dual Node Single Board Computer
Sponsored by Curtiss-Wright Controls Embedded Computing
Made in Space: 3D Printing in Zero-G
Sponsored by Stratasys
Addressing Security Vulnerabilities at the Source
Sponsored by PRQA
Technology To Speed Wire Harness New Product Introduction
Sponsored by Mentor Graphics

White Papers Sponsored By:

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