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

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

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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government