Dependable Computing LLC
- UEI
- V7SRNUZCGGJ8
- CAGE
- 5L4K6
- Primary NAICS
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- SAM.gov registration
- Expired
Company facts
- Self-certified in SAM.gov
- Entity structure
- Corporate Entity (Not Tax Exempt)
- NAICS codes registered in SAM.gov
-
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) Primary
- 541511 Custom Computer Programming Services
- 541512 Computer Systems Design Services
- 541519 Other Computer Related Services
- 541690 Other Scientific and Technical Consulting Services
- 611420 Computer Training
- SAM.gov registration date
- Website
- dependablecomputing.com
- Industry
-
- Information Technology
- Software & Services
- Internet Software & Services
- SIC code
- 38 Instruments & Related Products
Registration and certifications come from SAM.gov and the SBA; company details from public web sources. Updated .
Recent federal awards
| Award | Agency | Obligated | Awarded |
|---|---|---|---|
| This proposal, in response to sbir topic A2.02, develops low-cost, high-assurance UAS autonomy through argument-driven… | Shared Services Center | $124,892 | |
| NRA-NASA(national aeronautics and space administration)research announcement - argument based identification of new… | Langley Research Center | $490,392 | |
| Sbir II- model-based comp. Reasoning for complex systems | Air Force Research Laboratory | $749,949 | |
| - development and assessment of a safety case approach to clearance of simple medical devices under emergency conditions… | Food and Drug Administration | $85,000 | |
| Model based compositional reasoning for complex systems | Air Force Research Laboratory | $149,706 |
About Dependable Computing LLC
Dependable Computing LLC is a for-profit limited liability company specializing in applied research, advanced development, and technology transfer in safety and security-critical application domains, as described on its website. It has been registered in SAM.gov since 2009 to receive federal contract and grant awards.
Dependable Computing LLC has served as a subcontractor on multiple federal contracts, primarily providing software assurance and formal verification services for autonomous algorithms. For two separate contracts with Infoscitex Corporation as the prime, Dependable Computing was tasked with increasing the assurance of software implementations of autonomous algorithms. This involved developing processes, procedures, and tools to specify requirements and prove algorithms using interactive theorem provers like PVS, translating formally proven algorithms into verified software implementations using languages like SPARK/Ada, analyzing floating-point arithmetic adherence to real number specifications, providing traceability arguments linking implementations to high-level algorithm goals, and contributing reusable exemplars to the broader community. Additionally, Dependable Computing served as a subcontractor to Lockheed Martin Corp, providing service items, though the exact nature of these services is not specified.
Quick answers
What is Dependable Computing LLC's UEI?
Dependable Computing LLC's Unique Entity ID (UEI) in SAM.gov is V7SRNUZCGGJ8.
What is Dependable Computing LLC's CAGE code?
Dependable Computing LLC's CAGE code is 5L4K6.
What is Dependable Computing LLC's primary NAICS code?
Dependable Computing LLC's primary NAICS code is 541715 (Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)).
Is Dependable Computing LLC registered in SAM.gov?
Dependable Computing LLC's SAM.gov registration expired on February 12, 2026.
What is Dependable Computing LLC's most recent federal award?
Dependable Computing LLC's most recent federal contract award is This proposal, in response to sbir topic A2.02, develops low-cost, high-assurance UAS autonomy through argument-driven… (NNX17CL56P), from Shared Services Center, on June 9, 2017.
On GovTribe
See Dependable Computing LLC's full federal record
- Federal contract awards
- Subcontracting relationships
- Funding analysis by agency, NAICS and set-aside
- Similar vendors