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.

Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., Nickovic, D., Pastore, F. (2020). CPSDebug: A tool for explanation of failures in cyber-physical systems. In ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp.569-572). Association for Computing Machinery, Inc [10.1145/3395363.3404369].

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

Mariani L.;Pastore F.
2020

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.
paper
Cyber-Physical Systems; Debugging; Failure Explanation; Model-based Development; Specification Mining; Testing
English
29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2020 18-22 July
2020
Khurshid S.,Pasareanu C.S.
ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
9781450380089
2020
569
572
none
Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., Nickovic, D., Pastore, F. (2020). CPSDebug: A tool for explanation of failures in cyber-physical systems. In ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp.569-572). Association for Computing Machinery, Inc [10.1145/3395363.3404369].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/293877
Citazioni
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
Social impact