Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Advertisement

Springer Nature Link
Log in

Mapping imprecise computation tasks on cyber-physical systems

  • Published:
Peer-to-Peer Networking and Applications Aims and scope Submit manuscript

Abstract

By allocating a set of tasks onto a set of nodes and adjusting the execution time of tasks, task mapping is an efficient approach to realize distributed computing. Cyber-Physical Systems (CPS), as a particular case of distributed systems, raise new challenges in task mapping, because of the heterogeneity and other properties traditionally associated with Wireless Sensor and Actuator Networks (WSAN), including shared sensing, acting and real-time computing. In addition, many of the real-time tasks of CPS can be executed in an imprecise way. Such systems accept an approximate result as long as the baseline Quality-of-Service (QoS) is satisfied and they can execute more computations to yield better results, if more system resources is available. These systems are typically considered under the Imprecise Computation (IC) model, achieving a better tradeoff between QoS and limited system resources. However, determining a QoS-aware mapping of these real-time IC-tasks onto the nodes of a CPS creates a set of interesting problems. In this paper, we firstly propose a mathematical model to capture the dependency, energy and real-time constraints of IC-tasks, as well as the sensing, acting, and routing in the CPS. The problem is formulated as a Mixed-Integer Non-Linear Programming (MINLP) due to the complex nature of the problem. Secondly, to efficiently solve this problem, we provide a linearization method that results in a Mixed-Integer Linear Programming (MILP) formulation of our original problem. Finally, we decompose the transformed problem into a task allocation subproblem and a task adjustment subproblem, and, then, we find the optimal solution based on subproblem iteration. Through the simulations, we demonstrate the effectiveness of the proposed method.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7

Similar content being viewed by others

