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.

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.

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 today’s unmanned aerial system (UAS) firmware. Recent studies show

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.

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.

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.

An empirical investigation of fault types in space mission system software

This paper analyzes the faults discovered in the on-board software for 18 JPL/NASA space missions and presents the proportions of the various fault types and study how they have evolved over time.

Practical software model checking via dynamic interface reduction

DeMeter makes software model checking more practical with the following contributions: proposing dynamic interface reduction, a new state-space reduction technique, introducing a framework that enablesynamic interface reduction in an existing model checker with a reasonable amount of effort, and providing the framework with a distributed runtime engine that supports parallel distributed model checking.