Abstract
Networked cyber-physical systems are fundamentally constrained by the tight coupling and closed-loop control of physical processes. To address actuation in such closed-loop wireless control systems there is a strong need to rethink the communication architectures and protocols for reliability, coordination, and control. We introduce the Embedded Virtual Machine (EVM), a programming abstraction where controller tasks with their control and timing properties are maintained across physical node boundaries and functionality is capable of migrating to the most competent set of physical controllers. In the context of process and discrete control, an EVM is the distributed runtime system that dynamically selects primary-backup sets of controllers given spatial and temporal constraints of the underlying wireless network. EVM-based algorithms allow network control algorithms to operate seamlessly over less reliable wireless networks with topological changes. They introduce new capabilities such as predictable outcomes during sensor/actuator failure, adaptation to mode changes, and runtime optimization of resource consumption. An automated design flow from Simulink to platform-independent domain-specific languages, and subsequently, to platform-dependent code generation is presented. Through case studies in discrete and process control we demonstrate the capabilities of EVM-based wireless network control systems.
- Alur, R., D'Innocenzo, A., Johansson, K. H., Pappas, G. J., and Weiss, G. 2009. Modeling and analysis of multi-hop control networks. In Proceedings of the 15th IEEE Symposium on Real-Time and Embedded Technology and Applications (RTAS'09). 223--232. Google Scholar
Digital Library
- Bhatti, S., Carlson, J., Dai, H., Deng, J., Rose, J., Sheth, A., Shucker, B., Gruenwald, C., Torgerson, A., and Han, R. 2005. MANTIS OS: An embedded multithreaded operating system for wireless micro sensor platforms. Mobile Netw. Appl. 10, 4, 563--579. Google Scholar
Digital Library
- Böhme, T., Göring, F., and Harant, J. 2001. Menger's theorem. J. Graph Theory, 37, 1, 35--36. Google Scholar
Digital Library
- Brown, M., Gilbert, S., Lynch, N., Newport, C., Nolte, T., and Spindel, M. 2007. The virtual node layer: A programming abstraction for wireless sensor networks. SIGBED Rev. 4, 3, 7--12. Google Scholar
Digital Library
- Cao, Q., Abdelzaher, T., Stankovic, J., and He, T. 2008. The liteos operating system: Towards unix-like abstractions for wireless sensor networks. In Proceedings of the 7th International Conference on Information Processing in Sensor Networks (IPSN'08). 233--244. Google Scholar
Digital Library
- Cervin, A., Eker, J., Bernhardsson, B., and Arzen, K. E. 2002. Feedback feedforward scheduling of control tasks. Real-Time Syst. J. 23, 1-2, 25--53. Google Scholar
Digital Library
- Conklin, E. K. and Rather, E. D. 2007. FORTH Programmer's Handbook. FORTH Inc. Google Scholar
Digital Library
- Dunkels, A., Gronvall, B., and Voigt, T. 2004. Contiki - a lightweight and flexible operating system for tiny networked sensors. In Proceedings of the 29th Annual IEEE International Conference on Local Computer Networks (LCN'04). 455--462. Google Scholar
Digital Library
- EVM. 2009. website - http://mlab.seas.upenn.edu/evm.Google Scholar
- Fu, Z., Mahajan, Y., and Malik, S. 2004. New Features of SAT'04 version of zChaff. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing.Google Scholar
- Graham, S., Baliga, G., and Kumar, P. 2009. Abstractions, architecture, mechanisms, and a middleware for networked control. IEEE Trans. Autom. Control 54, 7, 1490--1503.Google Scholar
Cross Ref
- Gummadi, R., Gnawali, O., and Govindan, R. 2005. Macro-Programming wireless sensor networks using kairos. In Distributed Computing in Sensor Systems. Springer, Berlin, 126--140. Google Scholar
Digital Library
- Gupta, V., Dana, A., Hespanha, J., Murray, R. M., and Hassibi, B. 2009. Data transmission over networks for estimation and control. IEEE Trans. Autom. Control 54, 8, 1807--1819.Google Scholar
Cross Ref
- Han, C.-C., Kumar, R., Shea, R., Kohler, E., and Srivastava, M. 2005. A dynamic operating system for sensor nodes. In Proceedings of the 3rd International Conference on Mobile Systems, Applications, and Services (MobiSys'05). ACM, 163--176. Google Scholar
Digital Library
- HART. 2007. Field communication protocol specification, Rev 7. http: //www.hartcom.org/.Google Scholar
- Hespanha, J. P., Naghshtabrizi, P., and Xu, Y. 2007. A survey of recent results in networked control systems. Proc. IEEE 95, 1, 138--162.Google Scholar
Cross Ref
- Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., and Pister, K. 2000. System architecture directions for networked sensors. SIGPLAN Not. 35, 11, 93--104. Google Scholar
Digital Library
- Jalote, P. 1994. Fault Tolerance in Distributed Systems. Prentice-Hall. Google Scholar
Digital Library
- Kopetz, H. and Bauer, G. 2003. The time-triggered architecture. Proc. IEEE 91, 1, 112--126.Google Scholar
Cross Ref
- Lee, P. A. and Anderson, T. 1990. Fault Tolerance - Principles and Practice. Springer. Google Scholar
Digital Library
- Levis, P. and Culler, D. 2002. Maté: a tiny virtual machine for sensor networks. SIGARCH Comput. Archit. News 30, 5, 85--95. Google Scholar
Digital Library
- Lewin, D. R. 2009. Using Process Simulators in Chemical Engineering: A Multimedia Guide For The Core Curriculum. Wiley.Google Scholar
- Liu, J. 2000. Real-Time Systems. Prentice Hall.Google Scholar
- Lorincz, K., Chen, B.-r., Waterman, J., Werner-Allen, G., and Welsh, M. 2008. Resource aware programming in the pixie os. In Proceedings of the 6th ACM Conference on Embedded Network Sensor Systems (SenSys'08). ACM, 211--224. Google Scholar
Digital Library
- Mangharam, R. and Pajic, M. 2009. Embedded virtual machines for robust wireless control systems. In Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'09). 38--43. Google Scholar
Digital Library
- Mangharam, R., Rowe, A., and Rajkumar, R. 2007. FireFly: A cross-layer platform for real-time embedded wireless networks. Real-Time Syst. J. 37, 3, 183--231. Google Scholar
Digital Library
- MathWorks. 2010. Simulink documentation. www.mathworks.com/access/helpdesk/help/toolbox/simulink.Google Scholar
- Müller, R., Alonso, G., and Kossmann, D. 2007. A virtual machine for sensor networks. In Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys'07). 145--158. Google Scholar
Digital Library
- nanoRK. 2010. Sensor RTOS. http://www.nanork.org.Google Scholar
- Newton, R., Morrisett, G., and Welsh, M. 2007. The regiment macroprogramming system. In Proceedings of the 6th International Conference on Information Processing in Sensor Networks (IPSN'07). 489--498. Google Scholar
Digital Library
- Nielsen Research. 2006. Downtime Costs Auto Industry. Nielsen Research.Google Scholar
- Pajic, M. and Mangharam, R. 2009. Embedded Virtual Machines: Technical Report.Google Scholar
- Pajic, M. and Mangharam, R. 2010. Embedded virtual machines for robust wireless control and actuation. In Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'10). 79--88. Google Scholar
Digital Library
- Pajic, M., Sundaram, S., Le Ny, J., Mangharam, R., and Pappas, G. J. 2010. The wireless control network: Synthesis and robustness. In Proceedings of the 49th IEEE Conference on Decision and Control.Google Scholar
- Prett, D. and Morari, M. 1986. The shell process control workshop. Butterworths.Google Scholar
- Real, J. and Crespo, A. 2004. Mode change protocols for real-time systems: a survey and a new proposal. Real-Time Syst. J. 26, 2, 161--197. Google Scholar
Digital Library
- Robinson, C. and Kumar, P. 2008. Optimizing controller location in networked control systems with packet drops. IEEE J. Select. Areas Comm. 26, 4, 661--671. Google Scholar
Digital Library
- Rowe, A., Mangharam, R., and Rajkumar, R. 2008. RT-Link: A global time-synchronized link protocol for sensor networks. Ad Hoc Netw. 6, 8, 1201--1220. Google Scholar
Digital Library
- Schrijver, A. 1998. Theory of Linear and Integer Programming. John Wiley & Sons. Google Scholar
Digital Library
- Sha, L., Rajkumar, R., Lehoczky, J., and Ramamritham, K. 1989. Mode change protocols for priority-driven preemptive scheduling. Real-Time Syst. J. 1, 3, 126--140.Google Scholar
Cross Ref
- Stanley-Marbell, P. and Iftode, L. 2000. Scylla: A smart virtual machine for mobile embedded systems. In Proceedings of the 3rd IEEE Workshop on Mobile Computing Systems and Applications (WMCSA'00). 41--50. Google Scholar
Digital Library
- Welsh, M. and Mainland, G. 2004. Programming sensor networks using abstract regions. In Proceedings of the 1st Conference on Symposium on Networked Systems Design and Implementation (NSDI'04). Google Scholar
Digital Library
- Willig, A., Matheus, K., and Wolisz, A. 2005. Wireless technology in industrial networks. In Proc. IEEE 93, 6, 1130--1151.Google Scholar
Cross Ref
- Yang, B., Zheng, S., and Lu, E. 2005. Finding two disjoint paths in a network with α+-min-sum objective function. In Algorithms and Computation. Lecture Notes in Computer Science, 954--963. Google Scholar
Digital Library
- Zhang, W., Branicky, M., and Phillips, S. 2001. Stability of networked control systems. IEEE Control Syst. Mag. 21, 1, 84--99.Google Scholar
Cross Ref
Index Terms
Robust architectures for embedded wireless network control and actuation
Recommendations
Embedded Virtual Machines for Robust Wireless Control Systems
ICDCSW '09: Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems WorkshopsEmbedded wireless networks have largely focused on open loop sensing and monitoring. To address actuation in closed loop wireless control systems there is a strong need to re-think the communication architectures and protocols for reliability, ...
Embedded Virtual Machines for Robust Wireless Control and Actuation
RTAS '10: Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications SymposiumEmbedded wireless networks have largely focused on open-loop sensing and monitoring. To address actuation in closed-loop wireless control systems there is a strong need to re-think the communication architectures and protocols for reliability, ...
Fault Tolerant Clustering in Dense Wireless Sensor Networks
ICNC '11: Proceedings of the 2011 Second International Conference on Networking and ComputingWireless Sensor Networks are an important focus of research in distributed computing due to their many envisioned applications. Self-organizing these networks using clustering algorithms has been studied extensively in the literature as a means to ...






Comments