References

  1. Mo L, Cao XH, Song YQ, Kritikakou A (2018) Distributed node coordination for real-time energy-constrained control in wireless sensor and actuator networks. IEEE Internet Things J 5(5):151–4163

    Article  Google Scholar 

  2. Rusu C, Melhem R, Mosse D (2002) Maximizing the system value while satisfying time and energy constraints. In: Proc IEEE real-time systems symposium, pp 246–255

  3. Zhang H, Meng W, Qi J, Wang X, Zheng W (2019) Distributed load sharing under false data injection attack in inverter-based microgrid. IEEE Trans Ind Electron 66(2):1543–1551

    Article  Google Scholar 

  4. Tian Y, Ekici E (2006) Cross-layer collaborative in-network processing in multihop wireless sensor networks. IEEE Trans Mobile Comput 6(3):297–310

    Article  Google Scholar 

  5. Chen J, Hu K, Wang Q, Sun Y, Shi Z, He S (2017) Narrowband internet of things: implementations and applications. IEEE Internet Things J 4(6):2309–2314

    Article  Google Scholar 

  6. Zahaf H, Benyamina AEH, Olejnik R, Lipari G (2017) Energy-efficient scheduling for moldable real-time tasks on heterogeneous computing platforms. J Syst Archit 74:46–60

    Article  Google Scholar 

  7. Deng R, Lu R, Lai C, Luan TH, Liang H (2016) Optimal workload allocation in fog-cloud computing toward balanced delay and power consumption. IEEE Internet Things J 3(6):1171– 1181

    Google Scholar 

  8. Aydin H, Melhem R, Mosse D, Mejia-Alvarez P (2001) Optimal reward-based scheduling for periodic real-time tasks. IEEE Trans Comput 50(2):111–130

    Article  MathSciNet  MATH  Google Scholar 

  9. Mo L, Kritikakou A, Sentieys O (2017) Decomposed task mapping to maximize QoS in energy-constrained real-time multicores. In: Proc IEEE international conference on computer design, pp 493–500

  10. Liu JWS, Shih WK, Lin KJ, Bettati R, Chung JY (1994) Imprecise computations. Proc IEEE 82 (1):83–94

    Article  Google Scholar 

  11. Yu H, Ha Y, Veeravalli B (2013) Quality-driven dynamic scheduling for real-time adaptive applications on multiprocessor systems. IEEE Trans Comput 62(10):2026–2040

    Article  MathSciNet  MATH  Google Scholar 

  12. Leung L, Tsui C, Ki W (2003) Simultaneous task allocation, scheduling and voltage assignment for multiple-processors-core systems using mixed integer nonlinear programming. In: Proc IEEE international symposium on circuits and systems, pp 309–312

  13. Chen G, Huang K, Knoll A (2014) Energy optimization for real-time multiprocessor system-on-chip with optimal DVFS and DPM combination. ACM Trans Embed Comput Syst 13(3):111:1–111:21

    Google Scholar 

  14. Li D, Wu J (2015) Minimizing energy consumption for frame-based tasks on heterogeneous multiprocessor platforms. IEEE Trans Parallel Distrib Syst 26(3):810–823

    Article  Google Scholar 

  15. Chwa HS, Seo J, Lee J, Shin I (2015) Optimal real-time scheduling on two-type heterogeneous multicore platforms. In: Proc IEEE real-time systems symposium, pp 119–129

  16. Emeretlis A, Theodoridis G, Alefragis P, Voros N (2016) A logic-based Benders decomposition approach for mapping applications on heterogeneous multicore platforms. ACM Trans Embed Comput Syst 15(1):1539–9087

    Article  Google Scholar 

  17. Cortes LA, Eles P, Peng Z (2006) Quasi-static assignment of voltages and optional cycles in imprecise-computation systems with energy considerations. IEEE Trans Very Large Scale Integr Syst 14(10):1117–1129

    Article  Google Scholar 

  18. Ravindran RC, Krishna CM, Koren I, Koren Z (2014) Scheduling imprecise task graphs for real-time applications. Int J Embed Syst 6(1):73–85

    Article  Google Scholar 

  19. Mendez-Diaz I, Orozco J, Santos R, Zabala P (2017) Energy-aware scheduling mandatory/optional tasks in multicore real-time systems. Int Trans Oper Res 24(12):173–198

    Article  MathSciNet  MATH  Google Scholar 

  20. Mo L, Kritikakou A, Sentieys O (2018) Energy-quality-time optimized task mapping on DVFS-enabled multicores. IEEE Trans Comput-Aided Design Integr Circuits Syst 37(11):2428– 2439

    Article  Google Scholar 

  21. Wei T, Zhou J, Cao K, Cong P, Chen M, Zhang G, Hu XS, Yan J (2018) Cost-constrained QoS optimization for approximate computation real-time tasks in heterogeneous MPSoCs. IEEE Trans Comput-Aided Design Integr Circuits Syst 37(9):1733–1746

    Article  Google Scholar 

  22. Pathak A, Prasanna VK (2010) Energy-efficient task mapping for data-driven sensor network macroprogramming. IEEE Trans Comput 59(7):955–967

    Article  MathSciNet  MATH  Google Scholar 

  23. Voinescu A, Tudose DS, Tapus N (2010) Task scheduling in wireless sensor networks. In: Proceedings IEEE international conference on networking and services, pp 12–17

  24. Dai L, Chang Y, Chen Z (2011) An optimal task scheduling algorithm in wireless sensor networks. Int J Comput Commun Control 11(1):101–112

    Article  Google Scholar 

  25. Billet B, Issarny V (2014) From task graphs to concrete actions: a new task mapping algorithm for the future Internet of Things. In: Proceedings IEEE international conference on mobile ad hoc and sensor systems, pp 470–478

  26. Benders JF (1962) Partitioning procedures for solving mixed-variables programming problems. Numer Math 4(1):238–252

    Article  MathSciNet  MATH  Google Scholar 

  27. Zhang H, Qi Y, Wu J, Fu L, He L (2018) DoS, attack energy management against remote state estimation. IEEE Trans Control Netw Syst 5(1):383–394

    Article  MathSciNet  MATH  Google Scholar 

  28. Zhu Y, Zhong Z, Basin MV, Zhou D (2018) Descriptor system approach to stability and stabilization of discrete-time switched PWA systems. IEEE Trans Autom Control 63(10):3456–3463

    MathSciNet  MATH  Google Scholar 

  29. Zhou J, Zhou X, Sun J, Wei T, Chen M, Hu S, Hu XS (2018) Resource management for improving soft-error and lifetime reliability of real-time MPSoCs, IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. https://doi.org/10.1109/TCAD.2018.2883993

    Article  Google Scholar 

  30. Mo L, Kritikakou A, Sentieys O (2018) Controllable QoS for imprecise computation tasks on DVFS multicores with time and energy constraints. IEEE J Emerg Sel Topic Circuits Syst 8(4):708–721

    Article  Google Scholar 

  31. Zhou J, Wei T, Chen M, Yan J, Hu XS, Ma Y (2016) Thermal-aware task scheduling for energy minimization in heterogeneous real-time MPSoC systems. IEEE Trans Comput-Aided Design Integr Circuits Syst 35(8):1269–1282

    Article  Google Scholar 

  32. Akkaya K, Younis M (2005) A survey on routing protocols for wireless sensor networks. Ad Hoc Netw 3 (3):325–349

    Article  Google Scholar 

  33. Deng R, Xiao G, Lu R (2017) Defending against false data injection attacks on power system state estimation. IEEE Trans Ind Informat 13(1):198–207

    Article  Google Scholar 

  34. Boyd S, Vandenberghe L (2004) Convex optimization. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  35. Boyd S, Ghosh A, Magnani A (2007) Branch and bound methods, Notes for EE364b, Stanford University, pp 1–11

  36. Rothberg E (2007) An evolutionary algorithm for polishing mixed integer programming solutions. INFORMS J Comput 19(4):534–541

    Article  MATH  Google Scholar 

  37. Genova K, Guliashki V (2011) Linear integer programming methods and approaches - a survey. Cybernetics and Information Technologies 11(1):1–23

    MathSciNet  Google Scholar 

  38. Randazzo CD, Luna HPL (2001) A comparison of optimal methods for local access uncapacitated network design. Ann Oper Res 106(1):263–286

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

This research is funded by ANR ARTEFACT (AppRoximaTivE Flexible Circuits and Computing for IoT) project (Grant No. ANR-15-CE25-0015), and National Natural Science foundation of China (Grant No. 61403340).

Author information

Authors and Affiliations

  1. University of Rennes, INRIA, CNRS, IRISA, 35042, Rennes Cedex, France

    Lei Mo & Angeliki Kritikakou

Authors
  1. Lei Mo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Angeliki Kritikakou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lei Mo.

Additional information

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This article is part of the Topical Collection: Special Issue on Networked Cyber-Physical Systems

Guest Editors: Heng Zhang, Mohammed Chadli, Zhiguo Shi, Yanzheng Zhu, and Zhaojian Li

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mo, L., Kritikakou, A. Mapping imprecise computation tasks on cyber-physical systems. Peer-to-Peer Netw. Appl. 12, 1726–1740 (2019). https://doi.org/10.1007/s12083-019-00749-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12083-019-00749-9

Keywords

Search

Navigation