Cover Image

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hunter, Michael C., Gohar, Usman, Cohen, Myra B., Lutz, Robyn R., Cleland-Huang, Jane
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
by: Gohar, Usman, et al.
Published: (2024)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
by: Gohar, Usman, et al.
Published: (2025)

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
by: Gohar, Usman, et al.
Published: (2024)

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
by: Duvvuru, Venkata Sai Aswath, et al.
Published: (2025)

Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
by: Chambers, Theodore, et al.
Published: (2026)

Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
by: Dearstyne, Katherine, et al.
Published: (2025)

ROOT: Requirements Organization and Optimization Tool
by: Dearstyne, Katherine R., et al.
Published: (2024)

Supporting Software Maintenance with Dynamically Generated Document Hierarchies
by: Dearstyne, Katherine R., et al.
Published: (2024)

Runtime Advocates: A Persona-Driven Framework for Requirements@Runtime Decision Support
by: Hernandez, Demetrius, et al.
Published: (2025)

A Structured Approach to Safety Case Construction for AI Systems
by: Lee, Sung Une, et al.
Published: (2026)

Natural Language Processing for Requirements Traceability
by: Guo, Jin L. C., et al.
Published: (2024)

Generating Maximal Configurations and Their Variants Using Code Metrics
by: Yavuz, Tuba, et al.
Published: (2024)

Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
by: Bernal, Arturo Miguel Russell, et al.
Published: (2025)

Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology
by: Hunter, Josh, et al.
Published: (2024)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
by: Wei, Ran, et al.
Published: (2024)

Developing Compelling Safety Cases
by: Hawkins, Richard
Published: (2025)

Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
by: Pekaric, Irdin, et al.
Published: (2026)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
by: Zhang, Jianyu, et al.
Published: (2024)

When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle Safety
by: Khatiri, Sajad, et al.
Published: (2025)

Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
by: Shi, Jieke, et al.
Published: (2024)

Segment-Based Test Case Prioritization: A Multi-objective Approach
by: Huynh, Hieu, et al.
Published: (2024)

From Requirements to Test Cases: An NLP-Based Approach for High-Performance ECU Test Case Automation
by: Medeshetty, Nikitha, et al.
Published: (2025)

Determining the Tactical Challenge of Scenarios to Efficiently Test Automated Driving Systems
by: Vater, Lennart, et al.
Published: (2024)

CALM: A Self-Adaptive Orchestration Approach for QoS-Aware Routing in Small Language Model based Systems
by: Jain, Hemang, et al.
Published: (2026)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
by: Shefa, Jannatul, et al.
Published: (2025)

scenario.center: Methods from Real-world Data to a Scenario Database
by: Schuldes, Michael, et al.
Published: (2024)

Safety Verification and Optimization in Industrial Drive Systems
by: Hasrat, Imran Riaz, et al.
Published: (2025)

Model Based System Assurance Using the Structured Assurance Case Metamodel
by: Wei, Ran, et al.
Published: (2019)

Distributed Approach to Haskell Based Applications Refactoring with LLMs Based Multi-Agent Systems
by: Siddeeq, Shahbaz, et al.
Published: (2025)

Safety Factories - a Manifesto
by: Cârlan, Carmen, et al.
Published: (2025)

Tackling Erosion in Variant-Rich Software Systems: Challenges and Approaches
by: Stümpfle, Johannes, et al.
Published: (2024)

Quantitative Information Flow Control by Construction for Component-Based Systems
by: Rønneberg, Rasmus Carl
Published: (2024)

LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases
by: Yang, Zhenzhen, et al.
Published: (2025)

Causality-aware Safety Testing for Autonomous Driving Systems
by: Tang, Wenbing, et al.
Published: (2025)

Towards Safety-Compliant Transformer Architectures for Automotive Systems
by: Kirchner, Sven, et al.
Published: (2026)

Relating System Safety and Machine Learnt Model Performance
by: Pai, Ganesh
Published: (2025)

Automated System-level Testing of Unmanned Aerial Systems
by: Sartaj, Hassan, et al.
Published: (2024)

Declarative Policy Control for Data Spaces: A DSL-Based Approach for Manufacturing-X
by: Pfeiffer, Jérôme, et al.
Published: (2025)

Investigating the Performance of Small Language Models in Detecting Test Smells in Manual Test Cases
by: Lucas, Keila, et al.
Published: (2025)