Copilot code generation assurance. Apply state-of-the-art techniques in formal methods, programming languages, software engineering, and digital design to enhance the copilot runitime verification…
Ended Awarded Last action
- Contract number
- 80LARC23F0005
- Awardee
-
Analytical Mechanics Associates, Inc. UEI ENG5KSE6FZV5
- Awarding agency
-
Langley Research Center
National Aeronautics and Space Administration
- Obligated
- $173,659
Award facts
- Contract value 100% obligated
- $173,659.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- NAICS code
- 541712 Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition after exclusion of sources Negotiated Proposal / Quote
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Hampton, VA 23666, USA
- Legislative mandates
-
- Service Contract Act FAR subpart 22.10
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Supplemental Agreement for work within scope | $0 | |
| Supplemental Agreement for work within scope | -$19,616 | |
| Other Administrative Action | $0 | |
| Original award | $193,275 |
About this award
The National Aeronautics and Space Administration (NASA) Langley Research Center awarded a $173,659 Cost Plus Fixed Fee delivery order to Analytical Mechanics Associates, Inc. (doing business as Analytical Mechanics Associates Inc.), a for-profit engineering services company. The contract will apply state-of-the-art techniques in formal methods, programming languages, software engineering, and digital design to enhance the COPILOT runtime verification framework. This work is not associated with a set-aside contract and is scheduled for completion by April 16, 2023. Analytical Mechanics Associates has held several prime federal contracts with NASA, including a $7.9 million order for engineering support at the Armstrong Flight Research Center and a $10.4 million task order for project portfolio management at Langley Research Center. The company also has experience performing NASA Langley work set aside for small businesses.
Description
Copilot code generation assurance. Apply state-of-the-art techniques in formal methods, programming languages, software engineering, and digital design to enhance the copilot runitime verification framework.
Quick answers
Who was awarded contract 80LARC23F0005?
80LARC23F0005 was awarded to Analytical Mechanics Associates, Inc. by Langley Research Center (National Aeronautics and Space Administration) on October 20, 2022.
How much is contract 80LARC23F0005 worth?
The government has obligated $173,659 on 80LARC23F0005.
Is contract 80LARC23F0005 an order under another contract?
Yes. 80LARC23F0005 is a delivery order under 80LARC17C0003, an indefinite delivery contract.
Was contract 80LARC23F0005 competed?
The extent of competition for 80LARC23F0005 was full and open competition after exclusion of sources.
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