Nothing Special   »   [go: up one dir, main page]

skip to main content
research-article
Open access

Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks

Published: 22 September 2021 Publication History

Abstract

Timely response to changes of monitored objects is the key to ensuring the safety and reliability of cyber-physical systems (CPSs). There are two kinds of tasks in CPSs: update tasks and control tasks. Update tasks are responsible for updating the data in the system based on the state of the objects they monitor. Control tasks are responsible for making decisions based on the data in the system. The response time of the system to the change of a monitored object consists of two parts: the time taken by update tasks to reflect the change to the system, and the time taken by control tasks to make decisions according to the data in the system. Deadlines and periods of update tasks and control tasks directly affect the response time. Reasonable deadline and period assignment is the key to ensuring timely response to the changes of monitored objects. In this paper, we study the deadline and period assignment in CPSs. To the best of our knowledge, all existing work only focuses on the deadline and period assignment for update tasks with the goal of ensuring the freshness of the data in CPSs, and this is the first study focusing on the deadline and period assignment for both update tasks and control tasks with the goal of ensuring timely response to the changes of monitored objects. A new problem about response time control and system workload control is defined in this paper. Two deadline and period assignment methods are proposed to solve the defined problem. All the proposed methods can be used in the CPSs adopting the earliest deadline first (EDF) scheduling method. Experiments with randomly generated tasks are conducted to evaluate the performance of the proposed methods in terms of acceptance ratio and execution efficiency.

References

