Time Rover, Inc.

11425 Charsan Lane
Cupertino, CA 95014

SBIR Award Summary

Total Number of Awards 2
Total Value of Awards $669K
First Award Date 01/01/06
Most Recent Award Date 01/01/07

Key Personnel

Last Name Name Awards Contact
Drusinsky Doron Drusinsky 2 Message
Drusinsky Dana J. Drusinsky 1 Message

2 Awards Won

Phase 2 SBIR

Agency: National Aeronautics and Space Administration
Topic: 07-2
Budget: 01/01/07 - 12/31/07

This proposal is for the creation of a system-level software specification and verification tool. This proposal suggests a major leap-forward in usability of modeling, code generation, Runtime Verification (RV), and Automatic Test Generation (ATG) from the component-level to the system-level.

Phase 1 SBIR

Agency: National Aeronautics and Space Administration
Topic: 06-1
Budget: 01/01/06 - 12/31/06

The following background technology is described in Part 5: Run-time Verification (RV), White Box Automatic Test Generation (WBATG). Part 5 also describes how WBATG and RV yield Executable Model Checking (EMC).This proposal proposes using RV, WBATG and EMC for system level software verification. Similar techniques are commercially available for...