Pricing

Enterprise SaaS with certification-grade pricing.

A commercial SCADE license runs roughly €50,000–170,000 per year, quote-only. Dextra is priced against the verification effort it removes — not per seat — at a fraction of a full incumbent deployment, so formal verification, design-space exploration and certification artifacts are within reach of drone startups and tier-1 primes alike.

Studio

€45,000/year

Drone startups, research labs

Up to 5 engineers
Drone / robotics focus
ARM Cortex hardware targets
EASA Specific (SORA) artifacts
Email support

Professional

€140,000/year

Tier-2 aerospace suppliers, growing drone OEMs

Up to 20 engineers
Aerospace + drone
Multi-hardware design-space exploration
DO-178C artifact generation
Qualified-backend integration (Green Hills / SPARK Ada / SCADE)
Dedicated CSM

Enterprise

Custom

Tier-1 primes, defence contractors

Unlimited engineers
All verticals (aerospace, defence, automotive, medical)
Custom hardware target integration
White-label certification artifacts
On-premise deployment option
SLA + security review

Market

A multi-billion market with no adequate solution.

TAM

~$9B

Software tooling for verification, validation & certification of safety-critical systems, plus the MBSE formalization front-end Dextra spans — growing to ~$16B by 2030. Directional range; scope stated (MBSE-tools + safety-critical V&V reports).

SAM

~$1.5–2B

European & allied aerospace, defence, space and UAV certification & formal-verification tooling — Dextra's near-term wedge. Automotive ISO 26262 (~$1.2–1.6B) is the Phase-2 expansion.

SOM

€5–8M

Obtainable ARR by year 5 (~40–60 customers) — under 0.5% of SAM. Deliberately conservative.

What's driving the market

Defence budgets are surging

EU-27 defence spending reached a record €343B in 2024 (+19% YoY), heading to ~€392B in 2025; NATO set a 5%-of-GDP target for 2035. The European Defence Fund (~€8B) and the €150B SAFE instrument are funding the autonomous systems that need verified, certified software.

Software is eating safety-critical hardware

A premium car already runs ~100M lines of code, trending toward 300–600M by 2027. The automotive software & electronics market roughly doubles to ~$462–469B by 2030 (McKinsey) — about 4× the growth of vehicle sales — and the same complexity curve is bending across aerospace, space and defence.

Certification is the bottleneck, not capability

Verification and evidence consume 50–70% of DO-178C effort; a DAL-A evidence package can cost on the order of $100 per line of code. In eVTOL, Lilium burned over $1.5B and collapsed without a type certificate — the starkest proof that certification, not flight, is what kills these programs.

Digital engineering is now mandated

US DoDI 5000.97 (2023) makes digital engineering the default for new defence programs; INCOSE's SE Vision 2035 declares the discipline 'model-based.' The digital-thread market Dextra's verified outputs feed grows from ~$12B to ~$36B by 2030 (~21% CAGR).

Revenue trajectory

Illustrative projections, not commitments.

Year 1

3–5 pilot customers plus EU grant funding (EIC Accelerator / EDF-EUDIS); ~€0.3–0.5M.

Year 2

~10–15 customers, ~€1.5–2.5M ARR; automotive (ISO 26262) expansion begins.

Year 3

~25–40 customers, ~€5–7M ARR; Series A.

Year 4-5

~€8–12M ARR; strategic-acquisition optionality (Synopsys, Siemens, Dassault, MathWorks).

Comparable exits

Esterel / SCADE → Ansys: ~$58M at ~3.9× revenue (2012)
No Magic (Cameo MBSE) → Dassault Systèmes (2018, price undisclosed)
Ansys — which owned SCADE — → Synopsys: ~$35B (announced 2024, closed 2025)
AbsInt → long-running, profitable formal-verification niche (Airbus A340/A380, ATV docking software)
Ketryx (AI for regulated engineering) → $39M Series B in 2025: investors are already funding this thesis

Competitive Advantage

Nobody connects the whole pipeline. We do.

Capability	SCADE	Simulink	UPPAAL	Dextra
Exhaustive formal verification (TCTL / timed automata)		partial
Verified / qualified code generation		partial		partial
Design-space exploration (Pareto)
Hardware-software co-design
Safety + security co-verification				partial
AI-assisted formalization (engineer-in-the-loop)				partial
Auto-generated certification artifacts	partial	partial	partial
Accessible, published pricing		partial

The integration is the moat

The pipeline — formalize, explore, verify, generate evidence — has no commercial equivalent. Hardware/software co-design and design-space exploration exist in research papers, not products; even Galois, the leading US defence formal-methods shop, hasn't productized it. The mathematics is battle-tested; the integration is not.

Certifiable, not just rigorous

DO-333 grants certification credit for model checking, so formal proof can offset the test campaign that dominates program cost — and Dextra turns that credit into DO-178C, EASA SORA, ECSS, DEF-STAN and ISO 26262 evidence a certifier accepts. Tightening regulation (CRA, SORA 2.5, DO-326A) only raises the value of proof-backed artifacts.

The timing didn't exist three years ago

Record defence spending (EU-27 €343B in 2024), regulation hardening into mandates, and AI finally making requirements formalization tractable have opened a window that wasn't there before — and the incumbents are built around the layers below and above the one Dextra owns.

Sources & Methodology

Every number here has a source.

This page was rebuilt from cited public research. Market sizes are directional ranges with their scope stated; primary sources — NASA, NIST, McKinsey, IEEE, the European Commission and the standards bodies — lead wherever a claim is load-bearing. Key references: