Using a Runtime Measurement Device with Measurement-Based WCET Analysis

  • Bernhard Rieder
  • Ingomar Wenzel
  • Klaus Steinhammer
  • Peter Puschner
Part of the IFIP – The International Federation for Information Processing book series (IFIPAICT, volume 231)


Execution Time Model Check Execution Path Test Data Generation Bound Model Checker 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    G. Bernat, A. Colin, and S. M. Petters. WCET Analysis of Probabilistic Hard Real-Time Systems. RTSS, 00:279, 2002.Google Scholar
  2. [2]
    E. Clarke and D. Kroening. ANSI-C Bounded Model Checker User Manual. August 2 2006.Google Scholar
  3. [3]
    R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm. The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE, 91(7):1038-1054, 2003.CrossRefGoogle Scholar
  4. [4]
    H. Heinecke, K. Schnelle, H. Fennel, J. Bortolazzi, L. Lundh, J. Leflour, J. Maté, K. Nishikawa, and T. Scharnhorst. AUTomotive Open System ARchitecture-An IndustryWide Initiative to Manage the Complexity of Emerging Automotive E/E Architectures. Proc. Convergence, SAE-2004-21-0042, 2004.Google Scholar
  5. [5]
    S. Petters. Bounding the execution time of real-time tasks on modern processors. RealTime Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on, pages 498-502, 2000.Google Scholar
  6. [6]
    S. M. Petters. Comparison of trace generation methods for measurement based WCET analysis. In 3nd Intl. Workshop on Worst Case Execution Time Analysis, Porto, Portugal, July 1 2003. Satellite Workshop of the 15th Euromicro Conference on Real-Time Systems.Google Scholar
  7. [7]
    Rapita Systems. Rapitime whitepaper. 2005.Google Scholar
  8. [8]
    C. Thomborson and Y. Yu. MEASURING DATA CACHE AND TLB PARAMETERS UNDER LINUX. Proceedings of the 2000 Symposium on Performance Evaluation of Computer and Telecommunication Systems, pages 383-390, 2000.Google Scholar
  9. [9]
    I. Wenzel. Measurement-Based Timing Analysis of Superscalar Processors. PhD thesis, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 3/3/182-1, 1040 Vienna, Austria, 2006.Google Scholar
  10. [10]
    I. Wenzel, R. Kirner, B. Rieder, and P. Puschner. Measurement-based worst-case execution time analysis. Software Technologies for Future Embedded and Ubiquitous Systems, 2005. SEUS 2005. Third IEEE Workshop on, pages 7-10, 2005.Google Scholar
  11. [11]
    I. Wenzel, B. Rieder, R. Kirner, and P. Puschner. Automatic timing model generation by cfg partitioning and model checking. In Proc. Conference on Design, Automation, and Test in Europe, Mar. 2005.Google Scholar

Copyright information

© International Federation for Information Processin 2007

Authors and Affiliations

  • Bernhard Rieder
    • 1
  • Ingomar Wenzel
    • 2
  • Klaus Steinhammer
    • 3
  • Peter Puschner
    • 4
  1. 1.Institut für Technische InformatikTechnische Universität WienAustria
  2. 2.Institut für Technische InformatikTechnische Universität WienAustria
  3. 3.Institut für Technische InformatikTechnische Universität WienAustria
  4. 4.Institut für Technische InformatikTechnische Universität WienAustria

Personalised recommendations