Different from traditional transport systems, such as cars or trains, which are limited by land transit space, flying cars (such as UAS, drones, and air taxis) do not occupy space with traffic. They have a degree of freedom in space and time, smaller displacement, and consequently, less stress for their users. Large companies and researchers around the world are working with different architectures, algorithms, and techniques to test air taxi transport to serve a significant proportion of people safely and autonomously. One of the main issues surrounding the diffusion of air taxis is safety and security, since a simple failure can lead to the loss of high-value assets, loss of the vehicle, and/or injuries to human lives, including fatalities. In this sense, despite significant efforts, the literature is still specific and limited regarding air taxi safety and security. Therefore, this study aimed to carry out an extensive systematic literature review of the main modern advances in techniques, architectures, and research carried out around the world focused on these types of vehicles. More than 210 articles from between 2015 and January 2022 were individually reviewed. In addition, this study also presents gaps that could serve as a direction for future research. As far as the authors are aware, no other study performs this type of review focused on air taxi safety.

This paper addresses the challenge of embedded computing resources required by future autonomous Unmanned Aircraft Systems (UAS). Based on an analysis of the required onboard functions that will lead to higher levels of autonomy, we look at most common UAS tasks to first propose a classification of UAS tasks considering categories such as flight, navigation, safety, mission and executing entities such as human, offline machine, embedded system. We then analyse how a given combination of tasks can lead to higher levels of autonomy by defining an autonomy level. We link UAS applications, the tasks required by those applications, the autonomy level and the implications on computing resources to achieve that autonomy level. We provide insights on how to define a given autonomy level for a given application based on a number of tasks. Our study relies on the state-of-the-art hardware and software implementations of the most common tasks currently used by UAS, also expected tasks according to the nature of their future missions. We conclude that current computing architectures are unlikely to meet the autonomy requirements of future UAS. Our proposed approach is based on dynamically reconfigurable hardware that offers benefits in computational performance and energy usage. We believe that UAS designers must now consider the embedded system as a masterpiece of the system.

Bayesian Networks (BN) are probabilistic models that are commonly used for the diagnosis in numerous domains (medicine, finance, transport, robotics, …). In the case of autonomous vehicles, they can contribute to elaborate intelligent monitors that can take the environmental context into account. We show in this paper some main abilities of BN that can help in the elaboration of fault detection isolation and recovery (FDIR) modules. One of the main difficulty with the BN model is generally to elaborate these ones according to the case of study. Then, we propose some automatic generation techniques from failure mode and effects analysis (FMEA)-like tables using the pattern design approach. Once defined, these modules have to operate online for autonomous vehicles. In a second part, we propose a design methodology to embed the real-time and non-intrusive implementations of the BN modules using FPGA-SoC support. We show that the FPGA implementation can offer an interesting speed-up with very limited energy cost. Lastly, we show how these BN modules can be incorporated into the decision-making model for the mission planning of unmanned aerial vehicles (UAVs). We illustrate the integration by means of two models: the Decision Network model that is a straightforward extension of the BN model, and the BFM model that is an extension of the Markov Decision Process (MDP) decision-making model incorporating a BN. We illustrate the different proposals with realistic examples and show that the hybrid implementation on FPGA-SoC can offer some benefits.

This paper presents a scalable approach to model uncertainties within a UAV (Unmanned Aerial Vehicle) embedded mission manager. It proposes a concurrent version of BFM models, which are Bayesian Networks built from FMEA (Failure Mode and Effects Analysis) and used by MDPs (Markov Decision Processes). The models can separately handle different applications during the mission; they consider the context of the mission including external constraints (luminosity, climate, etc.), the health of the UAV (Energy, Sensor) as well as the computing resource availability including CPU (Central Processing Unit) load, FPGA (Field Programmable Gate Array) use and timing performances. The proposed solution integrates the constraints into a mission specification by means of FMEA tables in order to facilitate their specifications by non-experts. Decision-making processes are elaborated following a “just enough” quality management by automatically providing adequate implementation of the embedded applications in order to achieve the mission goals, in the context given by the sensors and the on-board monitors. We illustrate the concurrent BFM approach with a case study of a typical tracking UAV mission. This case also considers a FPGA-SoC (FPGA-System on Chip) platform into consideration and demonstrates the benefits to tune the quality of the embedded applications according to the environmental context.

As Unmanned Aerial Vehicles (UAVs) become increasingly popular and affordable, it is essential to ensure their safe operation, especially around critical devices such as the aircraft's Global Positioning System (GPS). GPS plays an indispensable role in aviation systems. This study presents an efficient multiclass detection method to identify GPS attacks on UAVs, focusing on differentiating between spoofing and jamming attacks. The proposed approach outperforms existing methods. The results obtained in this study contribute to increasing the security of UAVs and provide valuable information for developing robust detection systems to combat evolving threats in the UAV domain.

Undergraduated students in computer science at the University of Brest are learning bases of digital circuits by developing their own functional and structural models. The approach is object oriented to aggregate different abstraction levels in one single structure. This paper presents how simple combinatorial and sequential circuit can be functionally modelized and how complex circuits can hierarchically be built. The students' project consists in designing a logic simulator using Smalltalk environment, which allows them to integrate more easily recent research made in our lab on logic synthesis and on abstract low- level tools for FPGA using the same object oriented approach.