Der Hauptschwerpunkt der Arbeit liegt in der Entwicklung von Algorithmen für den Aufbau einer bordseitigen Sicherheitsschicht für das autonome Fliegen, die die Sicherheit in Multi-UAV Szenarien formal garantiert, und zwar unabhängig von der Funktion, der Leistung und sogar der Bauart vieler komplexer On-Board-Systeme. Diese Sicherheitsschicht soll autonome UAV-Mission erlauben, die nicht nur sicher sind, sondern auch zertifizierbar und von der Öffentlichkeit akzeptiert.