arXiv · AI· Elizaveta Zinovyeva, Aiham Taleb, Nikita Kozodoi, Daniel Schleicher, Amir Mahdi Namazi, Martin Kraus, Levent Kent, Brian Jensen·· 5 小时前AI 评分27
汽车软件中的人机协同代码生成与验证
Generation and Verification: Human-Agent Collaboration for Safety-Critical Automotive Software Engineering
AI 导读
研究指出汽车安全关键软件更侧重验证，团队提出结合 MISRA 和 AUTOSAR 标准的代码助手，支持按需执行 verify 工具。 该助手通过提示工程和微调定制 LLM，AUMOVIO 两周试点显示开发者最常用 verify 工具，且 75% 偏好更快的提示工程配置。
来源：arXiv · AI · arxiv.org