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
Award Id:
95302
Agency Tracking Number:
095254
Solicitation Year:
n/a
Solicitation Topic Code:
X1
Solicitation Number:
n/a
Small Business Information
2506 Lakewood Drive, Champaign, IL, 61822
Hubzone Owned:
N
Minority Owned:
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 Institute:
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


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government