UBW will, in cooperation with SYR and ALM, contribute to the definition, development, implementation and evaluation of a purely algorithmic "safety layer" that is to work on top of any available on-board functionality and guarantees safety of the vehicle independently of the functioning, the performance or even the brand of many complex on-board systems such as communication units and motion planners. The main tasks of UBW, where the focus is research on computationally efficient and formally guaranteed motion prediction algorithms based on reachable sets and tubes as well as on conflict resolution through solving suitable reach-avoid control problems to provide formal safety guarantees for the UAV.