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.