paper-with-me

Papers

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

2025-06-04 · Sven Kirchner, Alois C. Knoll

Developing safety-critical automotive software presents significant challenges due to increasing system complexity and strict regulatory demands. This paper proposes a novel framework integrating Generative Artificial Intelligence (GenAI) into the Software Development Lifecycle (SDLC). The framework uses Large Language Models (LLMs) to automate code generation in languages such as C++, incorporating safety-focused practices such as static verification, test-driven development and iterative refinement. A feedback-driven pipeline ensures the integration of test, simulation and verification for compliance with safety standards. The framework is validated through the development of an Adaptive Cruise Control (ACC) system. Comparative benchmarking of LLMs ensures optimal model selection for accuracy and reliability. Results demonstrate that the framework enables automatic code generation while ensuring compliance with safety-critical requirements, systematically integrating GenAI into automotive software engineering. This work advances the use of AI in safety-critical domains, bridging the gap between state-of-the-art generative models and real-world safety requirements.

📄 PDF Abstract BibTeX arXiv:2506.04038

Code (0)

등록된 구현이 없습니다.

Tasks

BenchmarkingCode GenerationModel Selectiontest driven development

Similar Papers 제목 키워드 기반

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code

2025-07-20 · Nenad Petrovic, Vahid Zolfaghari, Andre Schamschurko, Sven Kirchner 외 arxiv

Adoption of state-of-art Generative Artificial Intelligence (GenAI) aims to revolutionize many industrial areas by reducing the amount of human intervention needed and effort for handling complex underlying processes. Au…

Code Generation

SilGAN: Generating driving maneuvers for scenario-based software-in-the-loop testing

2021-07-05 · Dhasarathy Parthasarathy, Anton Johansson

Automotive software testing continues to rely largely upon expensive field tests to ensure quality because alternatives like simulation-based testing are relatively immature. As a step towards lowering reliance on field …

software testing

Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches

2025-06-16 · Lukasz Mazur, Nenad Petrovic, James Pontes Miranda, Ansgar Radermacher 외

Large language models (LLMs) offer new opportunities for interacting with complex software artifacts, such as software models, through natural language. They present especially promising benefits for large software model…

Hallucination in LLM-Based Code Generation: An Automotive Case Study

2025-08-15 · Marc Pavel, Nenad Petrovic, Lukasz Mazur, Vahid Zolfaghari 외 arxiv

Large Language Models (LLMs) have shown significant potential in automating code generation tasks offering new opportunities across software engineering domains. However, their practical application remains limited due t…

Code Generation

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