Avis: In-Situ Model Checking for Unmanned Aerial Vehicles

  title={Avis: In-Situ Model Checking for Unmanned Aerial Vehicles},
  author={Max G. Taylor and Haicheng Chen and Feng Qin and Christopher Stewart},
  journal={2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},
Control firmware in unmanned aerial vehicles (UAVs) uses sensors to model and manage flight operations, from takeoff to landing to flying between waypoints. However, sensors can fail at any time during a flight. If control firmware mishandles sensor failures, UAVs can crash, fly away, or suffer other unsafe conditions. In-situ model checking finds sensor failures that could lead to unsafe conditions by systematically failing sensors. However, the type of sensor failure and its timing within a… 

A Study on Software Bugs in Unmanned Aircraft Systems

This study studied previously reported bugs in the open-source repositories of ArduPilot and PX4, two widely used control firmware for UAS, and characterized their root causes, severity and position in the firmware architecture.

Automated Identification and Qualitative Characterization of Safety Concerns Reported in UAV Software Platforms

This work states that safety-related concerns typically emerge during the operation of UAV systems, reported by end-users and developers in the form of issue reports and pull requests, and that popular Uav systems daily receive tens or hundreds of reports of varying types and quality.

SA4U: Practical Static Analysis for Unit Type Error Detection

Unit type errors, where values with physical unit types (e.g., meters, hours) are used incorrectly in a computation, are common in to-day’s unmanned aerial system (UAS) firmware. Recent studies show

Engineering Collective Adaptive Systems with CASSim

  • Ian RileyR. Gamble
  • Computer Science
    2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)
  • 2022
This paper introduces the collective adaptive system simulation (CASSim) to assist researchers in engineering and evaluating CASs and describes the implementation of the simulator and provides an example of a simulation with results that can be compared to prior work.

Using Design Questions to Analyze System Adaptation Potential

The problem of designing a self-adaptive system (SAS) is often approached from the perspective of adding an adaptive control loop to a technology or system that is not explicitly adaptive on its own.

A Case for Dataset Specific Profiling

The need for dataset-specific profiling is demonstrated and can scientific datasets significantly permute the rank-order of computational models compared to widely used representative datasets are answered, laying the foundation for a new dataset-aware benchmarking paradigm.

Real-Time Safety Decision-Making Method for Multirotor Flight Strategies Based on TOPSIS Model

Multirotors play an important role in electric power inspection, border control, modern agriculture, forest fire fighting, flood control, disaster prevention, etc. Multirotor failures, such as a



RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing

This paper proposes RVFUZZER, a vetting system for finding input validation bugs in RV control programs through control-guided input mutation, which involves a control instability detector that detects control program misbehavior by observing physical operations of the RV based on the control model.

Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach

This paper presents a novel attack detection framework to identify external, physical attacks against RVs on the fly by deriving and monitoring Control Invariants (CI), and proposes a method to extract such invariants by jointly modeling a vehicle's physical properties, its control algorithm and the laws of physics.

A Fault Detection and Reconfigurable Control Architecture for Unmanned Aerial Vehicles

The past decade has seen the development of several reconfigurable flight control strategies for unmanned aerial vehicles. Although the majority of the research is dedicated to fixed wing vehicles,

Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early?

An empirical study on bugs that have been fixed in the widely used, open-source ArduPilot system finds that the majority of bugs manifest under simple conditions that can be easily reproduced in software-based simulation, and is used to inform a novel framework for testing for bugs in simulation, consistently and reproducibly.

Cross-Layer Retrofitting of UAVs Against Cyber-Physical Attacks

  • Fan FeiZhan Tu Xinyan Deng
  • Computer Science
    2018 IEEE International Conference on Robotics and Automation (ICRA)
  • 2018
Experimental results verified that BlueBox was capable of both detecting and handling a variety of cyber-physical attacks, while also providing the means in which to recover from such attacks.

Neural network based sensor validation scheme demonstrated on an unmanned air vehicle (UAV) model

A sensor fault detection and accommodation (SFDA) system, which makes use of analytical redundancy between flight parameters, on a UAV model using a Radial-Basis Function neural network trained online with Extended Minimum Resource Allocating Network (EMRAN) algorithms.

Can You Trust Autonomous Vehicles : Contactless Attacks against Sensors of Self-driving Vehicle

This work investigates sensors whose measurements are used to guide driving, i.e., millimeter-wave radars, ultrasonic sensors, forward-looking cameras, and shows that using o↵-the-shelf hardware, it is able to perform jamming and spoofing attacks, which caused the Tesla's blindness and malfunction, all of which could potentially lead to crashes and impair the safety of self-driving cars.

A fault tolerant flight control system for sensor and actuator faults

The purpose of the paper is to present an approach to detect, isolate and accommodate the sensor or actuator faults using bank of unknown input observers (UIO). Full order observers, reduced order

ML-Based Fault Injection for Autonomous Vehicles: A Case for Bayesian Fault Injection

DriveFI is presented, a machine learning-based fault injection engine, which can mine situations and faults that maximally impact AV safety, as demonstrated on two industry-grade AV technology stacks (from NVIDIA and Baidu).

Simulation of intelligent Unmanned Aerial Vehicle (UAV) For military surveillance

  • M. A. Ma'sumM. Arrofi W. Jatmiko
  • Computer Science
    2013 International Conference on Advanced Computer Science and Information Systems (ICACSIS)
  • 2013
Application developed in this research has a purpose to simulate condition in war zone for spying the enemy and the result shows that average error for all scenario is only 0.24 meters.