基于模型的硬实时系统灾难场景超级调度器设计

传统的实时方法设计严重依赖于系统的正常性能，在处理灾难性场景时往往失效。已有若干研究致力于有效应对工厂的大规模灾难，以及实时系统如何重组自身以最优方式响应变化的场景，从而减少灾难并辅助人工干预。本文的研究正是朝此方向展开，所提出的模型在尝试通过动态调度异常任务模式来最小化错过截止期限总数的同时，容纳了由灾难生成的任务。该问题是 NP 难的。我们证明了最优调度算法的方法。我们还推导了一个模型以维持进程的稳定性。此外，我们研究了在主/备份机制下，为调度一组具有容错能力的周期性和非周期性硬实时任务所需最小化处理器数量的问题。在每个处理器上使用 EDF 调度算法来管理场景变化。最后，我们展示了针对小、中、大型实时任务模式的超级调度器在灾难管理方面的仿真结果。