BLUERISC INC — Department of Defense SBIR Phase II: HR001121S0007-08

BLUERISC INC — SBIR Phase II award from Department of Defense.

Amount
$1,479,634
Agency
Department of Defense · Defense Advanced Research Projects Agency
Program / Phase
SBIR · Phase II
Topic
HR001121S0007-08
Solicitation
HR001121S0007.I
NAICS
Place of performance
MA
Period
2023-03-06 → 2026-03-06

Description

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.