|Title:||Toward dependable cyber-physical systems : a study on design pattern and evaluation methodology|
|Advisors:||Wang, Qixin (COMP)|
|Subject:||Cooperating objects (Computer systems)|
Hong Kong Polytechnic University -- Dissertations
|Department:||Department of Computing|
|Pages:||xviii, 138 pages : illustrations|
|Abstract:||People live in and interact with the physical world. As technology advances, embedded devices with sensing, computation, actuation, and networking capabilities are drastically changing our way to interact with the physical world. This introduces a new type of systems, namely, Cyber-Physical Systems (CPS). CPS tightly integrates discrete computing and continuous-time physical-world entities. It reshapes the way that humans interact with the physical world, and thus is believed to have deep social and economical impacts. As many CPS applications are mission/life critical, dependability is a top concern. To build dependable CPS, various fault prevention, fault tolerance, and fault removal measures are needed in the new context of CPS. In this thesis, we address several challenging issues on building dependable CPS. First, we propose a fault prevention solution to guarantee Proper-Temporal-Embedding (PTE) safety rules in wireless CPS. The proposed solution exploits the leasing design philosophy to tolerate arbitrary wireless communication failures, and support real-time temporal constraints. The proposed solution is validated by two case studies: one on medical CPS and the other on control CPS. The performance of our solution is also compared to a polling based solution. Simulation results show that our proposed solution achieves better user experience when wireless channel is benign or moderately adverse, and better resource usage in all scenarios. Second, we propose a cross-domain noise profiling framework for control CPS. The proposed framework plays a key role in control CPS dependability evaluation, an essential tool to CPS fault tolerance and fault removal. Key elements of this framework include a hybrid automata reachability based dependability metric, and a Lyapunov stability theory based benchmark shrinking strategy. Case studies are carried out to validate the proposed framework and showcase its usage.|
|Rights:||All rights reserved|
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: