自动为微控制器生成并验证硬件抽象层代码
Automated Code Generation and Validation for Software Components of Microcontrollers
- 用抽象语法树分析代码，结合检索增强生成技术自动生成
- 在STM32F407上成功实现GPIO操作的全自动代码生成
- 适合嵌入式开发人员快速构建可靠底层驱动
本文提出一种面向嵌入式系统的软件组件自动生成方法，可无缝集成至现有实现中，无需开发者干预。通过使用抽象语法树（AST）进行代码分析，并采用检索增强生成（RAG）技术生成组件，该方法实现了嵌入式应用的自主代码补全。以STM32F407微控制器的GPIO操作为例，展示了硬件抽象层（HAL）代码的自动生成功能。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。