The model is the document source
Structure and content come from SysML v2 views in your model: sections, requirement tables, diagrams and values. No copying between tools.
Doc42
Beta Commercial Works offline
Generate engineering documents straight from your SysML v2 model.
Describe a document as SysML v2 views: which sections it has, which requirements, diagrams and model values appear where. Doc42 turns it into a PDF through Typst. When the model changes, rebuild the document instead of editing it by hand.
Doc42 uses Spec42 to understand the model, so the document shows the same model the editor and your CI checks see.
14-day trials · Checking availability…
view droneSrs {
@Document {
title = "Surveillance Drone System Requirements Specification";
number = "DRN-SRS-001";
revision = "A";
}
view flightPerformance : GeneralView {
@Section { title = "Flight Performance"; }
@RequirementTable;
expose SurveillanceDroneRequirements::EnduranceReq;
}
view architecture : InterconnectionView {
@Section { title = "System Interconnection"; }
expose SurveillanceDrone::droneInstance;
}
}Generated with Doc42
One robot model. Four engineering documents.
See what Doc42 produces from the Autonomous Floor Cleaning Robot example. Open the generated PDFs to inspect the layout, requirement tables and model diagrams, then explore the SysML v2 source behind them.
RVC-CRS-001 · PDF Customer Requirements Specification Open generated PDF → RVC-SRS-001 · PDF System Requirements Specification Open generated PDF → RVC-SDS-001 · PDF System Design Specification Open generated PDF → RVC-VVP-001 · PDF Verification and Validation Plan Open generated PDF →
Example documents, revision A · Draft for review.
Your look, from a template
A Typst template decides the layout. Start from the built-in design or bring your own house style.
Checked like code
doc42 check reports model and document problems with source locations before you build, locally or in CI.
What you can generate today
Documents
- Customer and system requirements specifications
- Test specifications
- Verification reports
- Your own document types on the same building blocks
Building blocks
- Nested sections with prose from the model or Markdown files
- Requirement tables and values read from the model
- Diagrams drawn by Spec42
doc42 check,doc42 buildand JSON output for automation
Everything runs on your machine or CI runner: the Typst compiler and fonts are built in, and the license is verified offline. Your model never leaves your environment.
How Doc42 is licensed
Doc42 is commercial software licensed through an Elan8 subscription. See pricing for current plans and availability. See the current 14-day trial availability above. Checking and listing documents works without a license; building a document needs an active trial or subscription.
Transparent about scope
Doc42 is in beta. Documents built from sections, prose, requirement tables and diagrams work today. Structured test evidence and automatic verification verdicts are not supported yet.