Dependable Computing LLC

Defense

Formal methods-based runtime assurance architecture for autonomous UAS software safety certification

dependablecomputing.com →
Grants
$125K
1 award
Sector median: 2
Raised
—
No Form D on record
Contracts
—
No federal contracts on record
Patents
—
No published records under this name
Sector median: 0

Capital Timeline

Federal above the line · equity below · node area scaled to amount
Capital and federal award history
DateEventSourceAmount
Federal grantNational Aeronautics and Space Administration · Phase I · Argument-Driven Application of Formal Methods$124,892
Federal grant · SBIR/STTR

Peer position

Defense · 1442 companies · ranked on federal contract value
Defense companies ranked by federal contract value
#CompanyContractsDisclosed equity
1415Lambda Photonics, LLC——
1416Tarsier Optics, Inc.——
1417QUANTIREAL INC.——
1418Dependable Computing LLC——
1419OVIO TECHNOLOGIES INC——
1420SAAZ MICRO, INC.——
1421Active Spectrum, Inc.——

Ranked on federal contract value rather than capital raised. The equity column is the comparison worth making — companies at the same procurement position often sit at very different points in their funding history.

Regulatory activity · Defense

Sector-level, not company-level

Rules are matched to sector, not to company. Recent activity in a sector is context rather than a signal about this business — until rules are matched to what a company actually builds, the section is shown as context and nothing more.