A Unified Methodology for Scheduling in Distributed Cyber-Physical Systems-Reference-Cited by-同舟云学术

A Unified Methodology for Scheduling in Distributed Cyber-Physical Systems

Published:2012-08 Issue:S2 Volume:11 Page:1-25
ISSN:1539-9087
Container-title:ACM Transactions on Embedded Computing Systems
language:en
Short-container-title:ACM Trans. Embed. Comput. Syst.

Author:

Tang Qinghui¹,Gupta Sandeep K. S.²,Varsamopoulos Georgios²

Affiliation:

1. Texas Instruments

2. Arizona State University

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.

Funder

Division of Computer and Network Systems

Publisher

Association for Computing Machinery (ACM)

Subject

Hardware and Architecture,Software

Link

https://dl.acm.org/doi/pdf/10.1145/2331147.2331167

Reference33 articles.

1. 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. 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.

2. A line in the sand: a wireless sensor network for target detection, classification, and tracking

3. BAND-AiDe

4. 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. 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.

5. A unifying specification logic for cyber-physical systems

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Scheduling in Real-Time Mobile Systems;ACM Transactions on Embedded Computing Systems;2022-05-28

2. Analyzing Isolation in Mobile Systems;Information Technology and Control;2021-12-16

3. Towards energy-aware cloud-oriented cyber-physical therapy system;Future Generation Computer Systems;2020-04

4. Isolation Modeling and Analysis Based on Mobility;ACM Transactions on Software Engineering and Methodology;2019-04-09

5. Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems;Formal Techniques for Distributed Objects, Components, and Systems;2019