Browsing University of Hertfordshire by Author "Puschner, P."

Now showing items 1-18 of 18

    • 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 ...

    • Avoiding timing anomalies using code transformations 

      Kadlec, A.; Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2010)
      Divide-and-conquer approaches to worst-case execution-time analysis (WCET analysis) pose a safety risk when applied to code for complex modern processors: Interferences between the hardware acceleration mechanisms of these ...

    • Avoiding timing problems in real-time software 

      Puschner, P.; Kirner, Raimund (Institute of Electrical and Electronics Engineers (IEEE), 2003)
      To safely establish the correct timing of a real-time processing node, adequate architectural structures have to be used. This refers to the hardware architecture of the processing node as well as the software architecture ...

    • Classification of WCET analysis techniques 

      Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      Worst-case execution time (WCET) analysis has become an active research area over the last decade. Various techniques have been developed to improve the WCET calculation methods for numerous features of the hardware. In ...

    • Code analysis for temporal predictability 

      Gustafsson, J.; Lisper, B.; Kirner, Raimund; Puschner, P. (2006-03)
      The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy ...

    • 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 ...

    • Development of a framework for automated systematic testing of safety-critical embedded systems 

      Kandl, S.; Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2006)
      In this paper we introduce the development of a framework for testing safety-critical embedded systems based on the concepts of model-based testing. In model-based testing the test cases are derived from a model of the ...

    • Fully automatic worst-case execution time analysis for MATLAB/Simulink models 

      Kirner, Raimund; Lang, R.; Freiberger, G; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2002)
      In today's technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity of embedded systems steadily increases. To ...

    • Input-dependency analysis for hard real-time software 

      Gustafsson, J.; Lisper, B.; Kirner, Raimund; Puschner, P. (IEEE COMPUTER SOC, 2004)
      The execution time of soft-ware for hard real-time systems must be predictable. Further safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy ...

    • Intelligent editor for writing worst-case-execution-time-oriented programs 

      Fauster, J.; Kirner, Raimund; Puschner, P. (Springer Nature, 2003)
      To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCET analysis for modern processor is a quite complex ...

    • 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 ...

    • Principles of timing anomalies in superscalar processors 

      Wenzel, I.; Kirner, Raimund; Puschner, P.; Rieder, B. (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      The counter-intuitive timing behavior of certain features in superscalar processors that cause severe problems for existing worst-case execution time analysis (WCET) methods is called timing anomalies. In this paper, we ...

    • Single-path programming on a chip-multiprocessor system 

      Schoberl, M.; Puschner, P.; Kirner, Raimund (2009)
      In this paper we explore a time-predictable chip-multiprocessor (CMP) system based on single-path programming. To keep the timing constant, even in the case of shared memory access for the CMP cores, the tasks on the cores ...

    • Time-Predictable Computing 

      Kirner, Raimund; Puschner, Peter (Springer Nature, 2010)
      Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the community on concretizing the predictability of ...

    • Timing analysis of optimised code 

      Kirner, Raimund; Puschner, P. (IEEE COMPUTER SOC, 2003)
      Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capable to produce small and efficient code, ...

    • Timing analysis of optimized code 

      Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2003)
      Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are able to produce small and efficient code, ...

    • Transformation of meta-information by abstract Co- interpretation 

      Kirner, Raimund; Puschner, P. (Springer Nature, 2003)
      In this paper we present an approximation method based on abstract interpretation to transform meta-information in parallel with the transformation of concrete data. The meta-information is assumed to describe further ...

    • Transformation of path information for WCET analysis during compilation 

      Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2001)
      Performing worst-case execution time (WCET) analysis on machine code with program path annotation provided at high-level source code level requires the transformation of path annotations from the source-code level to ...