Skip to main content
SpringerLink
Log in

Maintaining temporal validity of real-time data in component-based systems

  • Regular Paper
  • Published:
Computing Aims and scope Submit manuscript

Abstract

How to schedule the sensor transactions to maintain the temporal validity of real-time data is an important research issue for cyber-physical systems. Current studies on sensor transaction scheduling assume that the sensor transactions are executed on a platform with continuous resource supply. This assumption does not hold for component-based systems where each component’s transactions obtain a fraction of the resources that are usually supplied by the underlying platform in a non-continuous manner. In this paper, we study the problem of scheduling sensor transactions in component-based systems. The sensor transactions are assumed to be executed in one component of the system that is deployed on a multiprocessor platform. The resource supply of each processor follows the explicit-deadline periodic (EDP) resource model. A partitioned scheduling method named PS-FC is proposed at first. It uses a sufficient and necessary condition of EDF scheduling upon an EDP resource to check the feasibility of each transaction on a processor. Then two faster partitioned scheduling methods, named PS-CI and PS-Hybrid, are proposed. PS-CI does the feasibility checks for transactions based on the candidate intervals of transaction deadlines. PS-Hybrid is a combination of PS-FC and PS-CI. The effectiveness and efficiency of the methods are evaluated through extensive experiments.

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

Access this article

Log in via an institution

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
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18

Similar content being viewed by others

