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 


  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