80-column legacy decks
Safety-critical models are written as fixed-format cards, which makes review error-prone.
Skip to contentThe challenge 01 02 03 Reference workflow Capabilities Supported formats
Nuclear
Reactor thermal-hydraulics you can read, diff, and verify
Parse RELAP5-3D card decks, simulate non-equilibrium two-phase hydrodynamics with delayed-neutron point kinetics, and project loops to Modelica for system-level studies.
$ msx lint ./decks --format json
$ msx mc Loop loop.mo
$ msx verify Loop loop.mo --format sarif
What slows nuclear teams down
Traceability for licensing
Regulators expect clear links between requirements, models, and results.
Long iteration loops
Desktop-only workflows slow down parametric and uncertainty studies.
One pipeline, end to end
- 1
Import
RELAP5 card decks
- 2
Lint
Structural & unit checks
- 3
Simulate
Two-phase + kinetics
- 4
Trace
Requirements evidence
What ModelScript does for you
Card deck parsing
High-fidelity parsing of 80-column RELAP5 input with structural linting.
Two-phase hydrodynamics
Non-equilibrium two-phase flow lowered to DAEs.
Point kinetics
6-group delayed neutron point kinetics coupled to thermal-hydraulics.
Requirement traceability
Link models to SysML v2 / ReqIF safety requirements.
Works with the tools you already use
Open-core toolchain that runs anywhere
Browser, CLI, VS Code, CI pipelines, or air-gapped Enterprise Appliances (AGPL-3.0 Core & Commercial Editions).