Browsing by Author "Rieder, Bernhard"

Now showing items 1-3 of 3

    • Cross-platform verification framework for embedded systems 

      Wenzel, Ingomar; Kirner, Raimund; Rieder, Bernhard; Puschner, Peter (Springer Nature, 2007-09)
      Many innovations in the automotive sector involve complex electronics and embedded software systems. Testing techniques are one of the key methodologies for detecting faults in such embedded systems.In this paper, a novel ...

    • Measurement-Based Timing Analysis 

      Wenzel, Ingomar; Kirner, Raimund; Rieder, Bernhard; Puschner, Peter (Springer Nature, 2009)
      In this paper we present a measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end execution-time measurements are computationally intractable in most cases. Therefore, we propose to measure ...

    • Portable data exchange for remote-testing frameworks 

      Kirner, Raimund; Puschner, Peter; Wenzel, Ingomar; Rieder, Bernhard (IEEE COMPUTER SOC, 2006)
      To communicate between heterogeneous computer systems, mechanisms for data conversion are necessary. In this paper we present a portable, asymmetric data conversion method that is suitable for remote testing frameworks in ...