Verification and Validation of an Autonomous Warehouse Inspection Robot
This dissertation explores a corroborative assurance workflow for autonomous warehouse inspection robots. The focus is on combining high-fidelity simulation with formal probabilistic verification to evaluate both functional performance and safety-critical behaviour.
What I did
- Combined high-fidelity simulation with formal probabilistic model checking to evaluate functional performance and safety-critical behaviour.
- Integrated simulation-driven testing with model checking to cross-validate findings between the two approaches.
- Identified failure modes that are difficult to expose with only one verification approach.
The dissertation received a first-class mark, and the full document is included below.