本课程也可作为 ECEA 5316（中大博尔德电子工程理学硕士学位课程的一部分）的学分课程。 本课程深入全面地介绍了调度策略模型的数学推导和回顾，以及通过手动和速率单调工具确定可行性，并与在本地 Linux 系统上运行的实时调度线程的实际性能进行了比较。课程结束时，学员将能够完整地推导出固定优先级速率单调性可行性的最小上界，并证明速率单调性策略的合理性，还将能够与动态优先级调度（包括最早截止日期优先和最不松懈策略）进行比较。

课程结束时，学员将能够完全推导和解释速率单调最小上界的数学模型，并对固定和动态优先级软件服务进行时序图分析。 将学习提供分析的工具（Cheddar），以自动进行时序分析，并与实际性能进行比较。 具体目标包括 速率单调理论（完整的数学模型） ● 固定优先级速率单调策略与动态优先级最早截止时间优先和最不宽松策略的区别 ● 调度理论和实践，为多频率执行器、优先级抢占式 RTOS 服务编写代码、在传统操作系统（Linux）上为多频执行器和实时线程服务编写代码 ● 在 Raspberry Pi 3b 上使用 POSIX 实时扩展构建一个简单的 Linux 多服务系统，使用排序和方法来记录和验证理论与实践之间的一致性 ● 使用 Cheddar 生成时序图并进行分析 本课程包括特定的硬件和软件要求。请查看下面的常见问题，了解完整的详细信息。