SBIR/STTR Research Award
Third-Party Verification of COTS Software Compliance with Requirements
Award amount
$1,479,634Program and phase
SBIR · Phase IIAward year
2023Award details
- Awarding agency
- Department of Defense
- Branch
- Defense Advanced Research Projects Agency
- Recipient company
- BLUERISC INC
- Proposal award date
- 2023-03-06
- Contract end date
- 2026-03-06
- UEI
- LVWLKDJURJL1
- Solicitation number
- HR001121S0007.I
- Topic code
- HR001121S0007-08
Research abstract
BlueRISC’s proposed solution provides a new, fundamental approach to enabling the validation of COTS software with respect to a set of defined requirements. The solution is built on a generic program analytic framework for processing and validating against requirements. The proposed solution operates strictly at the binary-level and does so in a processor/ISA-agnostic manner. The solution automatically generates a confidence metric conveying the likelihood that a specific requirement is met within a software.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Large Language Models for System Security Engineering Analysis
- Navigation Warfare Situational Awareness with AI/ML
- Asymmetric LLM-aided Cyber Effects
- Navigation Warfare Situational Awareness with AI/ML
- Novel Processor Architectures for Probabilistic Computing in Survivability Controllers
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Generating Requirements Evidence with Analysis and System-level Enforcement (GREASE)
- Binary Assurance Through Proofs Of Properties
- Third Party Verification of COTS Compliance with Requirements (VeriCoR)
- Medical Device Verification Using Model-Based Testing
- Third-Party Verification of COTS Software Compliance with Requirements
Research funding history
60 SBIR/STTR records share this UEI (2003–2025). Reported award amounts total $29,565,062. Reported amounts are not federal obligations.
Phases: Phase I, Phase II
Agencies: Department of Defense, Department of Homeland Security, National Science Foundation, Department of Energy