NASA SBIR 2009 Solicitation


PROPOSAL NUMBER: 09-1 X1.02-8746
SUBTOPIC TITLE: Reliable Software for Exploration Systems
PROPOSAL TITLE: A Runtime Verification System for Developing, Analyzing and Controlling Complex Safety-Critical Software

SMALL BUSINESS CONCERN (Firm Name, Mail Address, City/State/Zip, Phone)
ThinkRuntime Inc
2506 Lakewood Dr
Champaign, IL 61822 - 7527
(217) 418-0418

PRINCIPAL INVESTIGATOR/PROJECT MANAGER (Name, E-mail, Mail Address, City/State/Zip, Phone)
Patrick O. Meredith
1106 W. Stoughton 3B
Urbana, IL 61801 - 7713
(217) 418-0418

Estimated Technology Readiness Level (TRL) at beginning and end of contract:
Begin: 6
End: 8

TECHNICAL ABSTRACT (Limit 2000 characters, approximately 200 words)
A comprehensive commercial-grade system for the development of safe parallel and serial programs is developed. The system has the ability to perform efficient parametric runtime verification of programs. This can be used to ensure the safety of mission critical systems at runtime. The system also has the ability to extrapolate all feasible program traces deriving from
thread inter-leavings that meet the casual dependencies of a program
from a single running. These feasible traces can be checked, using the same parametric trace slicing algorithm used for runtime verification, against safety properties. An extensive evaluation of the system on software critical to NASA is also performed, with the aid of Klaus Havelund.

POTENTIAL NASA COMMERCIAL APPLICATIONS (Limit 1500 characters, approximately 150 words)
The software developed by NASA is particularly safety critical. Our tool will allow NASA not only to test the safety of pre-production software, but also to guarantee safety of portions of software systems at runtime. The addition of predictive runtime analysis will allow NASA to easily find safety violations in multi-threaded programs.

POTENTIAL NON-NASA COMMERCIAL APPLICATIONS (Limit 1500 characters, approximately 150 words)
The Non-NASA applications are much the same. Not all companies produce software that is as safety critical as NASA, but even those that do not will benefit from the ability to rigorously test formal safety policies in pre-production software, and guarantee safety in production software. Predictive runtime analysis only becomes more important as commercial software adapts to the massively multi-core future.

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.

Airport Infrastructure and Safety
Architectures and Networks
Attitude Determination and Control
Autonomous Control and Monitoring
Autonomous Reasoning/Artificial Intelligence
Computer System Architectures
Guidance, Navigation, and Control
Human-Computer Interfaces
Manned-Maneuvering Units
On-Board Computing and Data Management
Operations Concepts and Requirements
Pilot Support Systems
Portable Life Support
Software Development Environments
Software Tools for Distributed Analysis and Simulation
Spaceport Infrastructure and Safety
Telemetry, Tracking and Control
Testing Requirements and Architectures

Form Generated on 09-18-09 10:14