一句话：提出灰盒调试工具CPSDebug，结合测试、规约挖掘与故障分析，解释MATLAB Simulink/Stateflow模型故障的时空传播。
针对信息物理系统（CPS）模型调试困难的问题：故障往往由一组长而复杂、异构的事件组合触发，工程师难以定位原因。论文提出CPSDebug，面向MATLAB Simulink/Stateflow模型，采用灰盒方法将测试、规约挖掘与故障分析结合，自动识别故障原因并解释其在时间和空间上的传播。工具通过多个使用场景和注入故障进行评估，并收集工程师直接反馈。结果表明CPSDebug能有效辅助工程师完成调试任务，提升故障定位与理解效率。
Debugging Cyber-Physical System models is often challenging, as it requires identifying a potentially long, complex and heterogenous combination of events that resulted in a violation of the expected behavior of the system. In this paper we present CPSDebug, a tool for supporting designers in the debugging of failures in MATLAB Simulink/Stateflow models. CPSDebug implements a gray-box approach that combines testing, specification mining, and failure analysis to identify the causes of failures and explain their propagation in time and space. The evaluation of the tool, based on multiple usage scenarios and faults and direct feedback from engineers, shows that CPSDebug can effectively aid engineers during debugging tasks.
@inproceedings{paperbot6040,
title = {CPSDebug: a tool for explanation of failures in cyber-physical systems},
author = {Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Ničković and Fabrizio Pastore},
booktitle = {ISSTA},
year = {2020},
doi = {10.1145/3395363.3404369}
}