The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Abbaspour, Alireza, Mahadevan, Shabin, Zwirglmaier, Kilian, Stafford, Jeff |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
par: Patel, Milin, et autres
Publié: (2025)
par: Patel, Milin, et autres
Publié: (2025)
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
par: A., Gustavo Quiros, et autres
Publié: (2025)
par: A., Gustavo Quiros, et autres
Publié: (2025)
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
par: Krook, Jonas, et autres
Publié: (2022)
par: Krook, Jonas, et autres
Publié: (2022)
A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
par: Alexopoulos, Angelos, et autres
Publié: (2025)
par: Alexopoulos, Angelos, et autres
Publié: (2025)
APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
par: Zacchi, João-Vitor, et autres
Publié: (2025)
par: Zacchi, João-Vitor, et autres
Publié: (2025)
Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
par: Parkash, Om, et autres
Publié: (2026)
par: Parkash, Om, et autres
Publié: (2026)
Formalized Identification Of Key Factors In Safety-Relevant Failure Scenarios
par: Julitz, Tim Maurice, et autres
Publié: (2024)
par: Julitz, Tim Maurice, et autres
Publié: (2024)
Automation Configuration in Smart Home Systems: Challenges and Opportunities
par: Anik, Sheik Murad Hassan, et autres
Publié: (2024)
par: Anik, Sheik Murad Hassan, et autres
Publié: (2024)
Towards Using Behavior Trees in Industrial Automation Controllers
par: Sidorenko, Aleksandr, et autres
Publié: (2024)
par: Sidorenko, Aleksandr, et autres
Publié: (2024)
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
par: Gleirscher, Mario, et autres
Publié: (2017)
par: Gleirscher, Mario, et autres
Publié: (2017)
Ladder Logic Translation using Large Language Models in Industrial Automation
par: Ogundare, Oluwatosin, et autres
Publié: (2026)
par: Ogundare, Oluwatosin, et autres
Publié: (2026)
Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
par: Schubert, Richard, et autres
Publié: (2026)
par: Schubert, Richard, et autres
Publié: (2026)
NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics
par: Cereda, Elia, et autres
Publié: (2026)
par: Cereda, Elia, et autres
Publié: (2026)
Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
par: Sinitsyn, Viktor, et autres
Publié: (2025)
par: Sinitsyn, Viktor, et autres
Publié: (2025)
The Open Autonomy Safety Case Framework
par: Wagner, Michael, et autres
Publié: (2024)
par: Wagner, Michael, et autres
Publié: (2024)
IndustriConnect: MCP Adapters and Mock-First Evaluation for AI-Assisted Industrial Operations
par: Xavier, Melwin, et autres
Publié: (2026)
par: Xavier, Melwin, et autres
Publié: (2026)
An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features
par: Nouri, Ali, et autres
Publié: (2024)
par: Nouri, Ali, et autres
Publié: (2024)
Automating Physics-Based Reasoning for SysML Model Validation
par: Chambers, Candice, et autres
Publié: (2025)
par: Chambers, Candice, et autres
Publié: (2025)
Work in Progress: AI-Powered Engineering-Bridging Theory and Practice
par: Levy, Oz, et autres
Publié: (2025)
par: Levy, Oz, et autres
Publié: (2025)
Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
par: Sidorenko, Aleksandr, et autres
Publié: (2024)
par: Sidorenko, Aleksandr, et autres
Publié: (2024)
ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
par: Zuo, Jian, et autres
Publié: (2025)
par: Zuo, Jian, et autres
Publié: (2025)
ACT: Automated CPS Testing for Open-Source Robotic Platforms
par: Krishnan, Aditya A., et autres
Publié: (2026)
par: Krishnan, Aditya A., et autres
Publié: (2026)
Reasonable Experiments in Model-Based Systems Engineering
par: Cederbladh, Johan, et autres
Publié: (2025)
par: Cederbladh, Johan, et autres
Publié: (2025)
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
par: Mandrioli, Claudio, et autres
Publié: (2024)
par: Mandrioli, Claudio, et autres
Publié: (2024)
Using Large Language Models for Black-Box Testing of FMU-Based Simulations
par: Mughees, Abdullah, et autres
Publié: (2026)
par: Mughees, Abdullah, et autres
Publié: (2026)
Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
par: Hosseini, Amirreza, et autres
Publié: (2025)
par: Hosseini, Amirreza, et autres
Publié: (2025)
PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
par: Tehrani, Masoud Jamshidiyan, et autres
Publié: (2025)
par: Tehrani, Masoud Jamshidiyan, et autres
Publié: (2025)
An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
par: Salem, Nayel Fabian, et autres
Publié: (2024)
par: Salem, Nayel Fabian, et autres
Publié: (2024)
Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
par: Goffi, Pierre-Emmanuel, et autres
Publié: (2025)
par: Goffi, Pierre-Emmanuel, et autres
Publié: (2025)
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
par: Ghosh, Bineet, et autres
Publié: (2022)
par: Ghosh, Bineet, et autres
Publié: (2022)
RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
par: Ueltschey, Charles Marion, et autres
Publié: (2025)
par: Ueltschey, Charles Marion, et autres
Publié: (2025)
EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
par: Yang, Huanqi, et autres
Publié: (2024)
par: Yang, Huanqi, et autres
Publié: (2024)
An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
par: Paul, Kawshik Kumar, et autres
Publié: (2025)
par: Paul, Kawshik Kumar, et autres
Publié: (2025)
Enhancing Autonomous Driving Safety Analysis with Generative AI: A Comparative Study on Automated Hazard and Risk Assessment
par: Abbaspour, Alireza, et autres
Publié: (2024)
par: Abbaspour, Alireza, et autres
Publié: (2024)
Explainable AI for Engineering Design: A Unified Approach of Systems Engineering and Component- Based Deep Learning Demonstrated by Energy- Efficient Building Design
par: Geyer, Philipp, et autres
Publié: (2021)
par: Geyer, Philipp, et autres
Publié: (2021)
Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
par: Jayasuriya, Dinithi, et autres
Publié: (2026)
par: Jayasuriya, Dinithi, et autres
Publié: (2026)
SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
par: Lewis, Charles, et autres
Publié: (2026)
par: Lewis, Charles, et autres
Publié: (2026)
ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
par: Shen, Chao, et autres
Publié: (2026)
par: Shen, Chao, et autres
Publié: (2026)
TensorConvolutionPlus: A python package for distribution system flexibility area estimation
par: Chrysostomou, Demetris, et autres
Publié: (2025)
par: Chrysostomou, Demetris, et autres
Publié: (2025)
Digital requirements engineering with an INCOSE-derived SysML meta-model
par: Wheaton, James S., et autres
Publié: (2024)
par: Wheaton, James S., et autres
Publié: (2024)
Documents similaires
-
Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
par: Patel, Milin, et autres
Publié: (2025) -
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
par: A., Gustavo Quiros, et autres
Publié: (2025) -
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
par: Krook, Jonas, et autres
Publié: (2022) -
A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
par: Alexopoulos, Angelos, et autres
Publié: (2025) -
APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
par: Zacchi, João-Vitor, et autres
Publié: (2025)