NASA SBIR 2004 Solicitation

FORM B - PROPOSAL SUMMARY


PROPOSAL NUMBER: 04 A1.04-9657
SUBTOPIC TITLE: Automated On-Line Health Management and Data Analysis
PROPOSAL TITLE: Online Detection, Isolation, and Remediation of Flight Software Faults

SMALL BUSINESS CONCERN (Name, E-mail, Mail Address, City/State/Zip, Phone)
Kestrel Technology LLC
3260 Hillview Ave.
Palo Alto, CA 94304-1201
(650)320-8888

PRINCIPAL INVESTIGATOR/PROJECT MANAGER (Name, E-mail, Mail Address, City/State/Zip, Phone)
Allen Goldberg
goldberg@email.arc.nasa.gov
NASA Ames Research Ctr, M/S 269/2
Moffett Field, CA 94035-1000
(650)604-4585

TECHNICAL ABSTRACT (LIMIT 200 WORDS)
Increasingly, critical flight functionality is implemented in software, but traditional (integrated) vehicle health management (IVHM) has primarily addressed hardware faults. All fielded software has residual errors, and the marginal costs to remove errors grow as the target residual error rate decreases. Our innovation is the development of tools, architectural concepts and software development methodologies to extend IVHM systems to detect, isolate and recover from software errors, as a cost effective way to increase the reliability and robustness of flight software. Software fault detection, isolation and recovery (SFDIR) fixes or contains the impact of faults and reduces the possibility of catastrophic loss. Each phase ? detection, isolation, and recovery ? raises new research challenges. This work addresses automated diagnostics of mission-critical avionics and middleware or software toolkits to lower the cost of developing online health monitoring applications. Our technical objectives are to detect, by code instrumentation, when the software state violates explicated safety constraints; using model-based reasoning and program analysis techniques, to trace from symptom to error source; and to recover from errors in a safe way preserving or replacing as much functionality as possible, and in all cases "to do no harm". This technology may also be applied to monitor potential security threats.

POTENTIAL NASA COMMERCIAL APPLICATIONS (LIMIT 100 WORDS)
The potential applications of our innovation are generally to any system which requires high levels of safety and robustness. However, our work will focus on flight software for both aviation and space applications, including UAVs, military flight systems, and Exploration missions. Autonomy software in particular can benefit from this approach

POTENTIAL NON-NASA COMMERCIAL APPLICATIONS (LIMIT 100 WORDS)
A natural follow-on to a successful Phase II effort would be a partnership with an organization developing flight software and to apply the technology to new flight software development.