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
  • For Profit Organization
  • Limited Liability Company
Entity structure
Corporate Entity (Not Tax Exempt)
SAM.gov registration date
Industry
  1. Information Technology
  2. Software & Services
  3. 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 .

Contract awards

Award Agency Obligated Awarded
This proposal, in response to sbir topic A2.02, develops low-cost, high-assurance UAS autonomy through… NNX17CL56P Shared Services Center $124,892
NRA-NASA(national aeronautics and space administration)research announcement - argument based identification of new… NNL16AA06C Langley Research Center $490,392
Sbir II- model-based comp. Reasoning for complex systems FA865014C2528 Air Force Research Laboratory (AFMC) $749,949
Development and assessment of a safety case approach to clearance of simple medical devices under emergency… HHSF223201300828P Food and Drug Administration $85,000
Model based compositional reasoning for complex systems FA865013M2368 Air Force Research Laboratory (AFMC) $149,706

Latest 5 listed here. See the rest on GovTribe.

Contract subawards

Prime contractor Prime award Amount Awarded
Lockheed Martin Corporation Certgate: certification from generation of automated test evidence service item FA875020C0507 -$6,858

Similar vendors

Vendor Location Primary NAICS
Adventium Labs UEI CJHNQPYZWBA3 — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Ten One Aerospace LLC UEI GUBQS6219VD3 Annapolis, MD 541330 Engineering Services
Dynamic Dimension Technologies, LLC UEI PK2GGR2NJJ24 Westminster, MD 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Variableconstant, LLC UEI MVJXXM7PQQ33 Arlington, VA 541990 All Other Professional, Scientific, and Technical Services
Macrocognition LLC UEI PQ31PG2XDKM3 Dayton, OH 541720 Research and Development in the Social Sciences and Humanities

See more similar vendors on GovTribe

About the company

Written by GovTribe AI ·

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

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… (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
Try for free Login