[1]
Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, and Thomas Nolte. 2016. Synthesizing job-level dependencies for automotive multi-rate effect chains. In 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 159–169.
[2]
Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, and Thomas Nolte. 2017. End-to-end timing analysis of cause-effect chains in automotive embedded systems. Journal of Systems Architecture 80 (2017), 104–113.
[3]
Alessandro Biondi and Marco Di Natale. 2018. Achieving predictable multicore execution of automotive applications using the let paradigm. In 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 240–250.
[4]
Mokrane Bouzeghoub. 2004. A framework for analysis of data freshness. In Proceedings of the 2004 international workshop on Information quality in information systems. 59–67.
[5]
Nico Feiertag, Kai Richter, Johan Nordlander, and Jan Jonsson. 2009. A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In IEEE Real-Time Systems Symposium: 30/11/2009-03/12/2009. IEEE Communications Society.
[6]
Chenchen Fu, Qiangqiang Liu, Peng Wu, Minming Li, Chun Jason Xue, Yingchao Zhao, Jingtong Hu, and Song Han. 2018. Real-time data retrieval in cyber-physical systems with temporal validity and data availability constraints. IEEE Transactions on Knowledge and Data Engineering 31, 9 (2018), 1779–1793.
[7]
Chenchen Fu, Peng Wu, Minming Li, Chun Jason Xue, Yingchao Zhao, and Song Han. 2018. Real-time data retrieval with multiple availability intervals in CPS under freshness constraints. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37, 11 (2018), 2743–2754.
[8]
Richard Gerber, Seongsoo Hong, and Manas Saksena. 1994. Guaranteeing end-to-end timing constraints by calibrating intermediate processes. In IEEE Real-Time Systems Symposium. IEEE, 192–203.
[9]
Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, and Insup Lee. 2018. Data freshness over-engineering: Formulation and results. In 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC). IEEE, 174–183.
[10]
Thomas Gustafsson and Jörgen Hansson. 2004. Data management in real-time systems: A case of on-demand updates in vehicle control systems. In IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE, 182–191.
[11]
Thomas Gustafsson and Jörgen Hansson. 2004. Dynamic on-demand updating of data in real-time database systems. In ACM symposium on Applied computing. 846–853.
[12]
Ching-Chih Han, Kwei-Jay Lin, and Chao-Ju Hou. 1996. Distance-constrained scheduling and its applications to real-time systems. IEEE Transactions on computers 45, 7 (1996), 814–826.
[13]
Song Han, Deji Chen, Ming Xiong, Kam-yiu Lam, Aloysius K. Mok, and Krithi Ramamritham. 2012. Schedulability analysis of deferrablescheduling algorithms for maintainingreal-time data freshness. IEEE Trans. Comput. 63, 4 (2012), 979–994.
[14]
Song Han, Deji Chen, Ming Xiong, Kam-yiu Lam, Aloysius Ka-Lau Mok, and Krithi Ramamritham. 2012. Schedulability analysis of deferrablescheduling algorithms for maintainingreal-time data freshness. IEEE Trans. Comput. 63, 4 (2012), 979–994.
[15]
Song Han, Deji Chen, Ming Xiong, and Aloysius Ka-Lau Mok. 2009. Online scheduling switch for maintaining data freshness in flexible real-time systems. In IEEE Real-Time Systems Symposium. IEEE, 115–124.
[16]
Song Han, Kam-Yiu Lam, Deji Chen, Ming Xiong, Jiantao Wang, Krithi Ramamritham, and Aloysius K. Mok. 2015. Online mode switch algorithms for maintaining data freshness in dynamic cyber-physical systems. IEEE Transactions on Knowledge and Data Engineering 28, 3 (2015), 756–769.
[17]
Song Han, Kam-Yiu Lam, Jiantao Wang, Krithi Ramamritham, and Aloysius Ka-Lau Mok. 2012. On co-scheduling of update and control transactions in real-time sensing and control systems: Algorithms, analysis, and performance. IEEE Transactions on Knowledge and Data Engineering 25, 10 (2012), 2325–2342.
[18]
Song Han, Kam-yiu Lam, Jiantao Wang, Sang Hyuk Son, and Aloysius Ka-Lau Mok. 2012. Adaptive co-scheduling for periodic application and update transactions in real-time database systems. Journal of Systems and Software 85, 8 (2012), 1729–1743.
[19]
Song Han, Aloysius Ka-Lau Mok, Jianyong Meng, Yi-Hung Wei, Pei-Chi Huang, Quan Leng, Xiuming Zhu, Luis Sentis, Kwan Suk Kim, and Risto Miikkulainen. 2013. Architecture of a cyberphysical avatar. In ACM/IEEE International Conference on Cyber-Physical Systems. 189–198.
[20]
Shao-Juen Ho, Tei-Wei Kuo, and Aloysius Ka-Lau Mok. 1997. Similarity-based load adjustment for real-time data-intensive applications. In IEEE Real-Time Systems Symposium. IEEE, 144–153.
[21]
Abhay Kumar Jha, Ming Xiong, and Krithi Ramamritham. 2006. Mutual consistency in real-time databases. In IEEE Real-Time Systems Symposium. IEEE, 335–343.
[22]
Kyoung-Don Kang, Sang Hyuk Son, John Stankovic, and Tarek F. Abdelzaher. 2002. A QoS-sensitive approach for timeliness and freshness guarantees in real-time databases. In Euromicro Conference on Real-Time Systems. IEEE, 203–212.
[23]
Young-Kuk Kim and Sang Hyuk Son. 1995. Predictability and consistency in real-time database systems. Advances in real-time systems (1995), 509–531.
[24]
JeongGil Ko, Chenyang Lu, Mani B. Srivastava, John Stankovic, Andreas Terzis, and Matt Welsh. 2010. Wireless sensor networks for healthcare. Proc. IEEE 98, 11 (2010), 1947–1960.
[25]
Tei-Wei Kuo and Shao-Juen Ho. 2000. Similarity-based load adjustment for static real-time transaction systems. IEEE Trans. Comput. 49, 2 (2000), 112–126.
[26]
Tei-Wei Kuo and Aloysius Ka-Lau Mok. 1993. SSP: A semantics-based protocol for real-time data access. In IEEE Real-Time Systems Symposium. IEEE, 76–86.
[27]
Kam-Yiu Lam, Ming Xiong, BiYu Liang, and Yang Guo. 2004. Statistical quality of service guarantee for temporal consistency of real-time data objects. In IEEE Real-Time Systems Symposium. IEEE, 276–285.
[28]
Guohui Li, Chenggang Deng, Jianjun Li, Quan Zhou, and Wei Wei. 2016. Deadline and period assignment for update transactions in co-scheduling environment. IEEE Trans. Comput. 66, 7 (2016), 1119–1131.
[29]
Guohui Li, Jianjun Li, Bing Guo, et al. 2019. Maintaining data freshness in distributed cyber-physical systems. IEEE Trans. Comput. 68, 7 (2019), 1077–1090.
[30]
Jianjun Li, Jian-Jia Chen, Ming Xiong, and Guohui Li. 2011. Workload-aware partitioning for maintaining temporal consistency upon multiprocessor platforms. In IEEE Real-Time Systems Symposium. IEEE, 126–135.
[31]
Jianjun Li, Jian-Jia Chen, Ming Xiong, Guohui Li, and Wei Wei. 2015. Temporal consistency maintenance upon partitioned multiprocessor platforms. IEEE Trans. Comput. 65, 5 (2015), 1632–1645.
[32]
Chenyang Lu, Abusayeed Saifullah, Bo Li, Mo Sha, Humberto Gonzalez, Dolvara Gunatilaka, Chengjie Wu, Lanshun Nie, and Yixin Chen. 2015. Real-time wireless sensor-actuator networks for industrial cyber-physical systems. Proc. IEEE 104, 5 (2015), 1013–1024.
[33]
Verónika Peralta. 2006. Data freshness and data accuracy: A state of the art. Instituto de Computacion, Facultad de Ingenieria, Universidad de la Republica2006 (2006).
[34]
Xuesen Shi, Yuyao Shen, Yongqing Wang, and Li Bai. 2018. Differential-clustering compression algorithm for real-time aerospace telemetry data. IEEE Access 6 (2018), 57425–57433.
[35]
Xiaohui Song and Jane W.-S. Liu. 1995. Maintaining temporal consistency: Pessimistic vs. optimistic concurrency control. IEEE transactions on knowledge and data engineering 7, 5 (1995), 786–796.
[36]
Jiantao Wang, Song Han, Kam-Yiu Lam, and Aloysius Ka-Lau Mok. 2012. Maintaining data temporal consistency in distributed real-time systems. Real-Time Systems 48, 4 (2012), 387–429.
[37]
Jian-Tao Wang, Kam-Yiu Lam, Song Han, Sang Hyuk Son, and Aloysius Ka-Lau Mok. 2013. An effective fixed priority co-scheduling algorithm for periodic update and application transactions. Computing 95, 10 (2013), 993–1018.
[38]
Ming Xiong, Song Han, and Kam-Yiu Lam. 2005. A deferrable scheduling algorithm for real-time transactions maintaining data freshness. In IEEE Real-Time Systems Symposium. IEEE, 11–pp.
[39]
Ming Xiong, Song Han, Kam-Yiu Lam, and Deji Chen. 2008. Deferrable scheduling for maintaining real-time data freshness: Algorithms, analysis, and results. IEEE Trans. Comput. 57, 7 (2008), 952–964.
[40]
Ming Xiong and Krithi Ramamritham. 2004. Deriving deadlines and periods for real-time update transactions. IEEE Trans. Comput. 53, 5 (2004), 567–583.
[41]
Ming Xiong, Krithi Ramamritham, John Stankovic, Don Towsley, and Rajendran Sivasankaran. 2002. Scheduling transactions with temporal constraints: Exploiting data semantics. IEEE transactions on knowledge and Data Engineering 14, 5 (2002), 1155–1166.
[42]
Fengxiang Zhang and Alan Burns. 2009. Schedulability analysis for real-time systems with EDF scheduling. IEEE Trans. Comput. 58, 9 (2009), 1250–1258.
[43]
Fangzhou Zhu, Jianjun Li, and Guohui Li. 2011. An efficient deadline and period assignment scheme for maintaining temporal consistency under edf. In International Conference on Human-centric Computing and Embedded and Multimedia Computing. Springer, 351–364.

