Automating Automotive Software Development: A Synergy of Generative AI and Model-Based Methods

TL;DR

This paper presents a novel approach that combines Generative AI and model-driven engineering to automate and improve the development, validation, and integration of automotive software systems, demonstrated through a simulation case study.

Contribution

It introduces a method integrating LLMs with formal models for automating requirement analysis, code generation, and system validation in automotive software development.

Findings

Enhanced automation of software development tasks.

Successful validation in a CARLA simulation environment.

Improved system reliability through formal analysis.

Abstract

As the automotive industry shifts its focus toward software-defined vehicles, the need for faster and reliable software development continues to grow. However, traditional methods show their limitations. The rise of Generative Artificial Intelligence (GenAI), particularly Large Language Models (LLMs), introduces new opportunities to automate automotive software development tasks such as requirement analysis and code generation. However, due to the complexity of automotive systems, where software components must interact with each other seamlessly, challenges remain in software integration and system-level validation. In this paper, we propose to combine GenAI with model-driven engineering to automate automotive software development. Our approach uses LLMs to convert free-text requirements into event chain descriptions and to generate platform-independent software components that realize the required functionality. At the same time, formal models are created based on event chain descriptions to support system validation and the generation of integration code for integrating generated software components in the whole vehicle system through middleware. This approach increases development automation while enabling formal analysis to improve system reliability. As a proof of concept, we used GPT-4o to implement our method and tested it in the CARLA simulation environment with ROS2 middleware. We evaluated the system in a simple Autonomous Emergency Braking scenario.