References

  1. Miloslavov A, Veeraraghavan M (2012) Sensor data fusion algorithms for vehicular cyber-physical systems. IEEE Trans Parallel Distrib Syst 23(9):1762–1774. https://doi.org/10.1109/TPDS.2012.107

    Article  Google Scholar 

  2. Guo Y, Hu X, Hu B, Cheng J, Zhou M, Kwok RYK (2018) Mobile cyber physical systems: current challenges and future networking applications. IEEE Access 6:12360–12368. https://doi.org/10.1109/ACCESS.2017.2782881

    Article  Google Scholar 

  3. Canizo M, Conde A, Charramendieta S, Miæón R, Cid-Fuentes R, Onieva EC (2019) Implementation of a large-scale platform for cyber-physical system real-time monitoring. IEEE Access 7:52455–52466. https://doi.org/10.1109/ACCESS.2019.2911979

    Article  Google Scholar 

  4. Xiong M, Ramamritham K (2004) Deriving deadlines and periods for real-time update transactions. IEEE Trans Comput 53(5):567–583. https://doi.org/10.1109/TC.2004.1275297

    Article  Google Scholar 

  5. Xiong M, Han S, Lam KY, Chen D (2008) Deferrable scheduling for maintaining real-time data freshness: algorithms, analysis, and results. IEEE Trans Comput 57(7):952–964. https://doi.org/10.1109/TC.2008.16

    Article  MathSciNet  MATH  Google Scholar 

  6. Xiong M, Wang Q, Ramamritham K (2008) On earliest deadline first scheduling for temporal consistency maintenance. Real-Time Syst 40(2):208–237. https://doi.org/10.1007/s11241-008-9055-4

    Article  MATH  Google Scholar 

  7. Li J, Chen JJ, Xiong M, Li G, Wei W (2016) Temporal consistency maintenance upon partitioned multiprocessor platforms. IEEE Trans Comput 65(5):1632–1645. https://doi.org/10.1109/TC.2015.2448088

    Article  MathSciNet  MATH  Google Scholar 

  8. Biondi A, Buttazzo GC, Bertogna M (2015) Supporting component-based development in partitioned multiprocessor real-time systems. In: Proceedings of the 27th Euromicro conference on real-time systems, Lund, Sweden, pp 269–280

  9. Faragardi HR, Lisper B, Sandström K, Nolte T (2018) A resource efficient framework to run automotive embedded software on multi-core ECUs. J Syst Softw 139:64–83. https://doi.org/10.1016/j.jss.2018.01.040

    Article  Google Scholar 

  10. Biondi A, Buttazzo G, Bertogna M (2018) A design flow for supporting component-based software development in multiprocessor real-time systems. Real-Time Syst 54(2):800–829. https://doi.org/10.1007/s11241-018-9301-3

    Article  MATH  Google Scholar 

  11. Easwaran A, Anand M, Lee I (2007) Compositional analysis framework using EDP resource models. In: Proceedings of the IEEE 34th real-time systems symposium, Tucson, Arizona, USA, pp 129–138

  12. Robert ID, Alan B (2011) A survey of hard real-time scheduling for multiprocessor systems. ACM Comput Surv 43(4):1–44. https://doi.org/10.1145/1978802.1978814

    Article  MATH  Google Scholar 

  13. Xiong M, Han S, Chen D, Lam KY, Feng S (2010) DESH: overhead reduction algorithms for deferrable scheduling. Real-Time Syst 44(1):1–25. https://doi.org/10.1007/s11241-009-9087-4

    Article  MATH  Google Scholar 

  14. Li J, Xiong M, Lee VCS, Shu LC, Li G (2013) Workload-efficient deadline and period assignment for maintaining temporal consistency under EDF. IEEE Trans Comput 62(6):1255–1268. https://doi.org/10.1109/TC.2012.69

    Article  MathSciNet  MATH  Google Scholar 

  15. Li G, Zhou C, Li J, Guo B (2019) Maintaining data freshness in distributed cyber-physical systems. IEEE Trans Comput 68(7):1077–1090. https://doi.org/10.1109/TC.2018.2889456

    Article  MathSciNet  MATH  Google Scholar 

  16. Zhu F, Li J, Li G (2011) An efficient deadline and period assignment scheme for maintaining temporal consistency under EDF. Lect Notes Electr Eng 102:351–364. https://doi.org/10.1007/978-94-007-2105-0-32

    Article  Google Scholar 

  17. Deng C, Li G, Zhou Q, Li J (2020) Guarantee the quality-of-service of control transactions in real-time database systems. IEEE Access 8:110511–110522. https://doi.org/10.1109/ACCESS.2020.3002335

    Article  Google Scholar 

  18. Han S, Chen D, Xiong M, Lam KY, Mok AK, Ramamritham K (2014) Schedulability analysis of deferrable scheduling algorithm for maintaining real-time data freshness. IEEE Trans Comput 63(4):979–994. https://doi.org/10.1109/TC.2012.266

    Article  MathSciNet  MATH  Google Scholar 

  19. Han S, Lam KY, Wang J, Ramamritham K, Mok AK (2013) On co-scheduling of update and control transactions in real-time sensing and control systems: algorithms, analysis and performance. IEEE Trans Knowl Data Eng 25(10):2325–2342. https://doi.org/10.1109/tkde.2012.173

    Article  Google Scholar 

  20. Zhu X, Huang P C, Han S, Mok A K, Che D, Nixon M (2012) MinMax: a sampling interval control algorithm for process control systems. In: Proceedings of IEEE 19th international conference on embedded and real-time computing systems and applications, Seoul, South Korea, pp 68–77

  21. Han S, Lam KY, Chen D, Xiong M, Wang J, Ramamritham K, Mok AK (2016) Online mode switch algorithms for maintaining data freshness in dynamic cyber-physical systems. IEEE Trans Knowl Data Eng 28(3):756–769. https://doi.org/10.1109/TKDE.2015.2496199

    Article  Google Scholar 

  22. Zhou C, Li G, Li J, Guo B (2019) Energy-aware real-time data processing for IoT systems. IEEE Access 7:171776–171789. https://doi.org/10.1109/ACCESS.2019.2956061

    Article  Google Scholar 

  23. Lundberg L (1998) Multiprocessor scheduling of age constraint processes. In: Proceedings of fifth international conference on real-time computing systems and applications, Hiroshima, Japan, pp 42–47

  24. Kang KD (2018) Enhancing timeliness and saving power in real-time databases. Real-Time Syst 54(1):484–513. https://doi.org/10.1007/s11241-018-9302-2

    Article  MATH  Google Scholar 

  25. Kang KD, Son SH, Stankovic JA (2004) Managing deadline miss ratio and sensor data freshness in real-time databases. IEEE Trans Knowl Data Eng 16(10):1200–1216. https://doi.org/10.1109/TKDE.2004.61

    Article  Google Scholar 

  26. Han S, Lam KY, Wang J, Son SH, Mok AK (2012) Adaptive co-scheduling for periodic application and update transactions in real-time database systems. J Syst Softw 85(8):1729–1743. https://doi.org/10.1016/j.jss.2012.03.055

    Article  Google Scholar 

  27. Wang J, Lam KY, Han S et al (2013) An effective fixed priority co-scheduling algorithm for periodic update and application transactions. Computing 95(10–11):993–1018. https://doi.org/10.1007/s00607-012-0242-8

    Article  MathSciNet  Google Scholar 

  28. Wang J, Han S, Lam KY et al (2012) Maintaining data temporal consistency in distributed real-time systems. Real-Time Syst 48(4):387–429. https://doi.org/10.1007/s11241-012-9150-4

    Article  MATH  Google Scholar 

  29. Kang W, Son SH, Stankovic JA (2012) Design, implementation, and evaluation of a QoS-aware real-time embedded database. IEEE Trans Comput 61(1):45–59. https://doi.org/10.1109/TC.2010.240

    Article  MathSciNet  MATH  Google Scholar 

  30. Mok A K, Feng X, Chen D (2001) Resource partition for real-time systems. In: Proceedings of the 7th IEEE Real-time technology and applications symposium, Taipei, Taiwan, pp 75—84

  31. Burmyakov A, Bini E, Tovar E (2004) Compositional multiprocessor scheduling: the GMPR interface. Real-Time Syst 50(3):342–376. https://doi.org/10.1007/s11241-013-9199-8

    Article  MATH  Google Scholar 

  32. Boudjadar J, Kim J H, Phan L T X, Lee I, Larsen K G, Nyman U (2018) Generic formal framework for compositional analysis of hierarchical scheduling systems. In: Proceedings of IEEE 21st international symposium on real-time distributed computing, Singapore, pp 51–58

  33. Ahmed M, Hettiarachchi P, Fisher N (2015) Analysis of real-time multi-modal FP-scheduled systems with non-preemptible regions. In: Proceedings of 2015 IEEE real-time and embedded technology and applications symposium, Seattle, WA, USA, pp 39–50

  34. Ahmed M, Fisher N (2014) Tractable schedulability analysis and resource allocation for real-time multimodal systems. ACM Trans Embed Comput Syst 13(2s):1–28. https://doi.org/10.1145/2544375.2544385

    Article  Google Scholar 

  35. Park J, Lee I, Sokolsky O, Hwang DY, Ahn S, Choi JY, Kang I (2017) A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J Log Algebr Methods 92(4):1–18. https://doi.org/10.1016/j.jlamp.2017.07.001

    Article  MathSciNet  MATH  Google Scholar 

  36. Martinez J, Dasari D, Hamann A, Saudo I, Bertogna M (2020) Exact response time analysis of fixed priority systems based on sporadic servers. J Syst Archit 110:101836. https://doi.org/10.1016/j.sysarc.2020.101836

    Article  Google Scholar 

  37. Kim JH, Kim KH, Easwaran A, Lee I (2018) Towards overhead-free interface theory for compositional hierarchical real-time systems. IEEE Trans Comput-Aided Des Integr Circuits Syst 37(11):2869–2880. https://doi.org/10.1109/TCAD.2018.2858465

    Article  Google Scholar 

  38. Chen W, Wu P, Huang P, Mok AK, Han S (2021) Online reconfiguration of regularity-based resource partitions in cyber-physical systems. Real-Time Syst 57:302–345. https://doi.org/10.1007/s11241-021-09364-5

    Article  Google Scholar 

Download references

Funding

This research was funded by the Hunan Provincial Natural Science Foundation of China Grant Number 2020JJ4032.

Author information

Authors and Affiliations

  1. School of Information Science and Engineering, Hunan Institute of Science and Technology, Yueyang, China

    Tian Bai, Zhi-Jie Li, Bo Fan & Jun Liao

Authors
  1. Tian Bai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhi-Jie Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bo Fan
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jun Liao
    View author publications

    You can also search for this author in PubMed Google Scholar

Contributions

Conceptualization: TB; Methodology: TB, Z-JL; Validation: BF, JL; Writing-original draft preparation: TB; Writing-review and editing: Z-JL, BF.

Corresponding author

Correspondence to Tian Bai.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest.

Additional information

Publisher's Note

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

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bai, T., Li, ZJ., Fan, B. et al. Maintaining temporal validity of real-time data in component-based systems. Computing 104, 2347–2374 (2022). https://doi.org/10.1007/s00607-022-01089-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00607-022-01089-y

Keywords

Mathematics Subject Classification

Search

Navigation