Advertisement

Mapping imprecise computation tasks on cyber-physical systems

  • Lei MoEmail author
  • Angeliki Kritikakou
Article
  • 8 Downloads
Part of the following topical collections:
  1. Special Issue on Networked Cyber-Physical Systems

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.

Keywords

Cyber-physical systems Task mapping Imprecise computation Problem linearization and decomposition 

Notes

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

References

  1. 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–4163Google Scholar
  2. 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–255Google Scholar
  3. 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–1551Google Scholar
  4. 4.
    Tian Y, Ekici E (2006) Cross-layer collaborative in-network processing in multihop wireless sensor networks. IEEE Trans Mobile Comput 6(3):297–310Google Scholar
  5. 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–2314Google Scholar
  6. 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–60Google Scholar
  7. 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– 1181Google Scholar
  8. 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–130MathSciNetzbMATHGoogle Scholar
  9. 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–500Google Scholar
  10. 10.
    Liu JWS, Shih WK, Lin KJ, Bettati R, Chung JY (1994) Imprecise computations. Proc IEEE 82 (1):83–94Google Scholar
  11. 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–2040MathSciNetzbMATHGoogle Scholar
  12. 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–312Google Scholar
  13. 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:21Google Scholar
  14. 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–823Google Scholar
  15. 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–129Google Scholar
  16. 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–9087Google Scholar
  17. 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–1129Google Scholar
  18. 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–85Google Scholar
  19. 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–198MathSciNetzbMATHGoogle Scholar
  20. 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– 2439Google Scholar
  21. 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–1746Google Scholar
  22. 22.
    Pathak A, Prasanna VK (2010) Energy-efficient task mapping for data-driven sensor network macroprogramming. IEEE Trans Comput 59(7):955–967MathSciNetzbMATHGoogle Scholar
  23. 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–17Google Scholar
  24. 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–112Google Scholar
  25. 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–478Google Scholar
  26. 26.
    Benders JF (1962) Partitioning procedures for solving mixed-variables programming problems. Numer Math 4(1):238–252MathSciNetzbMATHGoogle Scholar
  27. 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–394MathSciNetzbMATHGoogle Scholar
  28. 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–3463MathSciNetzbMATHGoogle Scholar
  29. 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
  30. 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–721Google Scholar
  31. 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–1282Google Scholar
  32. 32.
    Akkaya K, Younis M (2005) A survey on routing protocols for wireless sensor networks. Ad Hoc Netw 3 (3):325–349Google Scholar
  33. 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–207Google Scholar
  34. 34.
    Boyd S, Vandenberghe L (2004) Convex optimization. Cambridge University Press, CambridgezbMATHGoogle Scholar
  35. 35.
    Boyd S, Ghosh A, Magnani A (2007) Branch and bound methods, Notes for EE364b, Stanford University, pp 1–11Google Scholar
  36. 36.
    Rothberg E (2007) An evolutionary algorithm for polishing mixed integer programming solutions. INFORMS J Comput 19(4):534–541zbMATHGoogle Scholar
  37. 37.
    Genova K, Guliashki V (2011) Linear integer programming methods and approaches - a survey. Cybernetics and Information Technologies 11(1):1–23MathSciNetGoogle Scholar
  38. 38.
    Randazzo CD, Luna HPL (2001) A comparison of optimal methods for local access uncapacitated network design. Ann Oper Res 106(1):263–286MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.University of Rennes, INRIA, CNRS, IRISARennes CedexFrance

Personalised recommendations