Or just include the timing in your models, and derive from those models a suite of tests that can be run on the hardware to verify that the timing is as it was

Or just include the timing in your models, and derive from those models a suite of tests that can be run on the hardware to verify that the timing is as it was taken to be in the proven system?