2006
DOI: 10.1007/11925040_10
|View full text |Cite
|
Sign up to set email alerts
|

Static Timing Analysis of Real-Time Operating System Code

Abstract: Abstract. Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much used to analyse real production codes. Here, we present a case study where static WCET analysis was used to find upper time bounds for time-critical regions in a commercial real-time operating system. The purpose was not primarily to test the accuracy of the estimates, but rather to investigate the practical difficulties that … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
19
0

Year Published

2007
2007
2022
2022

Publication Types

Select...
4
4
2

Relationship

3
7

Authors

Journals

citations
Cited by 26 publications
(19 citation statements)
references
References 12 publications
0
19
0
Order By: Relevance
“…The CPU chosen was the ARM7TDMI and the static WCET analysis tool used was aiT [1]. The study is described in detail in [27,28].…”
Section: Second Study: Static Analysis For DI Regions and System Callmentioning
confidence: 99%
“…The CPU chosen was the ARM7TDMI and the static WCET analysis tool used was aiT [1]. The study is described in detail in [27,28].…”
Section: Second Study: Static Analysis For DI Regions and System Callmentioning
confidence: 99%
“…The latter would in most cases have been a gross overapproximation. In some cases, it was also possible to manually derive a parametrical formula [SEGL04,BEGL05], showing how the WCET estimate depends on some specific system parameters.…”
mentioning
confidence: 99%
“…Our current research focus is on automatic flow analysis methods. The need for such methods has been further motivated by recent case-studies on static WCET analysis with embedded system vendors [7,8,32]. We have found it especially important is to focus on automatic methods for loop bound analysis, since these annotations have been found particularly troublesome to give.…”
Section: Static Wcet Analysis Overviewmentioning
confidence: 99%