Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
Fuente:
arXiv
Saved in:
| Main Authors: | Sinitsyn, Viktor, Schlautmann, Nils, Schwaiger, Florian, Holzapfel, Florian |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
by: Yang, Huanqi, et al.
Published: (2024)
by: Yang, Huanqi, et al.
Published: (2024)
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025)
by: A., Gustavo Quiros, et al.
Published: (2025)
Ladder Logic Translation using Large Language Models in Industrial Automation
by: Ogundare, Oluwatosin, et al.
Published: (2026)
by: Ogundare, Oluwatosin, et al.
Published: (2026)
A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)
by: Alexopoulos, Angelos, et al.
Published: (2025)
ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
by: Zuo, Jian, et al.
Published: (2025)
by: Zuo, Jian, et al.
Published: (2025)
Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
by: Jayasuriya, Dinithi, et al.
Published: (2026)
by: Jayasuriya, Dinithi, et al.
Published: (2026)
Three-Stage Adjusted Regression Forecasting (TSARF) for Software Defect Prediction
by: Pritchard, Shadow, et al.
Published: (2024)
by: Pritchard, Shadow, et al.
Published: (2024)
Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)
Towards Using Behavior Trees in Industrial Automation Controllers
by: Sidorenko, Aleksandr, et al.
Published: (2024)
by: Sidorenko, Aleksandr, et al.
Published: (2024)
Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems
by: Cavalcante, Everton, et al.
Published: (2024)
by: Cavalcante, Everton, et al.
Published: (2024)
Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
by: Schubert, Richard, et al.
Published: (2026)
by: Schubert, Richard, et al.
Published: (2026)
The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
by: Abbaspour, Alireza, et al.
Published: (2026)
by: Abbaspour, Alireza, et al.
Published: (2026)
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)
by: Krook, Jonas, et al.
Published: (2022)
Sketch2Simulation: Automating Flowsheet Generation via Multi Agent Large Language Models
by: Bahamdan, Abdullah, et al.
Published: (2026)
by: Bahamdan, Abdullah, et al.
Published: (2026)
Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
by: Patel, Milin, et al.
Published: (2025)
by: Patel, Milin, et al.
Published: (2025)
APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
by: Zacchi, João-Vitor, et al.
Published: (2025)
by: Zacchi, João-Vitor, et al.
Published: (2025)
A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)
by: Beers, Lasse, et al.
Published: (2024)
ACT: Automated CPS Testing for Open-Source Robotic Platforms
by: Krishnan, Aditya A., et al.
Published: (2026)
by: Krishnan, Aditya A., et al.
Published: (2026)
Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
by: Bora, Arunabh
Published: (2024)
by: Bora, Arunabh
Published: (2024)
Using Large Language Models for Black-Box Testing of FMU-Based Simulations
by: Mughees, Abdullah, et al.
Published: (2026)
by: Mughees, Abdullah, et al.
Published: (2026)
Knowledge Boundary Probing and Demand-Guided Intervention for LLM-Based Power System Code Generation
by: Wu, Hui, et al.
Published: (2026)
by: Wu, Hui, et al.
Published: (2026)
Software Engineering for Collective Cyber-Physical Ecosystems
by: Casadei, Roberto, et al.
Published: (2024)
by: Casadei, Roberto, et al.
Published: (2024)
Self-sustaining Software Systems (S4): Towards Improved Interpretability and Adaptation
by: Cabrera, Christian, et al.
Published: (2024)
by: Cabrera, Christian, et al.
Published: (2024)
Automating Physics-Based Reasoning for SysML Model Validation
by: Chambers, Candice, et al.
Published: (2025)
by: Chambers, Candice, et al.
Published: (2025)
Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
by: Wan, Hanlong, et al.
Published: (2025)
by: Wan, Hanlong, et al.
Published: (2025)
An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
by: Salem, Nayel Fabian, et al.
Published: (2024)
by: Salem, Nayel Fabian, et al.
Published: (2024)
RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
by: Ueltschey, Charles Marion, et al.
Published: (2025)
by: Ueltschey, Charles Marion, et al.
Published: (2025)
TensorConvolutionPlus: A python package for distribution system flexibility area estimation
by: Chrysostomou, Demetris, et al.
Published: (2025)
by: Chrysostomou, Demetris, et al.
Published: (2025)
A Container-based Approach For Proactive Asset Administration Shell Digital Twins
by: Ellwein, Carsten, et al.
Published: (2025)
by: Ellwein, Carsten, et al.
Published: (2025)
HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
by: Xu, Kangwei, et al.
Published: (2025)
by: Xu, Kangwei, et al.
Published: (2025)
Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
by: Mulayim, Ozan Baris, et al.
Published: (2025)
by: Mulayim, Ozan Baris, et al.
Published: (2025)
Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
by: Goffi, Pierre-Emmanuel, et al.
Published: (2025)
by: Goffi, Pierre-Emmanuel, et al.
Published: (2025)
An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
by: Paul, Kawshik Kumar, et al.
Published: (2025)
by: Paul, Kawshik Kumar, et al.
Published: (2025)
Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
by: Hosseini, Amirreza, et al.
Published: (2025)
by: Hosseini, Amirreza, et al.
Published: (2025)
DarTwin made precise by SysMLv2 -- An Experiment
by: Haugen, Øystein, et al.
Published: (2025)
by: Haugen, Øystein, et al.
Published: (2025)
Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection
by: Hans, Ole, et al.
Published: (2025)
by: Hans, Ole, et al.
Published: (2025)
Formalization of the AADL Run-Time Services with Time
by: Larson, Brian R, et al.
Published: (2025)
by: Larson, Brian R, et al.
Published: (2025)
Reasonable Experiments in Model-Based Systems Engineering
by: Cederbladh, Johan, et al.
Published: (2025)
by: Cederbladh, Johan, et al.
Published: (2025)
A Theory-driven Interpretation and Elaboration of Verification and Validation
by: Kannan, Hanumanthrao, et al.
Published: (2025)
by: Kannan, Hanumanthrao, et al.
Published: (2025)
Work in Progress: AI-Powered Engineering-Bridging Theory and Practice
by: Levy, Oz, et al.
Published: (2025)
by: Levy, Oz, et al.
Published: (2025)
Similar Items
-
EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
by: Yang, Huanqi, et al.
Published: (2024) -
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025) -
Ladder Logic Translation using Large Language Models in Industrial Automation
by: Ogundare, Oluwatosin, et al.
Published: (2026) -
A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025) -
ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
by: Zuo, Jian, et al.
Published: (2025)