USA flag logo/image

An Official Website of the United States Government

A Runtime Verification System for Developing, Analyzing and Controlling Complex…

Award Information

Agency:
National Aeronautics and Space Administration
Branch:
N/A
Award ID:
95302
Program Year/Program:
2010 / SBIR
Agency Tracking Number:
095254
Solicitation Year:
N/A
Solicitation Topic Code:
X1
Solicitation Number:
N/A
Small Business Information
Runtime Verification Inc
2506 Lakewood Drive Champaign, IL 61822-7527
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2010
Title: A Runtime Verification System for Developing, Analyzing and Controlling Complex Safety-Critical Software
Agency: NASA
Contract: NNX10CC41P
Award Amount: $97,000.00
 

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.

Principal Investigator:

Patrick O. Meredith
Principal Investigator
2174180418
pmeredit@uiuc.edu

Business Contact:

Patrick O. Meredith
Member, Board of Directors
2174180418
pmeredit@uiuc.edu
Small Business Information at Submission:

Runtime Verification Inc
2506 Lakewood Drive Champaign, IL 61822

EIN/Tax ID: 271593403
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No