Secure software components leveraging the SEL4 microkernel
Ended Definitive Contract Awarded Last action
- Contract number
- IND15PC00175
- Awardee
-
Critical Technologies Inc. UEI RV9SQN688DW8
- Awarding agency
-
Interior Business Center
Office of Policy Management and Budget, Department of the Interior
- Obligated
- $1,499,156
Award facts
- Opportunity
-
- SBIR151 Solicitation number
- Contract value 100% obligated
- $1,499,156.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- Funding agency
- Defense Advanced Research Projects Agency Department of Defense
- NAICS code
- 541712 Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
- Set-aside
- Total Small Business
- Competition
- Full and Open Competition after exclusion of sources · 104 offers Negotiated Proposal / Quote
- Pricing
- Firm Fixed Price
- Place of performance
- Utica, NY 13501, USA
- Research
- SBIR Program Phase II Action
- Legislative mandates
-
- Economy Act FAR subpart 17.5
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Close Out | $0 | |
| Supplemental Agreement for work within scope | $0 | |
| Supplemental Agreement for work within scope | $499,399 | |
| Funding Only Action | $499,989 | |
| Supplemental Agreement for work within scope | $0 | |
| Supplemental Agreement for work within scope | $0 | |
| Original award | $499,768 |
About this award
This is a Definitive Contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Critical Technologies Inc., a small business, for the development of secure software components leveraging the seL4 microkernel. The contract has a Firm Fixed Price structure and a ceiling value of $1,499,156.00. The contract was awarded on September 14, 2015 as a SBIR Program Phase II Action, with a targeted completion date of April 13, 2019. The contract seeks to develop secure software components that utilize the seL4 microkernel, which is a focus area for DARPA's efforts to enhance software security.
Quick answers
Who was awarded contract IND15PC00175?
IND15PC00175 was awarded to Critical Technologies Inc. by Interior Business Center (Office of Policy Management and Budget) on September 14, 2015.
How much is contract IND15PC00175 worth?
The government has obligated $1,499,156 on IND15PC00175.
Which agency awarded contract IND15PC00175?
Interior Business Center (Office of Policy Management and Budget) awarded IND15PC00175, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract IND15PC00175 competed?
The extent of competition for IND15PC00175 was full and open competition after exclusion of sources. The government received 104 offers. It was set aside: Total Small Business.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award