NASA STTR 2005 Solicitation

FORM B - PROPOSAL SUMMARY


PROPOSAL NUMBER:05-II T1.01-9797
PHASE-I CONTRACT NUMBER: NNA06AA24C
RESEARCH SUBTOPIC TITLE:Information Technologies for System Health Management, Autonomy, and Scientific Exploration
PROPOSAL TITLE:Failsafe

SMALL BUSINESS CONCERN (SBC): RESEARCH INSTITUTION (RI):
NAME: Kestrel Technology LLC NAME:Jet Propulsion Laboratory
ADDRESS:4984 El Camino Real #230 ADDRESS:4800 Oak Grove Dr., MS 301-270
CITY:Los Altos CITY:Pasadena
STATE/ZIP:CA  94022-1446 STATE/ZIP:CA  91109-8001
PHONE: (650) 967-4408 PHONE: (818) 393-6234

PRINCIPAL INVESTIGATOR/PROJECT MANAGER (Name,Email)
Allen   Goldberg
goldberg@kestreltechnology.com

TECHNICAL ABSTRACT ( Limit 2000 characters, approximately 200 words)
With embedded software becoming ever more complex, assuming that it behaves perfectly is not realistic. The adaptation of fault protection concepts to embedded software is attractive, particularly in the context of the fault containment and health management capabilities provided by ARINC 653. In Phase II we shall develop tools to define simple, verifiable models that characterize the software with respect to its interface behavior, resource usage, and data reasonableness. We shall provide a software framework to instrument and monitor the software as it executes in both test and operational environments. When a deviation from the model is detected, a simple remediation action, including a hard or soft component reset is invoked. These tools will be integrated into ARINC 653 to support fault detection and recovery in an operational context, and the Eclipse software development environment for application in a test and verification context such as DSIL and engineering analysis context such as CEAL. Further we shall produce a methodology to assist in certification of instantiations of our software fault protection framework.

POTENTIAL NASA COMMERCIAL APPLICATIONS ( Limit 1500 characters, approximately 150 words)
Software errors have had adverse effects on NASA missions. Project Constellation has stringent requirements to recover from mission- and safety-critical faults. As such ISHM plays an important role. Yet ISHM methods for detecting and recovering from software errors are not well-developed. The approach developed in Phase I is targeted to Constellation and builds on the ARINC 653 Application Executive, which has been selected for use on the CEV. Further, we supply tools to be integrated into DSIL and CEAL that aid in test and verification of Constellation software.

POTENTIAL NON-NASA COMMERCIAL APPLICATIONS ( Limit 1500 characters, approximately 150 words)
Our key innovation is a certifiable, efficient, and effective concept for detecting and recovering from software faults. These concepts have relevance and application to any safety-critical embedded software system, including automotive, plant control, and medical systems. ARINC 653 has been widely adopted for use in both commercial and military avionic. We propose a realization of our fault protection concept as an extension of the ARINC 653 health management framework.

NASA's technology taxonomy has been developed by the SBIR-STTR program to disseminate awareness of proposed and awarded R/R&D in the agency. It is a listing of over 100 technologies, sorted into broad categories, of interest to NASA.

TECHNOLOGY TAXONOMY MAPPING
Autonomous Reasoning/Artificial Intelligence
On-Board Computing and Data Management
Operations Concepts and Requirements
Software Development Environments
Software Tools for Distributed Analysis and Simulation
Testing Facilities
Testing Requirements and Architectures


Form Printed on 01-23-07 12:19