Full metadata record
DC FieldValueLanguage
dc.contributorDepartment of Computingen_US
dc.contributor.advisorWang, Qixin (COMP)-
dc.creatorTan, Feng-
dc.publisherHong Kong Polytechnic University-
dc.rightsAll rights reserveden_US
dc.titleToward dependable cyber-physical systems : a study on design pattern and evaluation methodologyen_US
dcterms.abstractPeople 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.en_US
dcterms.extentxviii, 138 pages : illustrationsen_US
dcterms.isPartOfPolyU Electronic Thesesen_US
dcterms.educationalLevelAll Doctorateen_US
dcterms.LCSHCooperating objects (Computer systems)en_US
dcterms.LCSHHong Kong Polytechnic University -- Dissertationsen_US
dcterms.accessRightsopen accessen_US

Files in This Item:
File Description SizeFormat 
b29011991.pdfFor All Users3.65 MBAdobe PDFView/Open

Copyright Undertaking

As a bona fide Library user, I declare that:

  1. I will abide by the rules and legal ordinances governing copyright regarding the use of the Database.
  2. 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.
  3. 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.

Show simple item record

Please use this identifier to cite or link to this item: https://theses.lib.polyu.edu.hk/handle/200/8530