Cover Image

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kirchner, Sven, Knoll, Alois C.
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code
by: Petrovic, Nenad, et al.
Published: (2025)

Towards Safety-Compliant Transformer Architectures for Automotive Systems
by: Kirchner, Sven, et al.
Published: (2026)

LLM-Empowered Functional Safety and Security by Design in Automotive Systems
by: Petrovic, Nenad, et al.
Published: (2026)

GenAI for Automotive Software Development: From Requirements to Wheels
by: Petrovic, Nenad, et al.
Published: (2025)

Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches
by: Mazur, Lukasz, et al.
Published: (2025)

Hallucination in LLM-Based Code Generation: An Automotive Case Study
by: Pavel, Marc, et al.
Published: (2025)

Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study
by: Petrovic, Nenad, et al.
Published: (2025)

LLM-Based Approach for Enhancing Maintainability of Automotive Architectures
by: Petrovic, Nenad, et al.
Published: (2025)

AUTOFRAME -- A Software-driven Integration Framework for Automotive Systems
by: Kirchner, Sven, et al.
Published: (2025)

LLM-based Iterative Approach to Metamodeling in Automotive
by: Petrovic, Nenad, et al.
Published: (2025)

LLM-Empowered Event-Chain Driven Code Generation for ADAS in SDV systems
by: Petrovic, Nenad, et al.
Published: (2025)

Automating Automotive Software Development: A Synergy of Generative AI and Model-Based Methods
by: Pan, Fengjunjie, et al.
Published: (2025)

Leveraging Large Language Models for Code Translation and Software Development in Scientific Computing
by: Dhruv, Akash, et al.
Published: (2024)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
by: Cramer, Marcos, et al.
Published: (2025)

Software Development Life Cycle Perspective: A Survey of Benchmarks for Code Large Language Models and Agents
by: Wang, Kaixin, et al.
Published: (2025)

SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents
by: Lin, Feng, et al.
Published: (2024)

Future of Code with Generative AI: Transparency and Safety in the Era of AI Generated Software
by: Hanson, David
Published: (2025)

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
by: Patil, Minal Suresh, et al.
Published: (2024)

LLM-Powered Workflow Optimization for Multidisciplinary Software Development: An Automotive Industry Case Study
by: Wang, Shuai, et al.
Published: (2026)

ArchCode: Incorporating Software Requirements in Code Generation with Large Language Models
by: Han, Hojae, et al.
Published: (2024)

Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model
by: Hatahet, Ahmad, et al.
Published: (2025)

Large Language Model Guided Self-Debugging Code Generation
by: Adnan, Muntasir, et al.
Published: (2025)

Redefining Developer Assistance: Through Large Language Models in Software Ecosystem
by: Banerjee, Somnath, et al.
Published: (2023)

CIAO - Code In Architecture Out - Automated Software Architecture Documentation with Large Language Models
by: De Luca, Marco, et al.
Published: (2026)

Bugs in Large Language Models Generated Code: An Empirical Study
by: Tambon, Florian, et al.
Published: (2024)

Task Abstention for Large Language Models in Code Generation
by: Zhou, Yanke, et al.
Published: (2026)

Personality-Guided Code Generation Using Large Language Models
by: Guo, Yaoqi, et al.
Published: (2024)

GeoCode-GPT: A Large Language Model for Geospatial Code Generation Tasks
by: Hou, Shuyang, et al.
Published: (2024)

From What to How: Bridging User Requirements with Software Development Using Large Language Models
by: He, Xiao, et al.
Published: (2026)

Explaining Software Vulnerabilities with Large Language Models
by: Johnson, Oshando, et al.
Published: (2025)

Adopting RAG for LLM-Aided Future Vehicle Design
by: Zolfaghari, Vahid, et al.
Published: (2024)

Multilingual Multimodal Software Developer for Code Generation
by: Chai, Linzheng, et al.
Published: (2025)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
by: Erfan, Md, et al.
Published: (2026)

Flow2Code: Evaluating Large Language Models for Flowchart-based Code Generation Capability
by: He, Mengliang, et al.
Published: (2025)

Combining Large Language Models with Static Analyzers for Code Review Generation
by: Jaoua, Imen, et al.
Published: (2025)

CRPE: Expanding The Reasoning Capability of Large Language Model for Code Generation
by: Gui, Ningxin, et al.
Published: (2025)

A Comparative Analysis of Large Language Models for Code Documentation Generation
by: Dvivedi, Shubhang Shekhar, et al.
Published: (2023)

A Large-Scale Study of Model Integration in ML-Enabled Software Systems
by: Sens, Yorick, et al.
Published: (2024)

Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation
by: Siavash, Nazanin, et al.
Published: (2025)