Open Beta — Free tier available now

Engineering Intelligence.
Semantically.

Model-Based Systems Engineering for safety-critical industries. Write structured models that AI understands, trace requirements automatically, and ship compliant systems faster.

Start for free See how it works
Built for ISO 26262 DO-178C IEC 62304 ASPICE IEC 61508
InverterControl.req
// Sylang DSL — human-readable, AI-native MBSE requirement REQ-001 : name "Prevent unintended torque on CAN fault" safetylevel ASIL-D status approved traces SG-001 // links to safety goal testcase TST-REQ-001-A : name "CAN fault injection — torque = 0" method HIL covers REQ-001 // auto-traced status approved

Everything MBSE needs. Nothing it doesn't.

23 structured file types. Automatic traceability. AI that reads your models. No setup required.

🔗

Automatic Traceability

Requirements → Tests → Blocks → Safety Goals. Live coverage matrix. No manual linking.

🤖

AI-Native Models

Claude reads your DSL directly. Ask about coverage gaps, generate test cases, review FMEA — in plain English.

🌿

Git Semantics Built In

Branch = variant. Fork = project. Merge = engineering change. Dolt gives you full audit trail for ISO 26262.

⚙️

23 Symbol Types

Requirements, blocks, functions, hazards, safety goals, FTA, FMEA, tests, sequences — all first-class.

🏢

Multi-Tenant & On-Prem

Shared cloud for Free/Pro. Dedicated container for Enterprise. Same codebase, full data isolation.

📊

Compliance Reports

ISO 26262 ASIL allocation, ASPICE traceability matrix, coverage gaps — generated from your live models.

From model to compliant system.

Four steps. No spreadsheets. No Word documents.

1

Define your platform

Create a platform as the canonical reference model. Every project forks from it — like a product line baseline.

2

Write structured models in Tiptap

Edit requirements, blocks, tests, and safety goals in a structured visual editor. Dropdowns enforce valid symbol references. No free-text errors.

3

Parse-on-write builds the index

Every save extracts symbols and relations to the database. Traceability queries run as pure SQL — REQ-001 → TST-001 → BLK-Brake — in milliseconds.

4

AI reviews. You ship.

Ask the inline AI assistant to find coverage gaps, check ASIL allocation, or generate test cases. Context comes from your live model — no copy-paste.

Simple, transparent pricing.

Start free. Scale when you need to.

Free
$0
One engineer. Unlimited projects. Forever free.

  • 1 user
  • Unlimited projects & variants
  • All 23 symbol types
  • Automatic traceability
  • AI assistant
  • Hosted on pradix servers
Get started
Enterprise
Custom
Dedicated container. On-prem or pradix-hosted.

  • Unlimited users & projects
  • Dedicated Docker container
  • On-prem deployment
  • Full data isolation
  • SLA + dedicated support
  • Custom compliance reports
Contact us