Worst-case execution time analysis of the RTEMS real-time operating system

被引：18

作者：

Colin, A ^{[1
]}

Puaut, I ^{[1
]}

机构：

[1] IRISA, F-35042 Rennes, France

来源：

13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS | 2001年

关键词：

D O I：

10.1109/EMRTS.2001.934029

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 [11]. 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.

引用

页码：191 / 198

页数：8

共 16 条

[1] A flexible run-time support for distributed dependable hard real-time applications [J].

Anceaume, E ;

Cabillic, G ;

Chevochot, P ;

Puaut, I .

2ND IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC'99), PROCEEDINGS, 1999, :310-319

[2]

*AT INC, 1999, NUCL PLUS EMB REAL T

[3]

AUDSLEY N, 1998, P IEEE AER ASP

[4] Worst case execution time analysis for a processor with branch prediction [J].

Colin, A ;

Puaut, I .

REAL-TIME SYSTEMS, 2000, 18 (2-3) :249-274

[5]

COLIN A, 2001, P 13 EUR C REAL TIM

[6]

CONSEL C, 1998, ACM COMPUTING SURVEY, V30

[7] Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysis [J].

Engblom, J .

PROCEEDINGS OF THE FIFTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, 1999, :46-55

[8]

HEALY CA, 1996, P 17 IEEE REAL TIM S, P288

[9]

JEFFAY K, 1993, REAL-TIME SYSTEMS SYMPOSIUM: PROCEEDINGS, P212, DOI 10.1109/REAL.1993.393497

[10] Timing analysis for instruction caches [J].

Mueller, F .

REAL-TIME SYSTEMS, 2000, 18 (2-3) :217-247

← 1 2 →