中文摘要：

可调度性分析是实时系统的重要理论基础，为系统的正确运行和任务时限的满足提供理论依据和保证。最短时限优先（EDF）是单处理器上最优的实时调度算法。非剥夺资源共享是实时系统的重要属性，在现有文献中，未能为考虑了非剥夺共享资源的系统提供完整和有效的可调度性分析方法。本项目首次为整合了非剥夺共享资源以及任务释放抖动的EDF实时系统，提供精确和高效的可调度性分析方法。现代实时系统不断提高的处理能力使得多个应用程序可以通过分层调度运行在同一个处理器上，好处是系统的整体性能能够得到增强，并且减少了成本。本项目拟:(1)为整合了非剥夺共享资源的实时系统提出完备、高效并且精确的可调度性分析方法。(2)将非剥夺共享资源整合到分层调度模型中，为基于EDF的分层实时系统提出高效的调度方案和分析方法。