Please use this identifier to cite or link to this item:
http://hdl.handle.net/10397/61170
DC Field | Value | Language |
---|---|---|
dc.contributor | Department of Computing | en_US |
dc.creator | Tan, F | en_US |
dc.creator | Wang, Y | en_US |
dc.creator | Wang, Q | en_US |
dc.creator | Bu, L | en_US |
dc.creator | Suri, N | en_US |
dc.date.accessioned | 2016-12-19T08:55:01Z | - |
dc.date.available | 2016-12-19T08:55:01Z | - |
dc.identifier.issn | 1045-9219 | en_US |
dc.identifier.uri | http://hdl.handle.net/10397/61170 | - |
dc.language.iso | en | en_US |
dc.publisher | Institute of Electrical and Electronics Engineers | en_US |
dc.rights | © 2014 IEEE. Translations and content mining are permitted for academic research only. Personal use is also permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information. | en_US |
dc.rights | The following publication Tan, F., Wang, Y., Wang, Q., Bu, L., & Suri, N. (2014). A lease based hybrid design pattern for proper-temporal-embedding of wireless CPS interlocking. IEEE Transactions on Parallel and Distributed Systems, 26(10), 2630-2642. is available at https://dx.doi.org/10.1109/TPDS.2014.2358224 | en_US |
dc.subject | Automata | en_US |
dc.subject | Base stations | en_US |
dc.subject | Computers | en_US |
dc.subject | Lasers | en_US |
dc.subject | Pistons | en_US |
dc.subject | Safety | en_US |
dc.subject | Wireless communication | en_US |
dc.title | A lease based hybrid design pattern for proper-temporal-embedding of wireless CPS interlocking | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.spage | 2630 | en_US |
dc.identifier.epage | 2642 | en_US |
dc.identifier.volume | 26 | en_US |
dc.identifier.issue | 10 | en_US |
dc.identifier.doi | 10.1109/TPDS.2014.2358224 | en_US |
dcterms.abstract | Cyber-Physical Systems (CPS) integrate discrete-Time computing and continuous-Time physical-world entities, which are often wirelessly interlinked. The use of wireless safety-critical CPS requires safety guarantees despite communication faults. This paper focuses on one important set of such safety rules: Proper-Temporal-Embedding (PTE), where distributed CPS entities must enter/leave risky states according to properly nested temporal pattern and certain duration spacing. Our solution introduces hybrid automata to formally describe and analyze CPS design patterns. We propose a novel leasing based design pattern, along with closed-form configuration constraints, to guarantee PTE safety rules under arbitrary wireless communication faults. We propose a formal procedure to transform the design pattern hybrid automata into specific wireless CPS designs. This procedure can effectively isolate physical world parameters from affecting the PTE safety of the resultant specific designs. We conduct two wireless CPS case studies, one on medicine and the other on control, to show that the resulted system is safe against communication failures. We also compare our approach with a polling based approach. Both approaches support PTE under arbitrary communication failures. The polling approach performs better under severely adverse wireless medium conditions; while ours performs better under benign or moderately adverse wireless medium conditions. | en_US |
dcterms.accessRights | open access | en_US |
dcterms.bibliographicCitation | IEEE transactions on parallel and distributed systems, 1 Oct. 2015, v. 26, no. 10, 6898840, p. 2630-2642 | en_US |
dcterms.isPartOf | IEEE transactions on parallel and distributed systems | en_US |
dcterms.issued | 2015-10-01 | - |
dc.identifier.scopus | 2-s2.0-84961771759 | - |
dc.identifier.eissn | 1558-2183 | en_US |
dc.identifier.rosgroupid | 2015002098 | - |
dc.description.ros | 2015-2016 > Academic research: refereed > Publication in refereed journal | en_US |
dc.description.oa | Accepted Manuscript | en_US |
dc.identifier.FolderNumber | a0627-n01, a0631-n01 | - |
dc.identifier.SubFormID | 630 | - |
dc.description.fundingSource | RGC | en_US |
dc.description.fundingSource | Others | en_US |
dc.description.fundingText | RGC: RGC ECS PolyU 5328/12E, RGC GRF PolyU 5245/09E, DAAD/RGC Germany/HK Joint Research Scheme G_HK022/12||Others: A-PJ68, A-PJ80, A-PK46, A-PL82, G-YN37, China National Key Basic Research Program of China2014CB340703, China NSFC 91318301, China NSFC 61321491, China NSFC 61100036, TUD CASED | en_US |
dc.description.pubStatus | Published | en_US |
Appears in Collections: | Journal/Magazine Article |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
a0627-n01_TPDS2015_BW_OCR_9MB.pdf | Pre-Published version | 8.12 MB | Adobe PDF | View/Open |
Page views
156
Last Week
1
1
Last month
Citations as of Apr 21, 2024
Downloads
94
Citations as of Apr 21, 2024
SCOPUSTM
Citations
9
Last Week
0
0
Last month
Citations as of Apr 19, 2024
WEB OF SCIENCETM
Citations
8
Last Week
0
0
Last month
Citations as of Apr 25, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.