SDF verification connects the mathematical model to its software implementation and demonstrates, through reproducible reference cases, that the implemented simulation reproduces the expected analytical behavior.
Define equations, assumptions, frames, and physical conventions.
Map the model into deterministic simulation components.
Define an independent analytical or otherwise trusted solution.
Compare SDF output against the reference within explicit tolerances.
Verifies uniform rectilinear motion under zero acceleration against the closed-form analytical solution for position and velocity.
Verifies rigid-body angular acceleration, angular velocity, and quaternion attitude propagation under a constant torque about a principal body axis.
Planned end-to-end verification of mission-frame initialization, transformations, free-fall propagation, and exported state consistency.
Verification asks whether SDF correctly solves the mathematical model that has been implemented. Validation asks whether that mathematical model represents physical reality with sufficient fidelity for a given application. The current SDF release effort is focused on verification; validation against experimental or flight data is a separate activity.