Transforming flow information during code optimization for timing analysis

19Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

The steadily growing embedded-systems market comprises many application domains in which real-time constraints must be satisfied. To guarantee that these constraints are met, the analysis of the worst-case execution time (WCET) of software components is mandatory. In general WCET analysis needs additional control-flow information, which may be provided manually by the user or calculated automatically by program analysis. For flexibility and simplicity reasons it is desirable to specify the flow information at the same level at which the program is developed, i.e., at the source level. In contrast, to obtain precise WCET bounds the WCET analysis has to be performed at machine-code level. Mapping and transforming the flow information from the source-level down to the machine code, where flow information is used in the WCET analysis, is challenging, even more so if the compiler generates highly optimized code. In this article we present a method for transforming flow information from source code to machine code. To obtain a mapping that is safe and accurate, flow information is transformed in parallel to code transformations performed by an optimizing compiler. This mapping is not only useful for transforming manual code annotations but also if platform-independent flow information is automatically calculated at the source level. We show that our method can be applied to every type of semantics-preserving code transformation. The precision of this flow-information transformation allows its users to calculate tight WCET bounds. © The Author(s) 2010.

References Powered by Scopus

The worst-case execution-time problem-overview of methods and survey of tools

1399Citations
N/AReaders
Get full text

Performance analysis of embedded software using implicit path enumeration

219Citations
N/AReaders
Get full text

Reliable and precise WCET determination for a real-life processor

199Citations
N/AReaders
Get full text

Cited by Powered by Scopus

T-CREST: Time-predictable multi-core architecture for embedded systems

182Citations
N/AReaders
Get full text

Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach

84Citations
N/AReaders
Get full text

Traceability of flow information: Reconciling compiler optimizations and WCET estimation

18Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Kirner, R., Puschner, P., & Prantl, A. (2010). Transforming flow information during code optimization for timing analysis. Real-Time Systems, 45(1–2), 72–105. https://doi.org/10.1007/s11241-010-9091-8

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 8

80%

Professor / Associate Prof. 1

10%

Researcher 1

10%

Readers' Discipline

Tooltip

Computer Science 11

100%

Article Metrics

Tooltip
Mentions
References: 1

Save time finding and organizing research with Mendeley

Sign up for free