Time Rover

11425 charsan Lane
Cupertino, CA 95014
2 Employees

SBIR Award Summary

Total Number of Awards 4
Total Value of Awards $1.09MM
First Award Date 05/17/04
Most Recent Award Date 05/04/12

Key Personnel

Last Name Name Awards Contact
Drusinsky Dr. Doron Drusinsky 4 Message

4 Awards Won

Phase 1 SBIR

Agency: Office of the Secretary of Defense
Topic: OSD11-CP1
Budget: 05/04/12 - 11/04/12

Unit testing is the prevailing approach used by programmers worldwide to verify their decisions and assumptions on a unit, or module level. Even with the advent of automated unit-test frameworks, a programmer s knowhow can seldom be shared with other programmers; in addition, no tool alerts to programmer about the concerns associated with his or...

Phase 1 SBIR

Agency: Missile Defense Agency
Topic: MDA05-056
Budget: 03/06/06 - 09/07/06

Trust-worthy distributed systems, such as the MDA Battle Manager (BM) System of Systems (SoS), require trusted coordination in the absence of ideal communication, i.e., when immediate and guaranteed broadcasting is not available. A fundamental issue for trust worthy distributed SoS is therefore attaining trustworthy agreement under real-life cir...

Phase 2 SBIR

Agency: Missile Defense Agency
Topic: MDA04-047
Budget: 06/02/05 - 06/02/07

We will construct tools for solving the two primary problems with formal verification methods: the specification problem and the verification problem. Our Phase II tools will extend the Phase I StateRover proof-of-concept tool (currently actively used by MDBT-B within the Advanced Battle Manager (ABM) project). The Phase II StateRover tool-set...

Phase 1 SBIR

Agency: Missile Defense Agency
Topic: MDA04-047
Budget: 05/17/04 - 11/17/04

We proposal new specification and lightweight verification technique based on three novel techniques invented by the PI. The first is a formal specification language named NTLCharts, which combines UML statechart diagram, temporal logic, and natural language. NTLCharts are visual, intuitive, while unambiguous and formal. The second techniqu...