Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked





Author, Editor

Author(s):

Althaus, Ernst
Altmeyer, Sebastian
Naujoks, Rouven

dblp
dblp
dblp

Not MPG Author(s):

Althaus, Ernst
Altmeyer, Sebastian

Editor(s):

Becker, Bernd
Damm, Werner
Fränzle, Martin
Olderog, Ernst-Rüdiger
Podelski, Andreas
Wilhelm, Reinhard

dblp
dblp
dblp
dblp
dblp
dblp

Not MPII Editor(s):

Becker, Bernd
Damm, Werner
Fränzle, Martin
Olderog, Ernst-Rüdiger
Podelski, Andreas
Wilhelm, Reinhard

BibTeX Citekey*:

Naujoks10a

Language:

English

Title, Institution

Title*:

A New Combinatorial Approach to Parametric Path Analysis

Institution*:

SFB/TR 14 AVACS

Publishers or Institutions Address*:

SFB/TR 14 AVACS

Type:

Reports of SFB/TR 14 AVACS

No, Year, pp.,

Number*:

ATR 58

Pages*:

33

Month:

June

VG Wort
Pages*:

33

Year*:

2010

ISBN/ISSN:

1860-9821





DOI:




Note, Abstract, ©

Note:


(LaTeX) Abstract:

Hard real-time systems require tasks to finish in time. To guarantee the timeliness of such a system, static timing analyses derive upper bounds on the \emph{worst-case execution time} of tasks. There are two types of timing analyses: numeric and parametric ones. A numeric analysis derives a numeric timing bound and, to this end, assumes all information such as loop bounds to be given a priori.
If these bounds are unknown during analysis time, a parametric analysis can compute a timing formula parametric in these variables.
A performance bottleneck of timing analyses, numeric and especially parametric, can be the so-called path analysis, which determines the path in the analyzed task with the longest execution time bound.
In this paper, we present a new approach to the path analysis.
This approach exploits the rather regular structure of software for hard real-time and safety-critical systems.
As we show in the evaluation of this paper, we strongly improve upon former techniques in terms of precision and runtime in the parametric case. Even in the numeric case, our approach matches up to state-of-the-art techniques and may be an alternative to commercial tools employed for path analysis.

Categories / Keywords:

Combinatorial Optimization

Copyright Message:


HyperLinks / References / URLs:

http://www.avacs.org/Publikationen/Open/avacs_technical_report_058.pdf

Personal Comments:


File Upload:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Algorithms and Complexity Group

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort


BibTeX Entry:
@TECHREPORT{Naujoks10a,
AUTHOR = {Althaus, Ernst and Altmeyer, Sebastian and Naujoks, Rouven},
EDITOR = {Becker, Bernd and Damm, Werner and Fr{\"a}nzle, Martin and Olderog, Ernst-R{\"u}diger and Podelski, Andreas and Wilhelm, Reinhard},
TITLE = {A New Combinatorial Approach to Parametric Path Analysis},
YEAR = {2010},
TYPE = {Reports of SFB/TR 14 AVACS},
INSTITUTION = {SFB/TR 14 AVACS},
NUMBER = {ATR 58},
PAGES = {33},
ADDRESS = {SFB/TR 14 AVACS},
MONTH = {June},
ISBN = {1860-9821},
}


Entry last modified by Anja Becker, 01/13/2011
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
01/07/2011 02:00:46 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Anja Becker
Rouven Naujoks
Rouven Naujoks
Rouven Naujoks
Rouven Naujoks
Edit Dates
13.01.2011 10:12:57
07.01.2011 14:08:37
07.01.2011 14:04:04
07.01.2011 14:03:13
07.01.2011 14:01:49
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section