SBIR/STTR Research Award
TimeVault: A Vertically Integrated Environment for High-Assurance Real-Time Applications
Award amount
$65,000Program and phase
SBIR · Phase IAward year
2001Award details
- Awarding agency
- Department of Defense
- Branch
- Missile Defense Agency
- Recipient company
- TIMESYS CORP.
- Proposal award date
- Not reported
- Contract end date
- Not reported
- UEI
- Not reported
- Solicitation number
- Not reported
- Topic code
- Not reported
Research abstract
We propose to investigate, design and prototype capabilities of a vertically integrated environment called TimeVault for the design, analysis, and execution of high assurance real-time systems. Different real-time applications can be mixed and matchedwithin or across processors. High assurance will be provided by an abstraction called
Technology keywords
Not reported