Worst-case execution time analysis of the RTEMS real-time operating system
Worst-case execution time analysis of the RTEMS real-time operating system
复制标题
RTEMS实时操作系统最坏情况执行时间分析
DOI：
10.1109/emrts.2001.934029
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
I. Puaut
中科院分区：
文献类型：
--
作者：
Antoine Colin;I. Puaut
在为硬实时应用构建操作系统时，一个重要的问题是计算操作系统活动的最坏情况执行时间（WCET）。传统上，这是通过对操作系统进行详尽的测试来实现的，并仔细关注测试条件以重现最坏情况的执行场景。在本文中，我们探讨了另一种方法，使用静态分析来预测离线的实时内核，RTEMS内核的系统调用的WCET。我们给出了RTEMS分析的定性和定量结果，并得出了一些关于静态分析在操作系统代码上可以使用的程度的结论。
An important issue in building operating systems for hard real-time applications is to compute the worst-case execution times (WCET) of the operating system activities. Traditionally, this has been achieved by an exhaustive testing of the operating system, with a careful attention on the testing conditions to reproduce the worst-case execution scenario. In this paper we explore the alternative approach of using static analysis to predict off-line the WCET of the system calls of a real-time kernel, the RTEMS kernel. We give qualitative and quantitative results on the analysis of RTEMS, and draw some conclusions on the extent to which static analysis can be used on operating system code.