TY - GEN
T1 - Designing cyber-physical systems middleware for smart cities applications
AU - Gujrati, Sumeet
AU - Zhu, Huang
AU - Singh, Gurdip
N1 - Funding Information:
This work was supported in part by NSF grant 1720579.
Funding Information:
The development of cyber-physical systems is important for effective implementation of technologies for smart cities applications. This paper described a model for cyber-physical systems that presents graph-based formalisms for both cyber and physical subsystems. This model provides the basis to extend algorithms for traditional distributed systems for CPSs. We identified several challenges and open problems that must be addressed in order to make this extension of algorithms to apply for CPSs. Acknowledgement: This work was supported in part by NSF grant 1720579. 5. References [1] P. Fuhrer and D. Guinard, Building a Smart Hospital using RFID technologies, European Conference on eHealth, October 12-13 2006. [2] L. Lamport, Time, clocks, and the ordering of events in a distributed System, Vol 21, 1978. [3] K.M. Chandy and L. Lamport, Distributed Snapshots: Determining Global states in Distributed Systems, ACM Transaction on Computing Systems, 3(1), July,1985. [4] L. Kaveti, S. Pulluri and G. Singh, Event Ordering in Pervasive Sensor Networks, IEEE Workshop on Sensor Network and Systems for Pervasive Computing, March 2009. [5] R. Gummadi, O. Gnawali and R. Govindan, Macro-programming Wireless Sensor Networks using Kairos, DCOSS , 2005 [6] S. Gujrati and G. Singh, Mutual Exclusion in Cyber-Physical Systems, Int’l Conference on Sensor Networks, Rome, Feb 2012. [7] J. Walter, G. Cao, and M. Mohanty, M., A k-mutual exclusion algorithm for wireless ad hoc networks. First Annual Workshop on Principles of Mobile Computing, 2001. [8] V. Rajamani and C. Julien, Blurring snapshots: Temporal inference of missing and uncertain data, PerCom, 2010. [9] Y. Bi, L. Sun, H. Zhu, T. Yan, and Z. Luo, A Parking Management System Based on Wireless Sensor Networks, Acta Automatica Sinica, 2006. [10] G. Hackmann, C. Gill and G. Roman, “Towards a Real-Time Coordination Model for Mobile Computing”, Monterey Workshop, Laguna Beach, CA, September 22-24, 2005. [11] D. Cheriton and D. Skeen, Understanding the limitations of causally and totally ordered communication, ACM Symposium on Operating Systems Principles, 1993
Publisher Copyright:
© 2018 Association for Computing Machinery.
PY - 2018/1/4
Y1 - 2018/1/4
N2 - The development of cyber-physical systems is crucial for effective implementation of technologies for smart cities applications. Middleware algorithms have been studied extensively for traditional distributed systems. It is natural to leverage the existing work by extending these traditional algorithms to apply to cyber-physical systems. This paper presents a number of challenges that must be addressed in extending traditional algorithms for cyber-physical systems. First, since traditional algorithms view the underlying networked system as a graph, we present a model for cyber-physical systems that formalizes various aspects of both the cyber-and the physical system in terms of graphs. Second, we identify challenges to be addressed in extending traditional algorithms to CPS for the proposed graph-based models.
AB - The development of cyber-physical systems is crucial for effective implementation of technologies for smart cities applications. Middleware algorithms have been studied extensively for traditional distributed systems. It is natural to leverage the existing work by extending these traditional algorithms to apply to cyber-physical systems. This paper presents a number of challenges that must be addressed in extending traditional algorithms for cyber-physical systems. First, since traditional algorithms view the underlying networked system as a graph, we present a model for cyber-physical systems that formalizes various aspects of both the cyber-and the physical system in terms of graphs. Second, we identify challenges to be addressed in extending traditional algorithms to CPS for the proposed graph-based models.
UR - http://www.scopus.com/inward/record.url?scp=85045736901&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85045736901&partnerID=8YFLogxK
U2 - 10.1145/3170521.3170532
DO - 10.1145/3170521.3170532
M3 - Conference contribution
AN - SCOPUS:85045736901
T3 - ACM International Conference Proceeding Series
BT - Proceedings of the Workshop Program of the 19th International Conference, ICDCN 2018
PB - Association for Computing Machinery
T2 - 19th International Conference on Distributed Computing and Networking, ICDCN 2018
Y2 - 4 January 2018 through 7 January 2018
ER -