A model based design framework for safety verification of a semi-autonomous inspection drone

In this paper, we present a model based design approach to the development of a semi-autonomous control system for an inspection drone. The system is tasked with maintaining a set distance from the target being inspected and a constant relative pose, allowing the operator to manoeuvre the drone around the target with ease. It is essential that the robustness of the autonomous behaviour be thoroughly verified prior to actual implementation, as this will involve the flight of a large multi-rotor drone in close proximity to a solid structure. By utilising the Robotic Operating System to communicate between the autonomous controller and the drone, the same Simulink model can be used for numerical coverage testing, high fidelity simulation, offboard execution and final executable deploymen