Buchumschlag

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kobayashi, Tsutomu, Bondu, Martin, Ishikawa, Fuyuki
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
von: Yu, Gerhard, et al.
Veröffentlicht: (2026)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
von: Barhoumi, Oumaima, et al.
Veröffentlicht: (2026)

An Experience Report on Regression-Free Repair of Deep Neural Network Model
von: Nakagawa, Takao, et al.
Veröffentlicht: (2025)

FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
von: Openja, Moses, et al.
Veröffentlicht: (2025)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
von: Wang, Hongshu, et al.
Veröffentlicht: (2026)

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
von: Aslam, Iqra, et al.
Veröffentlicht: (2023)

Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles
von: Liu, Henry X., et al.
Veröffentlicht: (2025)

The Role of Road Features and Vehicle Dynamics in Cost-Effective Autonomous Vehicles Safety Testing: Insights from Instance Space Analysis
von: Crespo-Rodriguez, Victor, et al.
Veröffentlicht: (2026)

Key Safety Design Overview in AI-driven Autonomous Vehicles
von: Vyas, Vikas, et al.
Veröffentlicht: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
von: Luckeneder, Christoph, et al.
Veröffentlicht: (2025)

REDriver: Runtime Enforcement for Autonomous Vehicles
von: Sun, Yang, et al.
Veröffentlicht: (2024)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
von: Herbold, Steffen, et al.
Veröffentlicht: (2025)

Utilizing API Response for Test Refinement
von: Sondhi, Devika, et al.
Veröffentlicht: (2025)

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
von: Xiao, Yizhuo, et al.
Veröffentlicht: (2026)

Failure Analysis of Safety Controllers in Autonomous Vehicles Under Object-Based LiDAR Attacks
von: Ganiuly, Daniyal, et al.
Veröffentlicht: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
von: Ma, Lezhi, et al.
Veröffentlicht: (2026)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
von: Lanzinger, Florian, et al.
Veröffentlicht: (2024)

Enhancing Automated Program Repair via Faulty Token Localization and Quality-Aware Patch Refinement
von: Kong, Jiaolong, et al.
Veröffentlicht: (2025)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

Causality-aware Safety Testing for Autonomous Driving Systems
von: Tang, Wenbing, et al.
Veröffentlicht: (2025)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
von: Ganesha, et al.
Veröffentlicht: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
von: Krook, Jonas, et al.
Veröffentlicht: (2022)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
von: Benjumea, Diana C., et al.
Veröffentlicht: (2025)

Towards Safety-Compliant Transformer Architectures for Automotive Systems
von: Kirchner, Sven, et al.
Veröffentlicht: (2026)

PAFOT: A Position-Based Approach for Finding Optimal Tests of Autonomous Vehicles
von: Crespo-Rodriguez, Victor, et al.
Veröffentlicht: (2024)

ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
von: Sun, Huijia, et al.
Veröffentlicht: (2024)

TARGET: Automated Scenario Generation from Traffic Rules for Testing Autonomous Vehicles via Validated LLM-Guided Knowledge Extraction
von: Deng, Yao, et al.
Veröffentlicht: (2023)

Integration of an Agent Model into an Open Simulation Architecture for Scenario-Based Testing of Automated Vehicles
von: Geller, Christian, et al.
Veröffentlicht: (2026)

Large Language Models in Code Co-generation for Safe Autonomous Vehicles
von: Nouri, Ali, et al.
Veröffentlicht: (2025)

RoadGen: Generating Road Scenarios for Autonomous Vehicle Testing
von: Yang, Fan, et al.
Veröffentlicht: (2024)

AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles
von: Zhang, Tony, et al.
Veröffentlicht: (2025)

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
von: Skoglund, Martin, et al.
Veröffentlicht: (2025)

Scalable Supervisory Architecture for Autonomous Race Cars
von: Demeter, Zalán, et al.
Veröffentlicht: (2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
von: Ma, Lezhi, et al.
Veröffentlicht: (2024)

FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
von: Sun, Yang, et al.
Veröffentlicht: (2025)

Can Large Language Models Model Programs Formally?
von: Chen, Zhiyong, et al.
Veröffentlicht: (2026)

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

A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles
von: Tehrani, Masoud Jamshidiyan, et al.
Veröffentlicht: (2024)

A Serverless Edge-Native Data Processing Architecture for Autonomous Driving Training
von: Bally, Fabian, et al.
Veröffentlicht: (2026)

An Empirical Study on Challenges of Event Management in Microservice Architectures
von: Laigner, Rodrigo, et al.
Veröffentlicht: (2024)