Cover Image

Safety Verification and Optimization in Industrial Drive Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hasrat, Imran Riaz, Kang, Eun-Young, Graulund, Christian Uldal
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

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

SafePlanner: Testing Safety of the Automated Driving System Plan Model
by: Kim, Dohyun, et al.
Published: (2026)

An Alignment Between the CRA's Essential Requirements and the ATT&CK's Mitigations
by: Ruohonen, Jukka, et al.
Published: (2025)

A Mapping Analysis of Requirements Between the CRA and the GDPR
by: Ruohonen, Jukka, et al.
Published: (2025)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
by: Liu, Zihan, et al.
Published: (2024)

AI-augmented Automation for Real Driving Prediction: an Industrial Use Case
by: Eramo, Romina, et al.
Published: (2024)

Event-Chain Analysis for Automated Driving and ADAS Systems: Ensuring Safety and Meeting Regulatory Timing Requirements
by: Dingler, Sebastian, et al.
Published: (2025)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
by: Zhou, Zhi Quan, et al.
Published: (2026)

Quantifying Uncertainty in FMEDA Safety Metrics: An Error Propagation Approach for Enhanced ASIC Verification
by: Armato, Antonino, et al.
Published: (2026)

LMM-enhanced Safety-Critical Scenario Generation for Autonomous Driving System Testing From Non-Accident Traffic Videos
by: Tian, Haoxiang, et al.
Published: (2024)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features
by: Nouri, Ali, et al.
Published: (2024)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
by: Kirchner, Sven, et al.
Published: (2025)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
by: Kräuter, Tim, et al.
Published: (2025)

Moral Testing of Autonomous Driving Systems
by: Tang, Wenbing, et al.
Published: (2025)

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

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
by: Chen, Shufeng, et al.
Published: (2025)

Industrial Survey on Robustness Testing In Cyber Physical Systems
by: Ponsard, Christophe, et al.
Published: (2026)

Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
by: Grewal, Ruben, et al.
Published: (2024)

MARL-OT: Multi-Agent Reinforcement Learning Guided Online Fuzzing to Detect Safety Violation in Autonomous Driving Systems
by: Liang, Linfeng, et al.
Published: (2025)

Emotion Classification In Software Engineering Texts: A Comparative Analysis of Pre-trained Transformers Language Models
by: Imran, Mia Mohammad
Published: (2024)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
by: Patel, Milin, et al.
Published: (2025)

An LLM-driven Scenario Generation Pipeline Using an Extended Scenic DSL for Autonomous Driving Safety Validation
by: Safa, Fida Khandaker, et al.
Published: (2026)

Towards Automated Driving Violation Cause Analysis in Scenario-Based Testing for Autonomous Driving Systems
by: Wan, Ziwen, et al.
Published: (2024)

Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
by: Alves, Antonio Pedro Santos, et al.
Published: (2024)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
by: Rafie, Bassel, et al.
Published: (2025)

UniSTPA: A Safety Analysis Framework for End-to-End Autonomous Driving
by: Kou, Hongrui, et al.
Published: (2025)

ADPerf: Investigating and Testing Performance in Autonomous Driving Systems
by: Pham, Tri Minh-Triet, et al.
Published: (2025)

Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
by: Naziri, M M Abid, et al.
Published: (2025)

Foundation Models for Autonomous Driving System: An Initial Roadmap
by: Wu, Xiongfei, et al.
Published: (2025)

Modeling Language for Scenario Development of Autonomous Driving Systems
by: Aoki, Toshiaki, et al.
Published: (2025)

Verification and Validation of Autonomous Systems
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)

LLM4VV: Exploring LLM-as-a-Judge for Validation and Verification Testsuites
by: Sollenberger, Zachariah, et al.
Published: (2024)

Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL
by: Kang, Sungmin, et al.
Published: (2025)

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
by: Shen, Zhuohang, et al.
Published: (2025)

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
by: Eris, Halit, et al.
Published: (2025)

MoDitector: Module-Directed Testing for Autonomous Driving Systems
by: Wang, Renzhi, et al.
Published: (2025)

A Systematic Mapping Study on the Debugging of Autonomous Driving Systems
by: Shaw, Nathan, et al.
Published: (2026)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
by: Ayerdi, Jon, et al.
Published: (2023)