From Schedules to Programs — Reimagining Networking Infrastructure for Future Cyber-Physical Systems
Authors: 
Md Kowsar Hossain, Ryan Brummet, Octav Chipara, Ted Herman, Steve GoddardAuthors Info & Claims
Md Kowsar Hossain, Ryan Brummet, Octav Chipara, Ted Herman, Steve GoddardAuthors Info & ClaimsPages 130 - 137
Abstract
Future cyber-physical systems will require higher capacity, meet more stringent real-time requirements, and adapt quickly to a broader range of network dynamics. However, the traditional approach of using fixed schedules to drive the operation of wireless networks has inherent limitations that make it unsuitable for these systems. As an alternative, we propose to replace schedules with domain-specific programs that coordinate the operation of the network. Our idea is that nodes in the network will run automatically generated programs that make informed decisions about flows at run time rather than using an a priori fixed schedule. We will sketch a domain-specific language that uses this additional flexibility to increase network capacity significantly. Furthermore, the constructed programs are also sufficiently simple to efficiently analyze key performance metrics such as flow response time and reliability. We conclude with future research directions.
References
[1]
[n.d.]. NSF Future Internet Design.http://www.nets-find.net/.
[2]
2012. IEEE Standard for Local and metropolitan area networks–Part 15.4: LR-WPANs. IEEE Std 802.15.4e-2012(2012).
[3]
Roberto Baldoni, Emilio Coppa, Daniele Cono D’elia, Camil Demetrescu, and Irene Finocchi. 2018. A survey of symbolic execution techniques. ACM Computing Surveys (CSUR) 51, 3 (2018), 1–39.
[4]
R. Brummet, O. Chipara, and T. Herman. 2020. Recorp: Receiver-Oriented Policies for Industrial Wireless Networks. In IoTDI.
[5]
Ryan Brummet, Md Kowsar Hossain, Octav Chipara, Ted Herman, and Steve Goddard. 2021. WARP: On-the-fly Program Synthesis for Agile, Real-time, and Reliable Wireless Networks. In Proceedings of the 20th International Conference on Information Processing in Sensor Networks (co-located with CPS-IoT Week 2021). 254–267.
[6]
Ryan Brummet, Md Kowsar Hossain, Octav Chipara, Ted Herman, and David E Stewart. 2021. Recorp: Receiver-Oriented Policies for Industrial Wireless Networks. ACM Transactions on Sensor Networks (TOSN) 17, 4 (2021), 1–32.
[7]
Richard Candell, Catherine A Remley, Jeanne T Quimby, David R Novotny, Alexandra E Curtin, Peter B Papazian, Galen H Koepke, Joseph E Diener, and Mohamed T Hany. 2017. Industrial Wireless Systems: Radio Propagation Measurements. Technical Note (NIST TN)-1951(2017).
[8]
Baotong Chen, Jiafu Wan, Lei Shu, Peng Li, Mithun Mukherjee, and Boxing Yin. 2017. Smart factory of industry 4.0: Key technologies, application case, and challenges. Ieee Access 6(2017), 6505–6519.
[9]
Octav Chipara, Chenyang Lu, Thomas C Bailey, and Gruia-Catalin Roman. 2010. Reliable clinical monitoring using wireless sensor networks: experiences in a step-down hospital unit. In SenSys.
[10]
Behnam Dezfouli, Marjan Radi, and Octav Chipara. 2017. REWIMO: A real-time and reliable low-power wireless mobile network. TOSN (2017).
[11]
Nick Feamster, Jennifer Rexford, and Ellen Zegura. 2014. The road to SDN: an intellectual history of programmable networks. ACM SIGCOMM Computer Communication Review 44, 2 (2014), 87–98.
[12]
Ken Ferens, Lily Woo, and Witold Kinsner. 2009. Performance of ZigBee networks in the presence of broadband electromagnetic noise. In CCECE.
[13]
A. Gonga, O. Landsiedel, P. Soldati, and M. Johansson. 2012. Revisiting Multi-channel Communication to Mitigate Interference and Link Dynamics in Wireless Sensor Networks. In ICDCS.
[14]
James Harbin, Alan Burns, Robert I Davis, Leandro Soares Indrusiak, Iain Bate, and David Griffin. 2019. The AirTight Protocol for Mixed Criticality Wireless CPS. TCPS (2019).
[15]
Ozlem Durmaz Incel. 2011. A survey on multi-channel communication in wireless sensor networks. Computer Networks (2011).
[16]
Ranjit Jhala and Rupak Majumdar. 2009. Software model checking. ACM Computing Surveys (CSUR) 41, 4 (2009), 1–54.
[17]
Chenyang Lu, Abusayeed Saifullah, Bo Li, Mo Sha, Humberto Gonzalez, Dolvara Gunatilaka, Chengjie Wu, Lanshun Nie, and Yixin Chen. 2015. Real-time wireless sensor-actuator networks for industrial cyber-physical systems. Proc. IEEE (2015).
[18]
Venkata Prashant Modekurthy, Abusayeed Saifullah, and Sanjay Madria. 2019. DistributedHART: A distributed real-time scheduling system for wirelesshart networks. In RTAS.
[19]
Marcelo Nobre, Ivanovitch Silva, and Luiz Affonso Guedes. 2015. Routing and scheduling algorithms for WirelessHART Networks: a survey. Sensors (2015).
[20]
Abusayeed Saifullah, You Xu, and Chenyang Lu. 2010. Real-Time Scheduling for WirelessHART Networks. In RTSS.
[21]
Yakir Vizel, Georg Weissenbacher, and Sharad Malik. 2015. Boolean satisfiability solvers and their applications in model checking. Proc. IEEE 103, 11 (2015), 2021–2035.
[22]
Tianyu Zhang, Tao Gong, Zelin Yun, Song Han, Qingxu Deng, and Xiaobo Sharon Hu. 2018. FD-PaS: A fully distributed packet scheduling framework for handling disturbances in real-time wireless networks. In RTAS.
Recommendations
Network Traffic Analysis in Software-Defined Networking Using RYU Controller
AbstractSoftware-Defined Networking (SDN) has emerged as a promising paradigm to enhance network control and management by decoupling the planes. With SDN, the centralized controller plays a critical role in managing network resources and traffic flows. ...
Software Defined Networking for Communication and Control of Cyber-Physical Systems
ICPADS '15: Proceedings of the 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS)Cyber-physical Systems (CPS) combine human-machine interaction, the physical world around us, and software aspects by integrating physical systems with communication networks. Opportunities and research challenges are largely interconnected with the ...
Future networking: reconfiguration heartland, challenge and revolution
ANCS '14: Proceedings of the tenth ACM/IEEE symposium on Architectures for networking and communications systemsIn the context of network systems I will discuss the limits of reconfigurable systems. To this end, I will draw on examples from architectural trends, the silicon roadmap in a post Moore's law era, along with recent directions in future networking. I ...
Comments
Information & Contributors
Information
Published In
December 2021
138 pages
ISBN:9781450387378
DOI:10.1145/3491371
Copyright © 2021 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 21 December 2021
Check for updates
Author Tags
Qualifiers
- Invited-talk
- Research
- Refereed limited
Conference
8th NSysS 2021
8th NSysS 2021: 8th International Conference on Networking, Systems and Security
December 21 - 23, 2021
Cox's Bazar, Bangladesh
Acceptance Rates
Overall Acceptance Rate 12 of 44 submissions, 27%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 53Total Downloads
- Downloads (Last 12 months)12
- Downloads (Last 6 weeks)1
Reflects downloads up to 09 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format