微控制器软件组件的自动代码生成与验证
软件工程
2025-02-27 v1 机器学习
摘要
本文提出一种为嵌入式系统生成软件组件的方法，可无缝集成到现有实现中，无需开发者干预。我们通过自动生成 STM32F407 微控制器上 GPIO 操作的硬件抽象层（HAL）代码来演示该方法。通过使用抽象语法树（AST）进行代码分析和检索增强生成（RAG）进行组件生成，我们的方法实现了嵌入式应用的自主代码补全。
引用
@article{arxiv.2502.18905,
title = {Automated Code Generation and Validation for Software Components of Microcontrollers},
author = {Sebastian Haug and Christoph Böhm and Daniel Mayer},
journal= {arXiv preprint arXiv:2502.18905},
year = {2025}
}
备注
Sebastian Haug: This paper, spanning 12 pages with 5 figures, presents my work on automated code generation and validation for STM32F407 microcontroller software components. Developed as part of a research project at Munich University of Applied Sciences and AGSOTEC GmbH, it leverages AST and RAG to streamline embedded development. Includes glossary and bibliography as supplementary materials