Wed 6 Sep 2023 15:45 - 16:15 at f128 - Vehicles Chair(s): Andreas Vogelsang

Flight-time failures of small Uncrewed Aerial Systems (sUAS) can have a severe impact on people or the environment. Therefore, sUAS applications must be thoroughly evaluated and tested to ensure their adherence to specified requirements, and safe behavior under real-world conditions, such as poor weather, wireless interference, and satellite failure. However, current simulation environments for autonomous vehicles, including sUAS, provide limited support for validating their behavior in diverse environmental contexts and moreover, lack a test harness to facilitate structured testing based on system-level requirements. We address these shortcomings by eliciting and specifying requirements for an sUAS testing and simulation platform, and developing and deploying it. The constructed platform, 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. We report on two case studies in which we used our platform prior to real-world sUAS deployments, in order to evaluate sUAS mission behavior in various environmental contexts. Furthermore, we conducted a study with developers and found that DRV simplifies the process of specifying requirements-driven test scenarios and analyzing acceptance test results

Slides (agrawal_DRV_RE2023.pdf)3.63MiB

Wed 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:45 - 17:15
A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial VehiclesArtifact Available
Research Papers
A: Ankit Agrawal Saint Louis University, Missouri, A: Bohan Zhang Saint Louis University, Missouri, A: Yashaswini Shivalingaiah Saint Louis University, Missouri, A: Michael Vierhauser University of Innsbruck, A: Jane Cleland-Huang University of Notre Dame
Pre-print Media Attached File Attached
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements
Industrial Innovation Papers
A: Vincent Bertram RWTH Aachen University, A: Hendrik Kausch RWTH Aachen University, A: Evgeny Kusmenko RWTH Aachen University, A: Haron Nqiri RWTH Aachen University, A: Bernhard Rumpe RWTH Aachen University, A: Constantin Venhoff
Managing Human Factors in Automated Vehicle Development: Towards Challenges and Practices
RE@Next! Papers
A: Amna Pir Muhammad , A: Eric Knauss Chalmers | University of Gothenburg, A: Jonas Bärgman Chalmers University of Technology, A: Alessia Knauss Veoneer Research, Sweden