SBIR-STTR Award

Third-Party Verification of COTS Software Compliance with Requirements
Award last edited on: 3/31/2023

Sponsored Program
SBIR
Awarding Agency
DOD : DARPA
Total Award Amount
$224,872
Award Phase
1
Solicitation Topic Code
HR001121S0007-08
Principal Investigator
Kristopher M Carver

Company Information

BlueRISC Inc

400 Amity Street Suites 0-1-3-4
Amherst, MA 01002
   (617) 517-6324
   info@bluerisc.com
   www.bluerisc.com
Location: Multiple
Congr. District: 02
County: Hampshire

Phase I

Contract Number: W31P4Q-22-C-0003
Start Date: 7/13/2021    Completed: 10/3/2022
Phase I year
2021
Phase I Amount
$224,872
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.

Phase II

Contract Number: ----------
Start Date: 00/00/00    Completed: 00/00/00
Phase II year
----
Phase II Amount
----