paper-with-me

Papers

LLM-Empowered Functional Safety and Security by Design in Automotive Systems

2026-01-05 · Nenad Petrovic, Vahid Zolfaghari, Fengjunjie Pan, Alois Knoll arxiv

This paper presents LLM-empowered workflow to support Software Defined Vehicle (SDV) software development, covering the aspects of security-aware system topology design, as well as event-driven decision-making code analysis. For code analysis we adopt event chains model which provides formal foundations to systematic validation of functional safety, taking into account the semantic validity of messages exchanged between key components, including both CAN and Vehicle Signal Specification (VSS). Analysis of security aspects for topology relies on synergy with Model-Driven Engineering (MDE) approach and Object Constraint Language (OCL) rules. Both locally deployable and proprietary solution are taken into account for evaluation within Advanced Driver-Assistance Systems (ADAS)-related scenarios.

📄 PDF Abstract BibTeX arXiv:2601.02215

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Key Safety Design Overview in AI-driven Autonomous Vehicles

2024-12-12 · Vikas Vyas, Zheyuan Xu

With the increasing presence of autonomous SAE level 3 and level 4, which incorporate artificial intelligence software, along with the complex technical challenges they present, it is essential to maintain a high level o…

Autonomous Vehicles

The Impact of Network Design Interventions on CPS Security

2021-09-29 · Pradeep Sharma Oruganti, Parinaz Naghizadeh, Qadeer Ahmed

We study a game-theoretic model of the interactions between a Cyber-Physical System's (CPS) operator (the defender) against an attacker who launches stepping-stone attacks to reach critical assets within the CPS. We cons…

SISSA: Real-time Monitoring of Hardware Functional Safety and Cybersecurity with In-vehicle SOME/IP Ethernet Traffic

2024-02-21 · Qi Liu, Xingyu Li, Ke Sun, Yufeng Li 외

Scalable service-Oriented Middleware over IP (SOME/IP) is an Ethernet communication standard protocol in the Automotive Open System Architecture (AUTOSAR), promoting ECU-to-ECU communication over the IP stack. However, S…

RISC-V Functional Safety for Autonomous Automotive Systems: An Analytical Framework and Research Roadmap for ML-Assisted Certification

2026-04-19 · Nick Andreasyan, Mikhail Struve, Alexey Popov, Maksim Nikolaev 외 arxiv

RISC-V is emerging as a viable platform for automotive-grade embedded computing, with recent ISO 26262 ASIL-D certifications demonstrating readiness for safety-critical deployment in autonomous driving systems. However, …

Reinforcement LearningAutonomous Driving

An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software

2017-09-07 · Rick Salay, Rodrigo Queiroz, Krzysztof Czarnecki

Machine learning (ML) plays an ever-increasing role in advanced automotive functionality for driver assistance and autonomous operation; however, its adequacy from the perspective of safety certification remains controve…

BIG-bench Machine Learning