SBIR-STTR Award

  1. You are here:    Home
  2. Search Databases
  3. Search SBIR-STTR Awards
  4. 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
$1,704,506
Award Phase
2
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: W31P4Q-23-C-0024
Start Date: 3/6/2023    Completed: 3/6/2026
Phase II year
2023
Phase II Amount
$1,479,634
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.