TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis

Authors Daniel Kästner, Markus Pister, Simon Wegener, Christian Ferdinand



PDF
Thumbnail PDF

File

OASIcs.WCET.2019.1.pdf
  • Filesize: 379 kB
  • 11 pages

Document Identifiers

Author Details

Daniel Kästner
  • AbsInt Angewandte Informatik GmbH, Science Park 1, 66123 Saarbrücken, Germany
Markus Pister
  • AbsInt Angewandte Informatik GmbH, Science Park 1, 66123 Saarbrücken, Germany
Simon Wegener
  • AbsInt Angewandte Informatik GmbH, Science Park 1, 66123 Saarbrücken, Germany
Christian Ferdinand
  • AbsInt Angewandte Informatik GmbH, Science Park 1, 66123 Saarbrücken, Germany

Cite AsGet BibTex

Daniel Kästner, Markus Pister, Simon Wegener, and Christian Ferdinand. TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis. In 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019). Open Access Series in Informatics (OASIcs), Volume 72, pp. 1:1-1:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/OASIcs.WCET.2019.1

Abstract

Many embedded control applications have real-time requirements. If the application is safety-relevant, worst-case execution time bounds have to be determined in order to demonstrate deadline adherence. For high-performance multi-core architectures with degraded timing predictability, WCET bounds can be computed by hybrid WCET analysis which combines static analysis with timing measurements. This article focuses on a novel tool for hybrid WCET analysis based on non-intrusive instruction-level real-time tracing.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
  • Software and its engineering → Real-time schedulability
Keywords
  • Worst-Case Execution Time (WCET) Analysis
  • Real-time Tracing
  • Functional Safety

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. AbsInt Angewandte Informatik GmbH. aiT Worst-Case Execution Time Analyzer. URL: http://absint.com/ait.
  2. AbsInt Angewandte Informatik GmbH. TimeWeaver: Hybrid Worst-Case Timing Analysis. URL: http://absint.com/timeweaver.
  3. ARM Ltd. CoreSighttrademark Program Flow Tracetrademark PFTv1.0 and PFTv1.1 Architecture Specification, 2011. ARM IHI 0035B. Google Scholar
  4. Guillem Bernat and Adam Betts. Tree-Based WCET Analysis on Instrumentation Point Graphs. In Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06), pages 558-565, 2006. URL: http://dx.doi.org/10.1109/ISORC.2006.75.
  5. Guillem Bernat, Antoine Colin, and Stefan M. Petters. WCET Analysis of Probabilistic Hard Real-Time Systems. In Proceedings of the 23rd Real-Time Systems Symposium RTSS 2002, pages 279-288, 2002. Google Scholar
  6. Guillem Bernat, Antoine Colin, and Stefan M. Petters. pWCET: A tool for probabilistic Worst-Case Execution Time Analysis of Real-Time Systems. YCS-2003-353, Department of Computer Science, University of York, February 2003. Google Scholar
  7. Adam Betts, Nicholas Merriam, and Guillem Bernat. Hybrid measurement-based WCET analysis at the source level using object-level traces. In Björn Lisper, editor, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), volume 15 of OpenAccess Series in Informatics (OASIcs), pages 54-63, Dagstuhl, Germany, 2010. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. URL: http://dx.doi.org/10.4230/OASIcs.WCET.2010.54.
  8. Boris Dreyer, Christian Hochberger, Alexander Lange, Simon Wegener, and Alexander Weiss. Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs. In Martin Schoeberl, editor, 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), volume 55 of OpenAccess Series in Informatics (OASIcs), pages 4:1-4:11, Dagstuhl, Germany, 2016. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. URL: http://dx.doi.org/10.4230/OASIcs.WCET.2016.4.
  9. IEEE-ISTO. IEEE-ISTO 5001trademark-2012, The Nexus 5001trademark Forum Standard for a Global Embedded Processor Debug Interface, 2012. Google Scholar
  10. Lauterbach GmbH. Lauterbach Website. URL: http://www.lauterbach.com.
  11. NXP Semiconductors. QorIQtrademark T1040 Reference Manual, 2015. Google Scholar
  12. Karsten Schmidt, Denny Marx, Jens Harnisch, Albrecht Mayer, Udo Dannebaum, and Herbert Christlbauer. Non-Intrusive Tracing at First Instruction, 2015. SAE Technical Paper 2015-01-0176. URL: http://dx.doi.org/10.4271/2015-01-0176.
  13. Stefan Stattelmann and Florian Martin. On the Use of Context Information for Precise Measurement-Based Execution Time Estimation. In B. Lisper, editor, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), volume 15 of OpenAccess Series in Informatics (OASIcs), pages 64-76. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010. URL: http://dx.doi.org/10.4230/OASIcs.WCET.2010.64.
  14. Henrik Theiling. Control Flow Graphs for Real-Time System Analysis. Reconstruction from Binary Executables and Usage in ILP-Based Path Analysis. PhD thesis, Saarland University, 2003. Google Scholar
  15. Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat, and Per Stenström. The Worst-Case Execution-Time Problem - Overview of Methods and Survey of Tools. ACM Transactions on Embedded Computing Systems, 7(3):1-53, 2008. URL: http://dx.doi.org/10.1145/1347375.1347389.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail