University of Hertfordshire

By the same authors

Context-sensitivity in IPET for measurement-based timing analysis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Context-sensitivity in IPET for measurement-based timing analysis. / Zolda, M.; Bünte, S.; Kirner, Raimund.

Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Springer, 2010. p. 487-490 (Lecture Notes in Computer Science; Vol. 6416).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Zolda, M, Bünte, S & Kirner, R 2010, Context-sensitivity in IPET for measurement-based timing analysis. in Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Lecture Notes in Computer Science, vol. 6416, Springer, pp. 487-490. https://doi.org/10.1007/978-3-642-16561-0_45

APA

Zolda, M., Bünte, S., & Kirner, R. (2010). Context-sensitivity in IPET for measurement-based timing analysis. In Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II (pp. 487-490). (Lecture Notes in Computer Science; Vol. 6416). Springer. https://doi.org/10.1007/978-3-642-16561-0_45

Vancouver

Zolda M, Bünte S, Kirner R. Context-sensitivity in IPET for measurement-based timing analysis. In Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Springer. 2010. p. 487-490. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-16561-0_45

Author

Zolda, M. ; Bünte, S. ; Kirner, Raimund. / Context-sensitivity in IPET for measurement-based timing analysis. Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Springer, 2010. pp. 487-490 (Lecture Notes in Computer Science).

Bibtex

@inproceedings{bb73757b719246838226812a966cc36d,
title = "Context-sensitivity in IPET for measurement-based timing analysis",
abstract = "The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-critical software components. While the technique works fine whenever fixed execution times can be assumed for the atomic program parts, standard IPET does not consider the context-dependence of execution times. As a result, the obtained WCET bounds can often be overly pessimistic. The issue of context-dependence has previously been addressed in the field of static timing analysis, where context-dependent execution times of program parts can be extracted from a hardware model. In the case of measurement-based execution time analysis, however, contexts must be derived from timed execution traces. In the present extended abstract we present an overview of our work on the automatic detection and exploitation of context dependencies from timed execution traces. {\textcopyright} 2010 Springer-Verlag.",
author = "M. Zolda and S. B{\"u}nte and Raimund Kirner",
note = "The original publication is available at www.springerlink.com Copyright Springer Verlag",
year = "2010",
doi = "10.1007/978-3-642-16561-0_45",
language = "English",
isbn = "978-3-642-16560-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "487--490",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

}

RIS

TY - GEN

T1 - Context-sensitivity in IPET for measurement-based timing analysis

AU - Zolda, M.

AU - Bünte, S.

AU - Kirner, Raimund

N1 - The original publication is available at www.springerlink.com Copyright Springer Verlag

PY - 2010

Y1 - 2010

N2 - The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-critical software components. While the technique works fine whenever fixed execution times can be assumed for the atomic program parts, standard IPET does not consider the context-dependence of execution times. As a result, the obtained WCET bounds can often be overly pessimistic. The issue of context-dependence has previously been addressed in the field of static timing analysis, where context-dependent execution times of program parts can be extracted from a hardware model. In the case of measurement-based execution time analysis, however, contexts must be derived from timed execution traces. In the present extended abstract we present an overview of our work on the automatic detection and exploitation of context dependencies from timed execution traces. © 2010 Springer-Verlag.

AB - The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-critical software components. While the technique works fine whenever fixed execution times can be assumed for the atomic program parts, standard IPET does not consider the context-dependence of execution times. As a result, the obtained WCET bounds can often be overly pessimistic. The issue of context-dependence has previously been addressed in the field of static timing analysis, where context-dependent execution times of program parts can be extracted from a hardware model. In the case of measurement-based execution time analysis, however, contexts must be derived from timed execution traces. In the present extended abstract we present an overview of our work on the automatic detection and exploitation of context dependencies from timed execution traces. © 2010 Springer-Verlag.

UR - http://www.scopus.com/inward/record.url?scp=78650265808&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-16561-0_45

DO - 10.1007/978-3-642-16561-0_45

M3 - Conference contribution

SN - 978-3-642-16560-3

T3 - Lecture Notes in Computer Science

SP - 487

EP - 490

BT - Leveraging Applications of Formal Methods, Verification and Validation

PB - Springer

ER -