USA flag logo/image

An Official Website of the United States Government

Company Information:

Name: Runtime Verification Inc
Address: 2506 Lakewood Drive
Champaign, IL 61822-7527
Located in HUBZone: No
Woman-Owned: No
Minority-Owned: No
URL: N/A
Phone: N/A

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $221,400.00 2

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

A Scalable Semantics-Based Verification System for Flight Critical Software

Award Year / Program / Phase: 2013 / SBIR / Phase I
Agency: NASA
Principal Investigator: Patrick Meredith, Principal Investigator
Award Amount: $124,400.00
Abstract:
Modern flight-critical systems include hundreds of thousands to millions of lines of code. The Boeing 777, for instance, includes over 2 million lines of code. Future projects will only feature an increasing amount of source code, mostly written in the C programming language. The only way to… More