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

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

Amount
$224,872
Agency
Department of Defense · Defense Advanced Research Projects Agency
Program / Phase
SBIR · Phase I
Topic
HR001121S0007-08
Solicitation
HR001121S0007.I
NAICS
Place of performance
MA
Period
2021-07-13 → 2022-10-03

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.