Real-Time Data Retrieval With Multiple Availability Intervals in CPS Under Freshness Constraints

Maintaining the temporal validity of real-time data in cyber-physical systems (CPSs) is of critical importance to ensure correct decision making and appropriate system operation. Most existing work on real-time data retrieval assumes that the real-time data under study are always available, and the developed scheduling algorithms mainly focus on making real-time decisions while meeting the temporal validity (freshness) constraints. This assumption, however does not hold in many real-life CPS applications with intermittent data availability, such as in energy harvesting-based sensing systems. In this paper, we study the multi-interval availability-constrained fresh data retrieval (MAFDR) problem, which aims to retrieve all required real-time data on time for a set of decision tasks while taking both the temporal validity and data availability constraints into consideration. We present the formulation of the MAFDR problem and study its complexity under different settings. For the scenario of single decision task with unit-size data retrieval time, we propose a polynomial-time optimal data retrieval algorithm, which comprises a task finish time selection phase and an optimal retrieval schedule construction phase. For the general scenario of multiple decision tasks with nonunit-size data retrieval time, we provide an integer linear programming formulation for the MAFDR problem and propose a fast heuristic algorithm based on max flow. The effectiveness of the proposed algorithms has been validated through extensive experiments by comparing to the optimal solution and the state-of-the-art approach.

[1]  Weifa Liang,et al.  Data Collection Maximization in Renewable Sensor Networks via Time-Slot Scheduling , 2015, IEEE Transactions on Computers.

[2]  Song Han,et al.  Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness , 2014, IEEE Transactions on Computers.

[3]  Jian-Jia Chen,et al.  Workload-Aware Partitioning for Maintaining Temporal Consistency upon Multiprocessor Platforms , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[4]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[5]  Qiong Wang,et al.  On earliest deadline first scheduling for temporal consistency maintenance , 2008, Real-Time Systems.

[6]  Song Han,et al.  DESH: overhead reduction algorithms for deferrable scheduling , 2010, Real-Time Systems.

[7]  Sang Hyuk Son,et al.  QeDB: A Quality-Aware Embedded Real-Time Database , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[8]  Sang Hyuk Son,et al.  Chronos: Feedback Control of a Real Database System Performance , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[9]  Song Han,et al.  Maintaining data temporal consistency in distributed real-time systems , 2012, Real-Time Systems.

[10]  Song Han,et al.  On Co-Scheduling of Update and Control Transactions in Real-Time Sensing and Control Systems: Algorithms, Analysis, and Performance , 2013, IEEE Transactions on Knowledge and Data Engineering.

[11]  Song Han,et al.  Deferrable Scheduling for Maintaining Real-Time Data Freshness: Algorithms, Analysis, and Results , 2008, IEEE Transactions on Computers.

[12]  Rajesh K. Gupta,et al.  Path Planning of Data Mules in Sensor Networks , 2011, TOSN.

[13]  Jay Lee,et al.  A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .

[14]  Sabina Jeschke,et al.  Security and Privacy in Cyber-Physical Systems : Foundations, Principles, and Applications , 2017 .

[15]  Chinya V. Ravishankar,et al.  Real-time, load-adaptive processing of continuous queries over data streams , 2008, DEBS.

[16]  Tei-Wei Kuo,et al.  Similarity-based load adjustment for real-time data-intensive applications , 1997, Proceedings Real-Time Systems Symposium.

[17]  Song Han,et al.  Online Mode Switch Algorithms for Maintaining Data Freshness in Dynamic Cyber-Physical Systems , 2016, IEEE Transactions on Knowledge and Data Engineering.

[18]  Cem Ersoy,et al.  Distributed Mobile Sink Routing for Wireless Sensor Networks: A Survey , 2014, IEEE Communications Surveys & Tutorials.

[19]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[20]  Rajesh K. Gupta,et al.  Optimal Speed Control of Mobile Node for Data Collection in Sensor Networks , 2010, IEEE Transactions on Mobile Computing.

[21]  Edward A. Lee Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[22]  Krithi Ramamritham,et al.  Deriving deadlines and periods for real-time update transactions , 1999, IEEE Transactions on Computers.

[23]  Michael Sipser,et al.  On Scheduling Unit-Length Jobs with Multiple Release Time/Deadline Intervals , 1984, Oper. Res..

[24]  Kim Jung-Eun,et al.  Sporadic Decision-Centric Data Scheduling with Normally-off Sensors , 2016 .

[25]  Krithi Ramamritham,et al.  Mutual Consistency in Real-Time Databases , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[26]  Guangjie Han,et al.  A grid-based joint routing and charging algorithm for industrial wireless rechargeable sensor networks , 2016, Comput. Networks.

[27]  Krithi Ramamritham Real-time databases , 2005, Distributed and Parallel Databases.

[28]  Chi-Sheng Shih,et al.  Scheduling Jobs with Multiple Feasible Intervals , 2003, RTCSA.

[29]  D. R. Fulkerson,et al.  Maximal Flow Through a Network , 1956 .

[30]  Abbas Mehrabi,et al.  General Framework for Network Throughput Maximization in Sink-Based Energy Harvesting Wireless Sensor Networks , 2017, IEEE Transactions on Mobile Computing.

[31]  Alexandros Labrinidis,et al.  Preference-Aware Query and Update Scheduling in Web-databases , 2007, 2007 IEEE 23rd International Conference on Data Engineering.