Five complete models, every number verified live

These sample models ship inside VSDEL. Each one is a full design — structure, behavior, requirements, analysis — whose budgets are computed from the model and re-verified on every edit. They double as tutorials: open one, break a budget, watch the verdict flip.

Open any of them in two clicks: sign in at app.vsdel.com → + New project → start from a sample — every model on this page is in the template list.
Space systems

Aurora-1 — Earth-observation smallsat

A 612-element EO satellite with every budget closed: mass and power rollups over a variation-point propulsion slot, ground-sample-distance and link-margin calculations, a Tsiolkovsky Δv chain, operating modes, comms-pass sequences, FMECA, a fault tree, and a telescope trade study.

  • ✓ wet mass 116.2 kg ≤ 150 kg — rolled up through the variant propulsion slot
  • ✓ downlink margin and GSD computed from the RF and optics parameters
Aurora-1 parametric verification
The parametric lens computing Aurora-1's budget verdicts.
Consumer product · MCAD

Doorbell camera

A compact product model whose CAD is real B-rep geometry: the housing's fit chain, wall-mount safety factor, first structural mode, and enclosure thermals all bind back to requirements — the classic "does the physics meet the spec" loop, live.

  • ✓ thermal budget computes 80.8 °C and passes against the component rating
  • ✓ pre-verified wave verdicts: fit, safety factor, first mode, IP-seal compression
Doorbell camera verified requirements
Requirement verdicts bound to CAD-derived physics.
Robotics

Argo-550 — collaborative robot arm

Five rollup mechanisms meet in one 26.45 kg kinematic chain: torque margin per joint, the emergency-stop arc, mass rollup, reach trigonometry, and per-motor duty-cycle thermal windows — all evaluating live as you edit the arm.

  • ✓ per-motor duty-cycle temperatures stay inside their thermal windows
  • ✓ torque and stop-arc requirements verified from the joint parameters
Argo-550 duty-cycle thermal analysis
Duty-cycle thermal windows per motor, model-driven.
Process systems · authored as text

HydroLoop — hydronic heating loop

A pump-boiler-radiator loop authored end-to-end through the split view — SysML v2 text on the left, diagrams on the right, one working set. The flow-balance and head calculations verify the loop as you type it.

  • ✓ loop head and flow balance computed from the component curves
  • ✓ the whole model authored as text — and every diagram followed
HydroLoop authored through the split view
Text-first authoring: the loop written in SysML v2 notation.
Electronics · ECAD

Kestrel-M1 — motor-controller board

An 80×60 mm flight-controller PCB: twelve placed components, seven nets including a CAN differential pair with skew readout, live DRC with keepouts, a layer estimate, a grouped BOM, and KiCad netlist + PCB exports — with the board's mass budget verified from the model.

  • ✓ board mass 16.05 g within the 20 g budget — summed from component fields
  • ✓ DRC clean · CAN pair length-matched · BOM totals from the model
Kestrel-M1 board layout
The Board lens: placement, nets, DRC and BOM over the same model.