Scipediacontent: Scipediacontent moved page Draft Content 267095816 to Lisper et al 2008a

2021-01-28T17:37:09Z

Scipediacontent moved page Draft Content 267095816 to Lisper et al 2008a

Scipediacontent: Created page with " == Abstract == Hard real-time systems have stringent timing constraints expressed in units of time. To ensure that a task finishes within its time-frame, the designer of suc..."

2021-01-28T17:37:06Z

Created page with " == Abstract == Hard real-time systems have stringent timing constraints expressed in units of time. To ensure that a task finishes within its time-frame, the designer of suc..."

New page

== Abstract ==

Hard real-time systems have stringent timing constraints expressed in units of time. To ensure that a task finishes within its time-frame, the designer of sucha system must be able to derive upper bounds on the task's worst-case execution time (WCET). To compute such upper bounds, timing analyses are used. These analyses require that information such as bounds on the maximum numbers of loop iterations are known statically, i.e. during design time. Parametric timing analysis softens these requirements: it yields symbolic formulas instead of single numeric values representing the upper bound on the task's execution time. In this paper, we present a new parametric timing analysis that is able to derive safe and precise results. Our method determines what the parameters ofthe program are, constructs parametric loop bounds, takes processor behavior into account and attains a formula automatically. In the end, we present tests to show that the precision and runtime of our analysis are very close to those of numeric timing analysis.

== Original document ==

The different versions of the original document can be found in:

* [http://dx.doi.org/10.1109/RTCSA.2008.7 http://dx.doi.org/10.1109/RTCSA.2008.7]

* [http://www.es.mdh.se/pdf_publications/1368.pdf http://www.es.mdh.se/pdf_publications/1368.pdf]

* [http://www.es.mdh.se/pdf_publications/1368.pdf http://www.es.mdh.se/pdf_publications/1368.pdf],
: [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004617306 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004617306],
: [http://www.diva-portal.org/smash/record.jsf?pid=diva2:237284 http://www.diva-portal.org/smash/record.jsf?pid=diva2:237284],
: [https://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2008.html#AltmeyerHLW08 https://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2008.html#AltmeyerHLW08],
: [https://doi.org/10.1109/RTCSA.2008.7 https://doi.org/10.1109/RTCSA.2008.7],
: [https://dl.acm.org/citation.cfm?id=1438574 https://dl.acm.org/citation.cfm?id=1438574],
: [http://ieeexplore.ieee.org/document/4617306 http://ieeexplore.ieee.org/document/4617306],
: [https://academic.microsoft.com/#/detail/2143109439 https://academic.microsoft.com/#/detail/2143109439]

* [http://xplorestaging.ieee.org/ielx5/4617258/4617259/04617306.pdf?arnumber=4617306 http://xplorestaging.ieee.org/ielx5/4617258/4617259/04617306.pdf?arnumber=4617306],
: [http://dx.doi.org/10.1109/rtcsa.2008.7 http://dx.doi.org/10.1109/rtcsa.2008.7]

* [https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/69880 https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/69880],
: [https://doi.org/10.1109/rtcsa.2008.7 https://doi.org/10.1109/rtcsa.2008.7]

← Older revision	Revision as of 17:37, 28 January 2021
(No difference)

Lisper et al 2008a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 267095816 to Lisper et al 2008a

Scipediacontent: Created page with " == Abstract == Hard real-time systems have stringent timing constraints expressed in units of time. To ensure that a task finishes within its time-frame, the designer of suc..."