面向网络-物理系统的自动化修复
软件工程
2025-01-30 v1
摘要
网络-物理系统(CPS)将数字技术与物理过程集成，广泛应用于机器人系统、自动驾驶车辆或卫星等多个领域。CPS软件的调试与验证往往耗费开发预算的很大比例，因其往往纯手工进行。为加快此过程，长期以来针对自动化程序修复(APR)进行了研究。尽管软件APR和CPS验证技术已取得进展，但针对CPS的APR研究仍有限。本博士论文研究项目旨在开发面向CPS的可扩展APR技术，解决故障定位、测试执行时间延长以及适应度函数限制等问题。将探讨一种新方法，将基于光谱的故障定位(SBFL)与补丁生成及先进人工智能技术相结合。该方法将通过在开源和工业级CPS代码库上的实证研究进行验证。
引用
@article{arxiv.2501.17678,
title = {Automated Repair of Cyber-Physical Systems},
author = {Pablo Valle},
journal= {arXiv preprint arXiv:2501.17678},
year = {2025}
}