[論文レビュー] Periodic Scheduling of Grouped Time-Triggered Signals on a Single Resource

Josef Grus, Zdeněk Hanzálek+1 more|arXiv (Cornell University)|Feb 18, 2026

Network Time Synchronization Technologies被引用数 0

ひとこと要約

論文は周期的スケジューリングを、時間駆動信号をメッセージへグループ化し、単一リソース上のスケジューリングをMILPとCPソルバーで最適化するように拡張し、資源利用を改善します。

ABSTRACT

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.

研究の動機と目的

• 短時間駆動信号をヘッダのオーバーヘッドを削減しつつ schedulability を崩さずに大きなメッセージへグループ化する動機付け。
• 信号のグルーピングと周期的スケジューリングの結合問題を拡張PSPとしてモデル化。
• グループサイズ制約の下で最大観測間隔利用率（C_max）を最小化するMILP/CP定式化を開発。
• 合成インスタンス上でソルバーの性能を評価し、MILPとCPベースのアプローチを比較。

提案手法

• 信号を周期T_alpha_iと処理時間p_iでモデル化。
• 高調波周期で信号を分割し、ヘッダサイズhsと最大グループサイズMGを持つグループ（メッセージ）を形成。
• グループサイズgs_ujと信号をグループへ割り当てる二値変数を定義し、C_maxを最小化するソフト制約を設定。
• グループ使用を区間利用率と結びつけ、観測区間内の実行可能なスケジューリングを保証するMILPを定式化（CPベースの代替案にも言及）。
• グループ使用と区間利用を結ぶ大域的なBig-M制約を用いてp_ukとC_maxを計算（式11–13）。
• 合成インスタンス（タスク50–600、最大6期間）でGurobi MILPとOR-Tools CP-SAT/CP Optimizerを比較。

(a) Example solution. Header size was set to 90 and maximum group size to 600. Headers are shown as gray tasks at the start of each (implicit) group.

実験結果

リサーチクエスチョン

• RQ1 信号をメッセージへグルーピングすることは、単一リソース上の schedulability と資源利用にどのような影響を与えるか？
• RQ2 ヘッダサイズと最大グループサイズが最適C_maxとスケジュール可能性に与える影響は？
• RQ3 MILPとCPベースのソルバーは、グループ化PSP拡張を解く際にどのように比較されるか？
• RQ4 この設定でC_maxの上界・下界モデルが提供する境界は何か？

主な発見

# 成功	平均背景時間 bg の平均	bg の中央値	平均順位
Gurobi	47	0.10	0.00	1.15
CP-SAT	42	6.13	1.17	2.13
CP Optimizer	40	1.90	0.00	1.72

• 信号をメッセージへグルーピングすることは、信号ごとのメッセージと比べ資源利用を著しく改善する。
• 47件のインスタンスでGurobi MILPが最良の平均ギャップと順位を獲得し、CP-SATおよびCP Optimizerをわずかに上回った。
• MGを増やすと一般に目的関数C_maxが改善される一方、ヘッダサイズhsが大きいとC_maxが増加する。
• ヘッダサイズ、グループサイズ、スケジューリングの柔軟性の間には観察可能なトレードオフが示された。
• 本研究はC_maxの上限・下限の観点を提供し、実行可能なスケジュールの境界を示す。

(b) Parameter sensitivity analysis showing effect of $hs$ and $MG$ on $C_{\max}$ . Dashed lines are solutions obtained for the upper-bound model, and dotted lines for the lower-bound model.