A Simplex Architecture for Intelligent and Safe Unmanned Aerial Vehicles

Abstract

Unmanned Aerial Vehicles (UAVs) are increasingly demanded in civil, military and research purposes. However, they also possess serious threats to the society because faults in UAVs can lead to physical damage or even loss of life. While increasing their intelligence, for example, adding vision-based sense-and-avoid capability, has a potential to reduce the safety threats, increased software complexity and the need for higher computing performance create additional challenges software bugs and transient hardware faults that must be addressed to realize intelligent and safe UAV systems. In this thesis, we present a fault tolerant system design for UAVs. Our proposal is to use two heterogeneous hardware and software platforms with distinct reliability and performance characteristics: High-Assurance (HA) and High-Performance (HP) platforms. The HA platform focuses on simplicity and verifiability in software and uses a simple and transient fault tolerant processor, while the HP platform focuses on intelligence and functionality in software and uses a complex and high performance processor. During the normal operation, the HP platform is responsible for controlling the UAV. However, if it fails due to transient hardware faults or software bugs, the HA platform will take over until the HP platform recovers. We have implemented the proposed design on an actual UAV using a low-cost Arduino and a high-performance Tegra TK1 multi core platform. Our case-studies show that our design can improve safety without compromising performance and intelligence of the UAV.