Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/70354
Title: Physical behavior based debugging : test and fault localization on cyber-physical systems
Authors: Huang, Enyan
Advisors: Wang, Qixin (COMP)
Keywords: Cooperating objects (Computer systems)
Embedded computer systems
Issue Date: 2017
Publisher: The Hong Kong Polytechnic University
Abstract: The rapid growth of control cyber-physical systems (control-CPS) complexity necessitates the use of fault localization tools to locate cyber subsystems' bugs. Many mainstream fault localization tools need large number of labeled ("correct" or "faulty") execution traces as their inputs. To prepare the traces, for most control-CPSs (particularly those large or without complete/accurate models), assertions designed by domain experts are used. This approach is best-effort: often heavily subjective and ad-hoc. To make the approach more principled and systematic, we exploit the state-of-the-art hybrid systems modeling and stability theories to propose a new approach. Empirical evaluations upon commercial-product-grade large control-CPS platform show that our proposed approach achieves significant improvements (42% ~ 300% improvement in accuracy, recall, and latency medians) over the existing approach.
Description: xiii, 69 pages : illustrations
PolyU Library Call No.: [THS] LG51 .H577M COMP 2017 Huang
URI: http://hdl.handle.net/10397/70354
Rights: All rights reserved.
Appears in Collections:Thesis

Files in This Item:
File Description SizeFormat 
991021965757003411_link.htmFor PolyU Users167 BHTMLView/Open
991021965757003411_pira.pdfFor All Users (Non-printable)2.18 MBAdobe PDFView/Open
Show full item record
PIRA download icon_1.1View/Download Contents

Page view(s)

9
Last Week
0
Last month
Citations as of Oct 15, 2018

Download(s)

3
Citations as of Oct 15, 2018

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.