DroneReqValidator: Facilitating High Fidelity Simulation Testing for
Uncrewed Aerial Systems Developers
- URL: http://arxiv.org/abs/2308.00174v1
- Date: Mon, 31 Jul 2023 22:13:57 GMT
- Title: DroneReqValidator: Facilitating High Fidelity Simulation Testing for
Uncrewed Aerial Systems Developers
- Authors: Bohan Zhang, Yashaswini Shivalingaiah, Ankit Agrawal
- Abstract summary: sUAS developers aim to validate the reliability and safety of their applications through simulation testing.
The dynamic nature of the real-world environment causes unique software faults that may only be revealed through field testing.
DroneReqValidator (DRV) offers a comprehensive small Unmanned Aerial Vehicle (sUAV) simulation ecosystem.
- Score: 8.290044674335473
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Rigorous testing of small Uncrewed Aerial Systems (sUAS) is crucial to ensure
their safe and reliable deployment in the real world. sUAS developers aim to
validate the reliability and safety of their applications through simulation
testing. However, the dynamic nature of the real-world environment, including
factors such as challenging weather conditions and wireless interference,
causes unique software faults that may only be revealed through field testing.
Considering the high cost and impracticality of conducting field testing in
thousands of environmental contexts and conditions, there exists a pressing
need to develop automated techniques that can generate high-fidelity, realistic
environments enabling sUAS developers to deploy their applications and conduct
thorough simulation testing in close-to-reality environmental conditions. To
address this need, DroneReqValidator (DRV) offers a comprehensive small
Unmanned Aerial Vehicle (sUAV) simulation ecosystem that automatically
generates realistic environments based on developer-specified constraints,
monitors sUAV activities against predefined safety parameters, and generates
detailed acceptance test reports for effective debugging and analysis of sUAV
applications. Providing these capabilities, DRV offers a valuable solution for
enhancing the testing and development process of sUAS. The comprehensive demo
of DRV is available at https://www.youtube.com/watch?v=Fd9ft55gbO8
Related papers
- AutoPT: How Far Are We from the End2End Automated Web Penetration Testing? [54.65079443902714]
We introduce AutoPT, an automated penetration testing agent based on the principle of PSM driven by LLMs.
Our results show that AutoPT outperforms the baseline framework ReAct on the GPT-4o mini model.
arXiv Detail & Related papers (2024-11-02T13:24:30Z) - DroneWiS: Automated Simulation Testing of small Unmanned Aerial Systems in Realistic Windy Conditions [8.290044674335473]
DroneWiS allows sUAS developers to automatically simulate realistic windy conditions and test the resilience of sUAS against wind.
Unlike current state-of-the-art simulation tools such as Gazebo and AirSim, DroneWiS leverages Computational Fluid Dynamics (CFD) to compute the unique wind flows.
This simulation capability provides deeper insights to developers about the navigation capability of sUAS in challenging and realistic windy conditions.
arXiv Detail & Related papers (2024-08-29T14:25:11Z) - EAIRiskBench: Towards Evaluating Physical Risk Awareness for Task Planning of Foundation Model-based Embodied AI Agents [47.69642609574771]
Embodied artificial intelligence (EAI) integrates advanced AI models into physical entities for real-world interaction.
Foundation models as the "brain" of EAI agents for high-level task planning have shown promising results.
However, the deployment of these agents in physical environments presents significant safety challenges.
This study introduces EAIRiskBench, a novel framework for automated physical risk assessment in EAI scenarios.
arXiv Detail & Related papers (2024-08-08T13:19:37Z) - Coupled Requirements-driven Testing of CPS: From Simulation To Reality [5.7736484832934325]
Failures in safety-critical Cyber-Physical Systems (CPS) can lead to severe incidents impacting physical infrastructure or even harming humans.
Current simulation and field testing practices, particularly in the domain of small Unmanned Aerial Systems (sUAS), are ad-hoc and lack a thorough, structured testing process.
We have developed an initial framework for validating CPS, specifically focusing on sUAS and robotic applications.
arXiv Detail & Related papers (2024-03-24T20:32:12Z) - Scaling #DNN-Verification Tools with Efficient Bound Propagation and
Parallel Computing [57.49021927832259]
Deep Neural Networks (DNNs) are powerful tools that have shown extraordinary results in many scenarios.
However, their intricate designs and lack of transparency raise safety concerns when applied in real-world applications.
Formal Verification (FV) of DNNs has emerged as a valuable solution to provide provable guarantees on the safety aspect.
arXiv Detail & Related papers (2023-12-10T13:51:25Z) - DeepQTest: Testing Autonomous Driving Systems with Reinforcement
Learning and Real-world Weather Data [12.106514312408228]
We present a novel testing approach for autonomous driving systems (ADSs) using reinforcement learning (RL)
DeepQTest employs RL to learn environment configurations with a high chance of revealing abnormal ADS behaviors.
To ensure the realism of generated scenarios, DeepQTest defines a set of realistic constraints and introduces real-world weather conditions.
arXiv Detail & Related papers (2023-10-08T13:59:43Z) - UniSim: A Neural Closed-Loop Sensor Simulator [76.79818601389992]
We present UniSim, a neural sensor simulator that takes a single recorded log captured by a sensor-equipped vehicle.
UniSim builds neural feature grids to reconstruct both the static background and dynamic actors in the scene.
We incorporate learnable priors for dynamic objects, and leverage a convolutional network to complete unseen regions.
arXiv Detail & Related papers (2023-08-03T17:56:06Z) - A Requirements-Driven Platform for Validating Field Operations of Small
Uncrewed Aerial Vehicles [48.67061953896227]
DroneReqValidator (DRV) allows sUAS developers to define the operating context, configure multi-sUAS mission requirements, specify safety properties, and deploy their own custom sUAS applications in a high-fidelity 3D environment.
The DRV Monitoring system collects runtime data from sUAS and the environment, analyzes compliance with safety properties, and captures violations.
arXiv Detail & Related papers (2023-07-01T02:03:49Z) - PEM: Perception Error Model for Virtual Testing of Autonomous Vehicles [20.300846259643137]
We define Perception Error Models (PEM) in this article.
PEM is a virtual simulation component that can enable the analysis of the impact of perception errors on AV safety.
We demonstrate the usefulness of PEM-based virtual tests, by evaluating camera, LiDAR, and camera-LiDAR setups.
arXiv Detail & Related papers (2023-02-23T10:54:36Z) - Emergent Complexity and Zero-shot Transfer via Unsupervised Environment
Design [121.73425076217471]
We propose Unsupervised Environment Design (UED), where developers provide environments with unknown parameters, and these parameters are used to automatically produce a distribution over valid, solvable environments.
We call our technique Protagonist Antagonist Induced Regret Environment Design (PAIRED)
Our experiments demonstrate that PAIRED produces a natural curriculum of increasingly complex environments, and PAIRED agents achieve higher zero-shot transfer performance when tested in highly novel environments.
arXiv Detail & Related papers (2020-12-03T17:37:01Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.