Abstract
A distributed cyber-physical system (DCPS) may receive and induce energy-based interference to and from its environment. This article presents a model and an associated methodology that can be used to (i) schedule tasks in DCPSs to ensure that the thermal effects of the task execution are within acceptable levels, and (ii) verify that a given schedule meets the constraints. The model uses coarse discretization of space and linearity of interference. The methodology involves characterizing the interference of the task execution and fitting it into the model, then using the fitted model to verify a solution or explore the solution space.
- Adelstein, F., Gupta, S. K. S., Richard III, G. G., and Schwiebert, L. 2005. Fundamentals of Mobile and Pervasive Computing. McGraw-Hill, New York, NY.Google Scholar
- Arora, A., Dutta, P., Bapat, S., Kulathumani, V., Zhang, H., Naik, V., Mittal, V., Cao, H., Demirbas, M., Gouda, M., Choi, Y., Herman, T., Kulkarni, S., Arumugam, U., Nesterenko, M., Vora, A., and Miyashita, M. 2004. A line in the sand: A wireless sensor network for target detection, classification, and tracking. Comput. Netw. 46, 5, 605--634. Military Communications Systems and Technologies. Google Scholar
Digital Library
- Banerjee, A., Kandula, S., Mukherjee, T., and Gupta, S. K. S. 2010. BAND-AiDe: A tool for cyber-physical oriented analysis and design of body area networks and devices. ACM Trans. Embed. Comput. Syst., Special Issue on Wireless Health Systems. Forthcoming. Google Scholar
Digital Library
- Bash, C. and Forman, G. 2007. HPL-2007-62 cool job allocation: Measuring the power savings of placing jobs at cooling-efficient locations in the data center. Tech. rep. HPL-2007-62, HP Laboratories Palo Alto, CA.Google Scholar
- Bujorianu, M. C., Bujorianu, M. L., and Barringer, H. 2009. A unifying specification logic for cyber-physical systems. In Proceedings of the 17th Mediterranean Conference on Control and Automation (MED’09). IEEE Computer Society, Los Alamitos, CA, 1166--1171. Google Scholar
Digital Library
- Donald, J. and Martonosi, M. 2006. Techniques for multicore thermal management: Classification and new exploration. SIGARCH Comput. Archit. News 34, 2, 78--88. Google Scholar
Digital Library
- Dutta, P., Grimmer, M., Arora, A., Bibyk, S., and Culler, D. 2005. Design of a wireless sensor network platform for detecting rare, random, and ephemeral events. In Proceedings of the 4th International Conference on Information Processing in Sensor Networks (IPSN’05). Google Scholar
Digital Library
- Fulford-Jones, T. R. F., Wei, G.-Y., and Welsh, M. 2004. A portable, low-power, wireless two-lead ekg system. In Proceedings of the 26th IEEE EMBS Annual International Conference.Google Scholar
- Gill, C. D. and Niehaus, D. 2006. Towards system software platforms for cyber-physical systems (Position Paper). In Proceedings of the NSF Cyber-Physical Systems Workshop.Google Scholar
- Ilic, M., Xie, L., Khan, U., and Moura, J. 2008. Modeling future cyber-physical energy systems. In Proceedings of the IEEE Power and Energy Society General Meeting---Conversion and Delivery of Electrical Energy in the 21st Century. 1--9.Google Scholar
- Jiang, W., Xiong, G., and Ding, X. 2008. Energy-saving service scheduling for low-end cyber-physical systems. In Proceedings of the 9th International Conference for Young Computer Scientists (ICYCS’08). 1064--1069. Google Scholar
Digital Library
- Lee, E. A. 2006. Cyber-physical systems: Are computing foundations adequate? (Position Paper). In Proceedings of the NSF Cyber-Physical Systems Workshop.Google Scholar
- Lee, E. A. 2008. Cyber physical systems: Design challenges. In Proceedings of the 11th IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’08). IEEE Computer Society, Los Alamitos, CA. 363--369. Google Scholar
Digital Library
- Moore, J., Chase, J., and Ranganathan, P. 2006. Weatherman: Automated, online and predictive thermal mapping and management for data centers. In Proceedings of the IEEE International Conference on Autonomic Computing (ICAC’06). 155--164. Google Scholar
Digital Library
- Mukherjee, T. and Gupta, S. K. S. 2009. CRET: A crisis response evaluation tool to improve crisis preparednesss. In Proceedings of the International Conference on Technologies for Homeland Security.Google Scholar
- Mukherjee, T., Varsamopoulos, G., Gupta, S. K. S., and Rungta, S. 2007. Measurement-based power profiling of data center equipment. In Proceedings of the IEEE Conference on Clustered and Grid Computing (Cluster’07), Workshop on Green Computing (GreenCom’07). Google Scholar
Digital Library
- Mukherjee, T., Banerjee, A., Varsamopoulos, G., Gupta, S. K. S., and Rungta, S. 2009. Spatio-temporal thermal-aware job scheduling to minimize energy consumption in virtualized heterogeneous data centers. Comput. Netw. 53, 17, 2888--2904. Virtualized Data Centers. Google Scholar
Digital Library
- Pinedo, M. L. 2008. Scheduling: Theory, Algorithms, and Systems, 3rd Ed. Springer, Berlin, Chapter 2. Deterministic Models: Preliminaries, 13--19. Google Scholar
Digital Library
- Porter, J., Karsai, G., and Sztipanovits, J. 2009. Towards a time-triggered schedule calculation tool to support model-based embedded software design. In Proceedings of the 7th ACM International Conference on Embedded Software (EMSOFT’09). ACM, New York, NY, 167--176. Google Scholar
Digital Library
- Schwiebert, L., Gupta, S. K. S., and Weinmann, J. 2001. Research challenges in wireless networks of biomedical sensors. In Proceedings of the 7th Annual International Conference on Mobile Computing and Networking (MobiCom’01). ACM, New York, NY, 151--165. Google Scholar
Digital Library
- Sentilles, S., Vulgarakis, A., TomášBureš, Carlson, J., and Crnković, I. 2008. A component model for control-intensive distributed embedded systems. In Proceedings of the 11th International Symposium on Component-Based Software Engineering (CBSE’08). 310--317. Google Scholar
Digital Library
- Sharma, R. K., Bash, C. E., and Patel, C. D. 2002. Dimensionless parameters for evaluation of thermal design and performance of large scale data centers. In Proceedings of the American Institute of Aeronautics and Astronautics (AIAA). 3091.Google Scholar
- Springer, R., Lowenthal, D. K., Rountree, B., and Freeh, V. W. 2006. Minimizing execution time in MPI programs on an energy-constrained, power-scalable cluster. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP’06). 230--238. Google Scholar
Digital Library
- Sun, Y., McMillin, B., Liu, X. F., and Cape, D. 2007. Verifying noninterference in a cyber-physical system the advanced electric power grid. In Proceedings of the 7th International Conference on Quality Software (QSIC’07). IEEE Computer Society, Los Alamitos, CA, 363--369. Google Scholar
Digital Library
- Sztipanovits, J. 2007. Composition of cyber-physical systems. In Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS’07). 3--6. Google Scholar
Digital Library
- Tan, Y., Vuran, M. C., and Goddard, S. 2009. Spatio-temporal event model for cyber-physical systems. In Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS Workshops’09). IEEE Computer Society, Los Alamitos, CA, 44--50. Google Scholar
Digital Library
- Tang, Q., Tummala, N., Gupta, S. K. S., and Schwiebert, L. 2005. Communication scheduling to minimize thermal effects of implanted biosensor networks in homogeneous tissue. IEEE Trans. Biomed. Eng. 52, 7, 1285--1294.Google Scholar
Cross Ref
- Tang, Q., Mukherjee, T., Gupta, S. K. S., and Cayton, P. 2006. Sensor-based fast thermal evaluation model for energy efficient high-performance datacenters. In Proceedings of the International Conference on Intelligent Sensing and Informal Processing (ICISIP’06). 203--208.Google Scholar
- Tang, Q., Gupta, S. K. S., and Varsamopoulos, G. 2007. Thermal-aware task scheduling for data centers through minimizing heat recirculation. In Proceedings of the IEEE Cluster Conference. Google Scholar
Digital Library
- Tang, Q., Varsamopoulos, G., and Gupta, S. K. S. 2008. Thermal-aware task scheduling for data centers through minimizing peak inlet temperature. IEEE Trans. Parallel Distrib. Syst., Special Issue on Power-Aware Parallel and Distributed Systems (TPDS/PAPADS) 19, 11, 1458--1472. Google Scholar
Digital Library
- Wolf, W. 2009. Cyber-physical systems. Computer 42, 3, 88--89. Google Scholar
Digital Library
- Xue, C., Xing, G., Yuan, Z., Shao, Z., and Sha, E. 2009. Joint sleep scheduling and mode assignment in wireless cyber-physical systems. In Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS Workshops’09). 1--6. Google Scholar
Digital Library
- Zhang, F., Szwaykowska, K., Wolf, W., and Mooney, V. 2008. Task scheduling for control oriented requirements for cyber-physical systems. In Proceedings of the Real-Time Systems Symposium. 47--56. Google Scholar
Digital Library
Index Terms
A Unified Methodology for Scheduling in Distributed Cyber-Physical Systems
Recommendations
Task Scheduling in Cyber-Physical Systems
UIC-ATC-SCALCOM '14: Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom)Task scheduling in Cyber-Physical System (CPS) is of vital importance to increase resource utilization and enhance system performance. Conventional task scheduling schemes in embedded real-time systems are unable to satisfy performance requirements of ...
Multi-layered scheduling of mixed-criticality cyber-physical systems
In this paper, we deal with the schedule synthesis problem of mixed-criticality cyber-physical systems (MCCPS), which are composed of hard real-time tasks and feedback control tasks. The real-time tasks are associated with deadlines that must always be ...
Towards a Unified Framework for Cyber-Physical Systems (CPS)
CDEE '10: Proceedings of the 2010 First ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded SystemsCyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today's computing and ...






Comments