随着计算机微内核技术的高速发展,越来越多的行业领域对操作系统提出了实时性要求。实时系统基于相关的任务调度策略来满足其时间约束和可预见性约束,因此需要设计相应的调度分析方法来验证实时任务集的可调度性。本文针对动态优先级分配的调度策略,研究并改进了与其相关的可调度性分析方法:对于包含任务调度器执行开销和任务不可抢占的情况,重新定义了可调度性分析方法中相关参数的计算方式,并通过实验验证了在包含调度器执行消耗和任务不可抢占情况下,改进后的可调度性分析方法的有效性。不同的调度策略下的实时任务集需要一个统一的可调度性分析工具进行验证。本文通过分析基于RTESIDDVL建模语言的可调度性分析工具所需要的功能需求和接口需求,提出了可调度性分析模型SAM和针对不同优先级分配调度策略的可调度性验证功能,并依据相关需求设计和实现了可调度性分析工具。可调度性分析工具通过读取实时任务集的RTESIDDVL模型,将其转换为可调度性分析模型,再根据任务所应用的调度策略进行可调度性分析:针对静态优先级分配调度策略基于已有方法来验证任务的可调度性,针对动态优先级分配策略则基于本文改进后的方法来验证任务的可调度性。最后,本文选取星务管理软件关键任务对可调度性分析工具进行了验证。通过分析星务管理软件关键任务的可调度性验证需求,基于RTESIDDVL语言对功能模块和关键任务进行建模,利用可调度性分析工具分别基于固定优先级调度策略和动态优先级调度策略对关键任务模型执行了可调度性分析。本文新颖之处在于研究并改进了现有动态优先级分配策略的可调度性分析方法,设计和实现了基于RTESIDDVL建模语言的面向多调度策略的可调度性分析工具,并通过对星务管理软件关键任务建模完成了相关验证工作。