Requirements drift from analysis
Requirements live in one tool, physics in another. Traceability is rebuilt by hand before every review.
Skip to contentThe challenge 01 02 03 Reference workflow Capabilities Supported formats
Aerospace & Aviation
From requirements to flight dynamics in a single, verifiable thread
Connect SysML v2 architectures and ReqIF requirements to JSBSim flight models, NASA ROCETS propulsion decks, and CCSDS telemetry, then simulate, verify, and export FMUs without leaving one toolchain.
$ msx rocets simulate engine.roc
$ msx render SpacecraftPower spacecraft.sysml --view IBD -o ibd.svg
$ msx verify BrakingController brake.mo --format sarif
What slows aerospace & aviation teams down
Legacy Fortran & decks
Decades of validated propulsion and flight code are locked in card decks and Fortran routines nobody wants to touch.
Certification evidence is manual
Verification artifacts are assembled from screenshots and spreadsheets instead of generated from the models.
One pipeline, end to end
- 1
Capture
SysML v2 architecture + ReqIF requirements
- 2
Model
JSBSim airframe, ROCETS engine, Modelica subsystems
- 3
Simulate
Stiff DAE solvers, Monte Carlo, surrogates
- 4
Verify
Requirement entailment & SARIF evidence
What ModelScript does for you
6-DOF flight dynamics
Parse JSBSim aircraft definitions and lower them to DAEs for simulation and linearization.
Propulsion transients
Ingest ROCETS engine decks and turbomachinery maps, with a bridge for embedded Fortran user routines.
Mission telemetry
Read CCSDS orbit and XTCE telemetry definitions and align them with simulated trajectories.
Formal verification
Check SysML v2 constraints and requirement contracts with k-induction and SMT-backed proofs.
Works with the tools you already use
.xmlJSBSim6-DOF flight dynamics.rocNASA ROCETSLiquid rocket engine transients.xtceCCSDSAstrodynamics & spacecraft telemetry.ez5EASY5Dynamic simulation & linear control.sysmlSysML v2 / KerMLSystems architecture & requirements.reqifReqIFRequirements interchange & contract entailment.stepSTEP (ISO 10303)B-Rep CAD assemblies & AP242 PMI.su2CFD (SU2 / OpenFOAM)Computational fluid dynamics meshes.inpFEA (CalculiX / Abaqus / NASTRAN)Finite-element structural analysis.f90FortranLegacy scientific subroutines
Open-core toolchain that runs anywhere
Browser, CLI, VS Code, CI pipelines, or air-gapped Enterprise Appliances (AGPL-3.0 Core & Commercial Editions).