A Runtime Verification System for Developing, Analyzing and Controlling Complex Safety-Critical Software

Award Information
Agency:
National Aeronautics and Space Administration
Branch
n/a
Amount:
$97,000.00
Award Year:
2010
Program:
SBIR
Phase:
Phase I
Contract:
NNX10CC41P
Agency Tracking Number:
095254
Solicitation Year:
2009
Solicitation Topic Code:
X1.02
Solicitation Number:
n/a
Small Business Information
ThinkRuntime, Inc.
2506 Lakewood Drive, Champaign, IL, 61822-7527
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
833206795
Principal Investigator:
Patrick Meredith
Principal Investigator
(217) 418-0418
pmeredit@uiuc.edu
Business Contact:
Patrick Meredith
Member, Board of Directors
(217) 418-0418
pmeredit@uiuc.edu
Research Institution:
n/a
Abstract
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.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government