Reference : CPSDebug: a tool for explanation of failures in cyber-physical systems
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/44794
CPSDebug: a tool for explanation of failures in cyber-physical systems
English
Bartocci, Ezio [Technische Universität Wien = Vienna University of Technology - TU Vienna]
Manjunath, Niveditha [Technische Universität Wien = Vienna University of Technology - TU Vienna]
Mariani, Leonardo [Università degli Studi di Milano - Bicocca]
Mateis, Cristinel [AIT Austrian Institute of Technology]
Ničković [AIT Austrian Institute of Technology]
Pastore, Fabrizio mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
2020
CPSDebug: a tool for explanation of failures in cyber-physical systems
Association for Computing Machinery
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
569–572
Yes
No
International
9781450380089
New York
USA
INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS
from 18-07-2020 to 22-07-2020
[en] Cyber-Physical Systems ; Model-based Development ; Testing
[en] 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 MAT- LAB 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.
Researchers
http://hdl.handle.net/10993/44794
10.1145/3395363.3404369

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
3395363.3404369.pdfPublisher postprint526.47 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.