时间触发系统中集成零星事件的实时演算方法
网络与互联网体系结构
2022-09-13 v3 系统与控制
系统与控制
摘要
在时间触发系统中，调度表在设计时预定义并静态配置，零星事件触发 (ET) 任务在专门预留的时隙内或在时间触发 (TT) 任务提前完成执行时处理。我们引入一种合成 TT 调度表的新范式，以保证 TT 任务的正确时间行为以及具有任意截止期的零星 ET 任务的可调度性。该方法首先将 TT 任务调度的约束表达为最大仿射包络的形式，保证只要调度生成遵循此包络，所有零星 ET 任务均满足其截止期。第二步是将此包络建模为突发限制约束，并通过模拟改进的 Least-Laxity-First (LLF) 调度器来构建 TT 调度表。利用这一新技术，我们表明相较于简单轮询方法，在大多数用例中实现了相当或更好的可调度性以及更快的调度生成。此外，我们给出了方法的一种扩展，可针对 ET 可调度性为 TT 任务寻找最有利调度，从而提高所计算 TT 调度表在后续添加或变更 ET 任务时保持可行的可能性。
引用
@article{arxiv.2204.10264,
title = {A Real-time Calculus Approach for Integrating Sporadic Events in Time-triggered Systems},
author = {Anaïs Finzi and Silviu S. Craciunas and Marc Boyer},
journal= {arXiv preprint arXiv:2204.10264},
year = {2022}
}