Sciweavers

Share
ISOLA
2004
Springer

Static Timing Analysis of Real-Time Operating System Code

9 years 4 months ago
Static Timing Analysis of Real-Time Operating System Code
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 arise when applying the current WCET analysis methods to this particular kind of code. In particular, we were interested in how labor-intense the analysis becomes, measured by the number of annotations to explicitly constrain the program flow which is necessary to perform the analysis. We also make some qualitative observations regarding what a WCET analysis method would need in order to perform a both convenient and tight analysis of typical operating systems code. In a second set of exp...
Daniel Sandell, Andreas Ermedahl, Jan Gustafsson,
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where ISOLA
Authors Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Comments (0)
books