Now showing items 1-18 of 18

    • Asynchronous vs. Synchronous Interfacing to Time-Triggered Communication Systems 

      Puschner, Peter; Kirner, Raimund (2020-02-01)
      Time-triggered communication facilitates the construction of multi-component real-time systems whose components are in control of their temporal behaviour. However, the interface of a time-triggered communication system ...
    • Automated formal verification and testing of C programs for embedded systems 

      Kandl, Susanne; Kirner, Raimund; Puschner, Peter (IEEE, 2007)
      In this paper, we introduce an approach for automated verification and testing of ANSI C programs for embedded systems. We automatically extract an automaton model from the C code of the SUT (system under test). This ...
    • Code Transformations to Prevent Timing Anomalies 

      Kadlec, Albrecht; Kirner, Raimund; Puschner, Peter (2011-11)
      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 ...
    • Cross-platform verification framework for embedded systems 

      Wenzel, Ingomar; Kirner, Raimund; Rieder, Bernhard; Puschner, Peter (Springer, 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 ...
    • Error Detection Rate of MC/DC for a Case Study from the Automotive Domain 

      Kandl, Susanne; Kirner, Raimund (Springer, 2010)
      Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100% for an increasing number of test cases, ...
    • From time-triggered to time-deterministic real-time systems 

      Puschner, Peter; Kirner, Raimund (Springer, 2006)
      With the increased use of powerful, performance-optimized hardware components in embedded systems, timing prediction is getting more and more complex. Thus while the execution speed of software is generally increasing, it ...
    • Interfacing to Time-Triggered Communication Systems 

      Puschner, Peter; Kirner, Raimund (2019-07-11)
      Time-triggered communication facilitates the construction of multi-component real-time systems whose components are in control of their temporal behavior. However, the interface of a time-triggered communication system has ...
    • Measurement-Based Timing Analysis 

      Wenzel, Ingomar; Kirner, Raimund; Rieder, Bernhard; Puschner, Peter (Springer, 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 ...
    • Model-driven design and organic computing - combinable strategies? 

      Puschner, Peter; Kirner, Raimund (IEEE COMPUTER SOC, 2009)
      This position paper discusses the possibility to combine organic computing and model-driven design.
    • Obstacles in worst-case execution time analysis 

      Kirner, Raimund; Puschner, Peter (IEEE, 2008)
      The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information automatically. In this paper we present the ...
    • 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 ...
    • Precise worst-case execution time analysis for processors with timing anomalies 

      Kirner, Raimund; Kadlec, Albrecht; Puschner, Peter (IEEE, 2009)
      This paper explores timing anomalies in WCET analysis.Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify the WCET assessment. So far, timing anomalies ...
    • A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses 

      Kirner, Raimund; Puschner, Peter (2021-04-28)
      Nodes connected to a time-triggered (TT) network can access the network interface in two different ways, synchronously or asynchronously, which greatly impacts communication timing and message lifespans (i.e., the time ...
    • A Single-Path Chip-Multiprocessor System 

      Schoeberl, Martin; Puschner, Peter; Kirner, Raimund (Springer, 2009)
      In this paper we explore the combination of a time-predictable chip-multiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main memory access provides time-predictable memory load ...
    • Time-Predictable Computing 

      Kirner, Raimund; Puschner, Peter (Springer, 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 ...
    • Time-predictable task preemption for real-time systems with direct-mapped instruction cache 

      Kirner, Raimund; Puschner, Peter (IEEE, 2007)
      Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded software is generally increasing, it becomes ...
    • Towards composable timing for real-time programs 

      Puschner, Peter; Kirner, Raimund; Pettit, Robert G. (IEEE COMPUTER SOC, 2009)
      Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient ...
    • Transforming flow information during code optimization for timing analysis 

      Kirner, Raimund; Puschner, Peter; Prantl, Adrian (2010-06)
      The steadily growing embedded-systems market comprises many application domains in which real-time constraints must be satisfied. To guarantee that these constraints are met, the analysis of the worst-case execution time ...