4 papers
Connected Dependability Cage: Run-Time Function and Anomaly Monitoring for the Development and Operation of Safe Automated Vehicles
Iqra Aslam, Nour Habib, Abhishek Buragohain +4
The advancement of automated vehicles introduces complex safety challenges, particularly in dynamic and unpredictable environments where AI-enabled perception systems must operate…
LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
Ruidi He, Yu Zhang, Meng Zhang +1
High-definition map transformations are essential in autonomous driving systems, enabling interoperability across tools. Ensuring their semantic correctness is challenging, since e…
A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
Iqra Aslam, Abhishek Buragohain, Daniel Bamal +3
Environment perception is a fundamental part of the dynamic driving task executed by Autonomous Driving Systems (ADS). Artificial Intelligence (AI)-based approaches have prevailed…
Autoencoder-based Semantic Novelty Detection: Towards Dependable AI-based Systems
Andreas Rausch, Azarmidokht Motamedi Sedeh, Meng Zhang
Many autonomous systems, such as driverless taxis, perform safety critical functions. Autonomous systems employ artificial intelligence (AI) techniques, specifically for the enviro…