Browsing by Author "Rieder, B"

Now showing items 1-3 of 3

    • Automatic timing model generation by CFG partitioning and model checking 

      Wenzel, I; Rieder, B; Kirner, Raimund; Puschner, P. (IEEE COMPUTER SOC, 2005)
      We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of ...

    • Impact of dependable software development guidelines on timing analysis 

      Wenzel, I; Kirner, Raimund; Schlager, M.; Rieder, B; Huber, B. (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      The knowledge of the worst-case execution time (WCET) of real-time tasks is mandatory to ensure correct timing behavior of real-time systems. However, in practice an exact WCET analysis is often intractable due to limitations ...

    • Measurement-based worst-case execution time analysis 

      Wenzel, I; Kirner, Raimund; Rieder, B; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more powerful and complex computer hardware. Due ...