You are here

Third-Party Verification of COTS Software Compliance with Requirements

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: W31P4Q-22-C-0003
Agency Tracking Number: D21I-08-0118
Amount: $224,871.57
Phase: Phase I
Program: SBIR
Solicitation Topic Code: HR001121S0007-08
Solicitation Number: HR001121S0007.I
Solicitation Year: 2021
Award Year: 2021
Award Start Date (Proposal Award Date): 2021-07-13
Award End Date (Contract End Date): 2022-10-03
Small Business Information
28 Dana Street
Amherst, MA 01002-2209
United States
DUNS: 102221665
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Kristopher Carver
 (413) 359-0599
Business Contact
 Sylvia Moritz
Phone: (617) 517-6324
Research Institution

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.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government