• EN
  • DA

Danish NationalResearch Database

  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the phrase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
bech{} containing the word "bech".
marie bech"{}" containing the phrase "marie bech".
orcid:0000-0002-5429-5292orcid:{} Having a particular ORCID
Need more help? Advanced search tutorial
  • Selected (0)
  • History

Criticality: static profiling for real-time programs

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Brandner, Florian ;
    Close
    Department of Applied Mathematics and Computer Science, Technical University of Denmark
  • Hepp, Stefan ;
    Close
    Vienna University of Technology
  • Jordan, Alexander
    Close
    Vienna University of Technology
DOI:
10.1007/s11241-013-9196-y
Abstract:
With the increasing performance demand in real-time systems it becomes more and more important to provide feedback to programmers and software development tools on the performance-relevant code parts of a real-time program. So far, this information was limited to an estimation of the worst-case execution time (WCET) and its associated worst-case execution path (WCEP) only. However, both, the WCET and the WCEP, only provide partial information. Only code parts that are on one of the WCEPs are indicated to the programmer. No information is provided for all other code parts. To give a comprehensive view covering the entire code base, tools in the spirit of program profiling are required. This work proposes an efficient approach to compute worst-case timing information for all code parts of a program using a complementary metric, called criticality. Every statement of a program is assigned a criticality value, expressing how critical the code is with respect to the global WCET. This gives valuable information how close the worst execution path passing through a specific program part is to the global WCEP. We formally define the criticality metric and investigate some of its properties with respect to dominance in control-flow graphs. Exploiting some of those properties, we propose an algorithm that reduces the overhead of computing the metric to cover complete programs. We also investigate ways to efficiently find only those code parts whose criticality is above a given threshold. Experiments using well-established real-time benchmark programs show an interesting distribution of the criticality values, revealing considerable amounts of highly critical as well as uncritical code. The metric thus provides ideal information to programmers and software development tools to optimize the worst-case execution time of these programs.
Type:
Journal article
Language:
English
Published in:
Real-time Systems, 2014, Vol 50, Issue 3, p. 377-410
Main Research Area:
Science/technology
Submission year:
2014
ID:
255279925

Full text access

  • Doi Get publisher edition via DOI resolver
Checking for on-site access...

On-site access

At institution

  • Technical university of dk

Metrics

Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and Personal Data
  • Open Access
    • The Danish Open Access Indicator

Copyright © 1998–2018.

Fivu en