Automated Code Generation and Validation for Software Components of Microcontrollers

2025/02/26 by Haug, Sebastian, Christoph Böhm, Böhm, Christoph +2
Computer Science · #68M07 (secondary) #68N20 (primary) #Advanced Software Engineering Methodologies #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Software Engineering (cs.SE)

paper · pdf · doi:10.48550/arxiv.2502.18905

openalex publication_date 2025/02/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This paper proposes a method for generating software components for embedded systems, integrating seamlessly into existing implementations without developer intervention. We demonstrate this by automatically generating hardware abstraction layer (HAL) code for GPIO operations on the STM32F407 microcontroller. Using Abstract Syntax Trees (AST) for code analysis and Retrieval-Augmented Generation (RAG) for component generation, our approach enables autonomous code completion for embedded applications.

Related

• Exploring Code Language Models for Automated HLS-based Hardware Generation: Benchmark, Infrastructure and Analysis
• Exploring and Characterizing Large Language Models For Embedded System Development and Debugging
• A framework for embedded software portability and verification: from formal models to low-level code
• Generate Compilers from Hardware Models!
• Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service