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