Update verification and validation page and checklist

[amyheather]

Whilst conducting research on verification and validation of ambulance DES models, I was coming across other verification and validation techniques I think important to add to the page. When I first wrote it, I tried to focus on key things - but I think it would be good to expand it.

Refer to https://faculty.sites.iastate.edu/tesfatsi/archive/tesfatsi/EmpValidVerificationTesting.OsmanBalci.HandbookOfSimChapter10.1998.pdf

Execution tracing: E.g., traced calls to check closest available ambulance responded; Traced all events for 10 simulated hours ; Traced all movements for 3 ambulances for 48 hours; Checked for apx. 30 calls that the closest available ambulance responded to them; Checked that the count of the number of available units was incremented and decremented at the appropriate times

Trace validation - run real data through - not doable if don’t have access to patient level - but if you do, run a real patient’s parameters through, and see, does the result match up with reality

Has similarities with animation visualisation - that feels almost like a way of doing tracing?

[TomMonks]

you can check out sim-tools tracing. A bit experimental - its basically limiting output shown as you run the model. But you can also do it post-hoc. I.e. track/log everything and then filter the dataset.

https://sim-tools.github.io/sim-tools/03_trace/01_simple_trace.html#tracking