Name
Abstract | ||
|---|---|---|
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.
|
Year | DOI | Venue |
|---|---|---|
2020 | 10.1145/3395363.3404369 | ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Virtual Event
USA
July, 2020 |
DocType | ISBN | Citations |
Conference | 978-1-4503-8008-9 | 1 |
PageRank | References | Authors |
0.34 | 10 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ezio Bartocci | 1 | 733 | 57.55 |
| Niveditha Manjunath | 2 | 10 | 2.16 |
| Leonardo Mariani | 3 | 233 | 24.60 |
| Cristinel Mateis | 4 | 1 | 0.34 |
| Dejan Nickovic | 5 | 743 | 40.88 |
| Fabrizio Pastore | 6 | 329 | 23.60 |