CPSDebug: a tool for explanation of failures in cyber-physical systems

Niveditha Manjunath
Niveditha Manjunath
Cristinel Mateis
Cristinel Mateis

ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis Virtual Event USA July, 2020, pp. 569-572, 2020.

被引用0|引用|浏览9|来源
EI

摘要

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/S...更多

代码

数据

您的评分 :
0

 

标签
评论