Scipediacontent: Scipediacontent moved page Draft Content 104302411 to Puschner et al 2009a

2021-02-03T17:05:51Z

Scipediacontent moved page Draft Content 104302411 to Puschner et al 2009a

Scipediacontent: Created page with " == Abstract == This paper explores timing anomalies in WCET analysis.Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer str..."

2021-02-03T17:05:48Z

Created page with " == Abstract == This paper explores timing anomalies in WCET analysis.Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer str..."

New page

== Abstract ==

This paper explores timing anomalies in WCET analysis.Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify the WCET assessment.So far, timing anomalies have been described as a problem that occurs when the WCET of a control-flow graph is computed from the WCETs of its subgraphs, i.e., from a series decomposition. This paper extends the state of the art by (i) showing that timing anomalies can as well occur in a parallel decomposition of the WCET problem, i.e., when complexity is reduced by splitting the hardware state space and performing a separate WCET analysis for hardware components that work in parallel, (ii) proving that the potential occurrence of parallel timing anomalies makes the parallel decomposition technique unsafe (i.e., one cannot guarantee that the calculated WCET bound does not underestimate the WCET), and (iii) identifying special cases of parallel timing anomalies for which the parallel decomposition technique is safe. The latter provides an important hint to hardware designers on their way to constructing predictable hardware components.

== Original document ==

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

* [http://uhra.herts.ac.uk/bitstream/2299/6176/1/905628.pdf http://uhra.herts.ac.uk/bitstream/2299/6176/1/905628.pdf]

* [http://www.artist-embedded.org/docs/Events/2009/TimingAnalysis/Jan21meeting/slides_kirner_timing_anomalies.pdf http://www.artist-embedded.org/docs/Events/2009/TimingAnalysis/Jan21meeting/slides_kirner_timing_anomalies.pdf],
: [https://uhra.herts.ac.uk/bitstream/handle/2299/6176/905628.pdf?sequence=1 https://uhra.herts.ac.uk/bitstream/handle/2299/6176/905628.pdf?sequence=1],
: [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005161508 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005161508],
: [https://uhra.herts.ac.uk/handle/2299/6176 https://uhra.herts.ac.uk/handle/2299/6176],
: [http://uhra.herts.ac.uk/bitstream/2299/6176/1/905628.pdf http://uhra.herts.ac.uk/bitstream/2299/6176/1/905628.pdf],
: [https://ieeexplore.ieee.org/document/5161508 https://ieeexplore.ieee.org/document/5161508],
: [http://ieeexplore.ieee.org/document/5161508 http://ieeexplore.ieee.org/document/5161508],
: [https://dblp.uni-trier.de/db/conf/ecrts/ecrts2009.html#KirnerKP09 https://dblp.uni-trier.de/db/conf/ecrts/ecrts2009.html#KirnerKP09],
: [http://www.vmars.tuwien.ac.at/documents/extern/2610/paper_final_ECRTS09.pdf http://www.vmars.tuwien.ac.at/documents/extern/2610/paper_final_ECRTS09.pdf],
: [https://www.researchgate.net/profile/Peter_Puschner/publication/221224189_Precise_Worst-Case_Execution_Time_Analysis_for_Processors_with_Timing_Anomalies/links/09e41506e9998a8b1e000000.pdf https://www.researchgate.net/profile/Peter_Puschner/publication/221224189_Precise_Worst-Case_Execution_Time_Analysis_for_Processors_with_Timing_Anomalies/links/09e41506e9998a8b1e000000.pdf],
: [https://academic.microsoft.com/#/detail/2151372866 https://academic.microsoft.com/#/detail/2151372866]

* [http://xplorestaging.ieee.org/ielx5/5161487/5161488/05161508.pdf?arnumber=5161508 http://xplorestaging.ieee.org/ielx5/5161487/5161488/05161508.pdf?arnumber=5161508],
: [http://dx.doi.org/10.1109/ecrts.2009.8 http://dx.doi.org/10.1109/ecrts.2009.8]

← Older revision	Revision as of 17:05, 3 February 2021
(No difference)

Puschner et al 2009a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 104302411 to Puschner et al 2009a

Scipediacontent: Created page with " == Abstract == This paper explores timing anomalies in WCET analysis.Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer str..."