An Official Website of the United States Government
Company Information:
Name:
Runtime Verification Inc
Address:
2506 Lakewood Drive
Champaign, IL 61822-7527
Champaign, IL 61822-7527
Located in HUBZone:
No
Woman-Owned:
No
Minority-Owned:
No
URL:
N/A
Phone:
N/A
Award Totals:
Award List:
A Runtime Verification System for Developing, Analyzing and Controlling Complex Safety-Critical Software
Award Year / Program / Phase:
2010 / SBIR / Phase I
Agency:
NASA
Principal Investigator:
Patrick O. Meredith, Principal Investigator
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… More