Cited By

View all
  • (2024)Deadline and Period Assignment for Guaranteeing Timely Response of the Cyber-Physical SystemACM Transactions on Design Automation of Electronic Systems10.1145/368904830:1(1-26)Online publication date: 24-Aug-2024
  • (2024)Whistleblowing and interpretation, addressing organizational challenges: a conceptual reflection from Nigeriaforesight10.1108/FS-05-2023-010426:3(405-423)Online publication date: 6-May-2024
  • (2022)Online Rerouting and Rescheduling of Time-Triggered Flows for Fault Tolerance in Time-Sensitive NetworkingIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319752341:11(4253-4264)Online publication date: 1-Nov-2022
  • Show More Cited By

Index Terms

  1. Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks

      Recommendations

      Comments

      Please enable JavaScript to view thecomments powered by Disqus.

      Information & Contributors

      Information

      Published In

      cover image ACM Transactions on Embedded Computing Systems
      ACM Transactions on Embedded Computing Systems  Volume 20, Issue 5s
      Special Issue ESWEEK 2021, CASES 2021, CODES+ISSS 2021 and EMSOFT 2021
      October 2021
      1367 pages
      ISSN:1539-9087
      EISSN:1558-3465
      DOI:10.1145/3481713
      • Editor:
      • Tulika Mitra
      Issue’s Table of Contents
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Journal Family

      Publication History

      Published: 22 September 2021
      Accepted: 01 July 2021
      Revised: 01 May 2021
      Received: 01 April 2021
      Published in TECS Volume 20, Issue 5s

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. Deadline and period assignment
      2. hybrid tasks
      3. timely response
      4. EDF scheduling
      5. CPSs

      Qualifiers

      • Research-article
      • Refereed

      Funding Sources

      • National Natural Science Foundation of China
      • Hubei Provincial Natural Science Foundation of China

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)121
      • Downloads (Last 6 weeks)16
      Reflects downloads up to 18 Feb 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2024)Deadline and Period Assignment for Guaranteeing Timely Response of the Cyber-Physical SystemACM Transactions on Design Automation of Electronic Systems10.1145/368904830:1(1-26)Online publication date: 24-Aug-2024
      • (2024)Whistleblowing and interpretation, addressing organizational challenges: a conceptual reflection from Nigeriaforesight10.1108/FS-05-2023-010426:3(405-423)Online publication date: 6-May-2024
      • (2022)Online Rerouting and Rescheduling of Time-Triggered Flows for Fault Tolerance in Time-Sensitive NetworkingIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319752341:11(4253-4264)Online publication date: 1-Nov-2022
      • (undefined)A Mixed-Criticality Traffic Scheduler with Mitigating Congestion for CAN-to-TSN GatewayACM Transactions on Design Automation of Electronic Systems10.1145/3656173

      View Options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      HTML Format

      View this article in HTML Format.

      HTML Format

      Login options

      Full Access

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media