Within the ADACORSA-project Technolution will contribute to the development of verifiably safe and secure drone control systems, working closely in conjunction with a number of other partners. It will develop the technology to verify that the current configuration of the drone is exactly as specified, has not been modified and does not exhibit faults. Further, it will contribute to the development of technology for conveying that information from the drone to other elements of the wider system such as other drones or ground stations.