GALACTIC

GALACTIC

NASA's Goddard Space Flight Center

Carbon: A Systems Engineering Workbench That Scales

AI-Driven Systems Engineering Built on Formal Methods

Engineer Complex Systems With

Confidence

Carbon uses a semi-structured requirements language that enables automated checking of requirement realizability, logical contradictions, and automatic verification without sacrificing human readability. Use AI to generate entire system specifications from natural language descriptions that are correct-by-construction.

Single source of truth.

For all your design artifacts.

Synchronous and asynchronous collaboration.

Even across companies.

The greatest feats of human achievement are accomplished by teams. Create design documents collaboratively in real-time or derive branches and work asynchronously. Create teams and projects with granular permissions. Share links to allow external stakeholders to review designs and requirements. Trace requirements across companies.

Treat your requirements like code.

Create branches to explore trade space using git-like version control. Create pull requests and assign reviewers to uphold design authority and keep your team aligned on design changes. Baseline requirements. Track open issues. Merge with confidence using Carbon's opinionated requirement linter and formal verification engine.

AI-Human Integration

AI dispatch

Offload design work to AI. Have AI conduct trade studies, write requirements, devise architecture, and more. You remain in control of the design decisions accepted into the final specification.

AI suggested traces

AI will take the full context of your project graph into account to surface missing or incorrect traces between requirements.

Bring your own model

Interface with your company's own AI model, or subscribe to our model fine-tuned for engineering tasks. Your data is never used to train our model.

Chat with your system design

Ask questions of your system architecture in natural language. The system should know itself better than any individual.

Semantic search

Query your entire project graph using natural language.

Identify issues of high abstraction

For requirements specified at a high level of abstraction where the formal requirement engine does not apply, AI will search for and raise issues in your design.

Designed for every endeavour,

from backyard creations to interstellar ambitions

Carbon delivers a versatile design framework that scales from hobby projects to the most ambitious engineering challenges. Our goal is to 10x the engineering ability of every individual and team.

A Complete Toolbox

Formal Verification

Conduct realizability checking of requirements using formal methods, find contradictions, and get specific feedback on where the issues lie.

Graph

Visualize traces across your requirements model. See suspect and parentless requirements at a glance. Follow the design decisions made at every level of the stack.

Parametric Requirements

Use formulas to define requirements. Reduce the overhead of updating numerical values across the requirements model.

Shareable Links

Create links to easily point your teammates to any object in your project graph.

Track TBXs

Keep tabs on unknowns throughout the lifecyle of the project.

Modern UI

No more tooling that looks like it belongs in the last century.

Your engineering data shall be yours

Carbon is locally-hosted. Your data lives on your team's server and on your device, so you can design on the go, even offline.

Your team will be multimodal

Use Carbon plugins to integrate with the rest of your productivity ecosystem.

Your designs should last

Carbon uses open, non-proprietary files, so you're never locked in, and can preserve your design data for the long haul, across the entire product lifecycle and beyond.

Who we are.

We are a team of aerospace systems and software engineers that believe we should demand more of our engineering tools. We are building Carbon to make systems engineering more accessible and empower teams to 10x their engineering capabilities, enabling them to tackle the world’s most important problems.

Get in touch