AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Static Timing Analysis of Real-Time Operating System Code

ISoLA, (2006): 146-160

Cited: 55|Views35

Full Text

View via Publisher

Other Links

dl.acm.org dblp.uni-trier.de academic.microsoft.com

Bibtex

Keywords

different compilerstatic wcet analysisreal-time operating system codewcet analysis methodstandard wcet benchmark codeMore(11+)

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 anal- yse 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...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

[0]

[0]

[0]

[0]

Your rating :

No Ratings