Please use this identifier to cite or link to this item:
http://hdl.handle.net/10397/61170
Title: | A lease based hybrid design pattern for proper-temporal-embedding of wireless CPS interlocking | Authors: | Tan, F Wang, Y Wang, Q Bu, L Suri, N |
Issue Date: | 1-Oct-2015 | Source: | IEEE transactions on parallel and distributed systems, 1 Oct. 2015, v. 26, no. 10, 6898840, p. 2630-2642 | 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. | Keywords: | Automata Base stations Computers Lasers Pistons Safety Wireless communication |
Publisher: | Institute of Electrical and Electronics Engineers | Journal: | IEEE transactions on parallel and distributed systems | ISSN: | 1045-9219 | EISSN: | 1558-2183 | DOI: | 10.1109/TPDS.2014.2358224 | 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. 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 |
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 18, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.