| Author: | Huang, Enyan |
| Title: | Physical behavior based debugging : test and fault localization on cyber-physical systems |
| Advisors: | Wang, Qixin (COMP) |
| Degree: | M.Phil. |
| Year: | 2017 |
| Subject: | Hong Kong Polytechnic University -- Dissertations Cooperating objects (Computer systems) Embedded computer systems |
| Department: | Department of Computing |
| Pages: | xiii, 69 pages : illustrations |
| Language: | English |
| 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. |
| Rights: | All rights reserved |
| Access: | open access |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 991021965757003411.pdf | For All Users | 2.17 MB | Adobe PDF | View/Open |
Copyright Undertaking
As a bona fide Library user, I declare that:
- I will abide by the rules and legal ordinances governing copyright regarding the use of the Database.
- I will use the Database for the purpose of my research or private study only and not for circulation or further reproduction or any other purpose.
- I agree to indemnify and hold the University harmless from and against any loss, damage, cost, liability or expenses arising from copyright infringement or unauthorized usage.
By downloading any item(s) listed above, you acknowledge that you have read and understood the copyright undertaking as stated above, and agree to be bound by all of its terms.
Please use this identifier to cite or link to this item:
https://theses.lib.polyu.edu.hk/handle/200/9132