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

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/44794

Title :	CPSDebug: a tool for explanation of failures in cyber-physical systems
Language :	English
Author, co-author :	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 [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Publication date :	2020
Main document title :	CPSDebug: a tool for explanation of failures in cyber-physical systems
Publisher :	Association for Computing Machinery
Collection and collection volume :	Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Pages :	569–572
Peer reviewed :	Yes
On invitation :	No
Audience :	International
ISBN :	9781450380089
City :	New York
Country :	USA
Event name :	INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS
Event date :	from 18-07-2020 to 22-07-2020
Keywords :	[en] Cyber-Physical Systems ; Model-based Development ; Testing
Abstract :	[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.
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/44794
DOI :	10.1145/3395363.3404369

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access 3395363.3404369.pdf Publisher postprint 526.47 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map