随着科技和社会的发展,实时操作系统已经应用到了人们生活的方方面面,尤其是航空航天,移动设备以及汽车等领域,已经离不开实时操作系统的支持。与普通的操作系统相比,实时操作系统通常要求能够严格保证任务在特定时间内完成,不能有较长的延迟,评价实时操作系统好坏的一个重要方式就是分析它的实时性。因此,本文针对影响实时操作系统实时性的重要因素做了研究和分析,针对这些因素设计了实时性的分析方法。最坏执行时间（Worst-Case Execution Time,WCET）分析是为了获得程序在最坏情况下的执行时间,这一指标对于操作系统的实时性具有重大影响。本文通过调研目前实时操作系统的实时性分析方法,发现大多数对RTOS实时性的评测都是采用基于测试的方法,对其进行WCET分析的研究工作还比较少。本文首先研究了WCET分析的关键技术,接着从ARM指令集的移植,ELF文件的解析,微架构模型的建模分析三个方面入手,在开源工具Chronos的基础上设计并实现了一套ARM架构下的静态WCET分析工具。接着,利用实现的WCET分析工具,针对电子科技大学自主设计并实现的微内核操作系统mginkgo进行了WCET分析方案的设计,由于分析工具的局限性,无法设计出针对所有实时性指标的静态分析方案,为了能保证得到全面的实时性分析结果,本文还设计了针对具体性能指标的动态测试方法,从静态WCET分析和动态测试两个维度来描述mginkgo的实时性。最后,针对任务切换时间、调度器延迟时间,系统调用延迟、中断响应时间等影响mginkgo实时性的重要指标,通过分析工具和开发板测试,得到这些指标的时间,并对这些时间进行分析,得到操作系统的实时性结论,还总结了在对实时操作系统进行WCET分析时可能遇见的问题以及解决方法。