Browsing Research publications 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 (Institute of Electrical and Electronics Engineers (IEEE), 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 ...