paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Fault Injection for Simulink-based CPS Models: Insights and Future Directions

面向基于 Simulink 的 CPS 模型的故障注入:洞见与未来方向
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 2/10 · 论文聚焦 Simulink-based CPS 模型的故障注入与测试挑战,属于动态测试/领域建模方向,与用户关注的静态分析、LLM/Agent 改进分析、浮点程序分析及贝叶斯程序分析无直接交集。其问题驱动和工业安全场景虽有一定相关性,但不足以支撑核心研究方向。引用 0 inbox
Drishti Yadav, Claudio Mandrioli, Ezio Bartocci, Domenico Bianculli
crossref: 2026-09-12

AI 速览

一句话:分析现有故障注入方法在基于 Simulink 的 CPS 模型上的不足,梳理关键挑战并提出研究路线。

信息物理系统(CPS)在汽车、航空航天等安全攸关领域的安全性至关重要,故障注入(FI)是检验系统韧性的成熟手段,但现有 FI 工具在应用于基于 Simulink 的 CPS 模型时往往力不从心。本文是一篇见解与展望类论文:作者系统分析了现有 FI 方法在 Simulink 建模场景下的短板,反思并归纳出将故障注入应用于此类模型时所面临的关键挑战,例如模型级语义与仿真机制带来的可注入性、故障模型表达与仿真时序等问题。在此基础上,作者提出若干研究路径与方向,旨在推动 FI 方法学的进一步发展,使 CPS 在真实应用中能够得到更稳健的测试。文章不报告新的实证评估,而是以挑战梳理与研究议程的形式为该方向后续工作提供指引。

问题
现有故障注入技术与工具在应用于基于 Simulink 的 CPS 模型时存在明显不足,而社区尚缺乏对这些不足及其背后关键挑战的系统认识。
方法
以见解/展望论文的形式,分析现有 FI 方法的局限,归纳面向 Simulink-based CPS 模型的故障注入关键挑战,并提出相应的研究路径。
评估
本文为分析性与议程设定型工作,通过论证与挑战梳理给出研究路线,未开展实证评估或工具实现。
原文摘要(Abstract)

Ensuring the safety and reliability of Cyber-Physical Systems (CPS) is critical, particularly in safety-critical domains such as automotive and aerospace. Fault Injection (FI) is a well-established technique for testing system resilience, but current FI tools often face challenges when applied to Simulink-based CPS models. In this paper, we analyze the shortcomings of existing FI methods, and reflect on the key challenges of FI for Simulink-based CPS models. By offering insights into these challenges and proposing research pathways, we aim to inspire further advances in FI methodologies, enabling more robust testing of CPS in real-world applications.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9377,
  title = {Fault Injection for Simulink-based CPS Models: Insights and Future Directions},
  author = {Drishti Yadav and Claudio Mandrioli and Ezio Bartocci and Domenico Bianculli},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00326}
}