SearcharxivSearch

arXiv subjects

Claire Hanen

Publications and source records attributed to Claire Hanen.

5 recordsLinked to original sources

Periodic Scheduling of Grouped Time-Triggered Signals on a Single Resource

Time-triggered messages are of crucial importance in modern communication networks. Offline-generated schedules, which specify start times for periodic messages, enable us to achieve deterministic behavior in critical applications. In automotive and avionics domains, so-called signals (measurements and commands) are periodically generated and communicated (via messages) among sensors, controllers, and actuators. However, the message contains not only the useful signal data, but also necessary metadata, e.g., message ID. Metadata is stored as a header or tail and extends the message size; when the signal is very short (as it often is in applications), sending each in a separate message is inefficient. Thus, several signals are grouped into a single message, depending on their periodicity and length, and sent with just one header. Such an approach increases the utilization of the communication resource (link or bus), since less bandwidth is wasted on headers (Kuaban et al. 2021). However, grouping the signals into messages is complicated. The maximum size of the message (including the metadata) is finite, since longer messages have a lower probability of successful delivery. Also, longer messages are less flexible for scheduling in a periodic setting. This is similar to the work of Huan et al. (2019), where the compromise between energy efficiency and latency for IoT devices was investigated. In this paper, we study the fundamental problem of grouping time-triggered signals into messages and periodic scheduling of messages on a single resource.

cs.NI

Parameterized Complexity of Scheduling Problems in Robotic Process Automation

This paper studies the growing domain of Robotic Process Automation (RPA) problems. Motivated by scheduling problems arising in RPA, we study the parameterized complexity of the single-machine problem with precedence constraints, release times, and deadlines (i.e., the problem known as $1|\operatorname{prec},r_j,d_j|*$ in the three-field notation). We focus on parameters naturally linked to RPA systems, including chain-like precedences, the number of distinct processing times, and the structure of the time windows. We show that the problem is strongly XNLP-hard parameterized by the number of chains, even with only two prescribed processing times and two distinct time-window lengths. The problem remains XNLP-hard even under prec-consistent time windows. On the positive side, we obtain polynomial-time algorithm when all jobs share a single time-window length and FPT when the processing times, release times and deadlines are chain-uniform. We also show that the problem lies in XNLP when parameterized by the width of the precedence relation either when the instance is encoded in unary or the processing times are bounded.

cs.DS

Periodic Chains Scheduling on Dedicated Resources -- A Crucial Problem in Time-Sensitive Networks

Periodic messages transfer data from sensors to actuators in cars, planes, and complex production machines. When considering a given routing, the unicast message starts at its source and goes over several dedicated resources to reach its destination. Such unicast message can be represented as a chain of point-to-point communications. Thus, the scheduling of the periodic chains is a principal problem in time-triggered Ethernet, like IEEE 802.1Qbv Time-Sensitive Networks. This paper studies a strongly NP-hard periodic scheduling problem with harmonic periods, task chains, and dedicated resources. We analyze the problem on several levels of generality and complexity and provide the corresponding proofs. We describe a solution methodology to find a feasible schedule that minimizes the chains' degeneracy related to start-to-end latency normalized in the number of periods. We use the local search with the first fit scheduling heuristic, which we warm-start with a constraint programming model. This notably improves the schedulability of instances with up to 100% utilization and thousands (and more) of tasks, with high-quality solutions found in minutes. An efficient constraint programming matheuristic significantly reduces the degeneracy of the found schedules even further. The method is evaluated on sets of industrial-, avionic-, and automotive-inspired instances.

cs.NI

Packing-Inspired Algorithms for Periodic Scheduling Problems with Harmonic Periods

We tackle the problem of non-preemptive periodic scheduling with a harmonic set of periods. Problems of this kind arise within domains of periodic manufacturing and maintenance, and also during the design of industrial, automotive, and avionics communication protocols, where efficient scheduling of messages is crucial for the performance of a time-triggered network. We consider the decision variant of the periodic scheduling problem on a single highly-utilized machine. We first prove a bijection between periodic scheduling and a particular (so-called height-divisible) 2D packing of rectangles. We formulate the problem using Constraint Programming and compare it with equivalent state-of-the-art Integer Linear Programming formulation, showing the former's superiority on difficult instances. Furthermore, we develop a packing-inspired first fit heuristic, which we compare with methods described in the literature. We justify our proposed methods on synthetically generated problem instances inspired by the communication of messages on one channel.

cs.DS

Periodic Scheduling and Packing Problems

This paper is motivated by periodic data transmission in autonomous cars. We considered periodic tasks (with different periods) on one or several machines. After reviewing the literature on the subject, we managed to generalize a result of Lukasiewicz et al. (i.e., the equivalence of periodic scheduling with the power of two periods and special 2D bin packing) to harmonic periods. Furthermore, we use quite old results by Coffman, Garey, and Johnson to get an approximation algorithm.

cs.DS