Browsing by Author "Kirner, Raimund"

Now showing items 1-20 of 89

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

    • ATMP-CA: Optimising Mixed-Criticality Systems Considering Criticality Arithmetic 

      Fadlelseed, Sajid; Kirner, Raimund; Menon, Catherine (2021-06-06)
      Many safety-critical systems use criticality arithmetic, an informal practice of implementing a higher-criticality function by combining several lower-criticality redundant components or tasks. This lowers the cost of ...

    • ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems 

      Kirner, Raimund; Menon, Catherine; Iacovelli, Saverio (Institute of Electrical and Electronics Engineers (IEEE), 2018-06-08)
      The challenge of mixed-criticality scheduling is to keep tasks of higher criticality running in case of resource shortages caused by faults. Traditionally, mixedcriticality scheduling has focused on methods to handle faults ...

    • Automated formal verification and testing of C programs for embedded systems 

      Kandl, Susanne; Kirner, Raimund; Puschner, Peter (Institute of Electrical and Electronics Engineers (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 ...

    • Automatic calculation of coverage profiles for coverage-based testings 

      Kirner, Raimund; Haas, W. (2009)
      Code-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also used for the development of ...

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

    • Automotive Forensics - Can You Trust Your Car? (Keynote Talk) 

      Kirner, Raimund (2021-11-17)
      The issue We tend to have good memories of our exploits and adventures in our car, as our car became a close companion in our daily life. However, have you thought about what your car knows about you, perhaps even secrets ...

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

    • Beyond loop bounds : comparing annotation languages for worst-case execution time analysis 

      Kirner, Raimund; Knoop, Jens; Prantl, Adrian; Schordan, Markus; Kadlec, Albrecht (2011-07)
      Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take. This information is indispensable for developing safety-critical ...

    • CAL : a language for aggregating functional and extrafunctional constraints in streaming networks 

      Shafarenko, Alex; Kirner, Raimund (University of Hertfordshire, 2011)
      In this article we present the Constraint Aggregation Language (CAL), a declarative language for describing properties of stateless program components that interact by exchanging messages. CAL allows one to describe ...

    • Calculating WCET Estimates from Timed Traces 

      Zolda, Michael; Kirner, Raimund (2015-09-01)
      Real-time systems engineers face a daunting duty: They must ensure that each task in their system can always meet its deadline. To analyse schedulability they must know the worst-case execution time (WCET) of each task. ...

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

    • Compiler Support for Measurement-based Timing Analysis 

      Kirner, Raimund; Zolda, Michael (2011)
      Measurement-based timing analysis (MBTA) techniques have been developed as a complimentary to static WCET analysis, in order to exploit worst-case execution time (WCET) analysis at early stages of system development. The ...

    • Compiler-support for robust multi-core computing 

      Kirner, Raimund; Herhut, Stephan; Scholz, Sven-Bodo (Springer Nature, 2010)
      Embedded computing is characterised by the limited availability of computing resources. Further, embedded systems are often used in safety-critical applications with real-time constraints. Thus, the software development ...

    • Component Interfaces with Loosely Synchronous Communication 

      Kirner, Raimund; Maurer, Simon; Tveretina, Olga (Institute of Electrical and Electronics Engineers (IEEE), 2021-08-13)
      Interface automata have been introduced as a way to advance from value and domain descriptions of type systems to temporal interface descriptions. The original introduction of interface automata used a notion of buffered ...

    • Context-sensitive measurement-based worst-case execution time estimation 

      Zolda, M.; Bünte, S.; Kirner, Raimund (Institute of Electrical and Electronics Engineers (IEEE), 2011)
      The goal of measurement-based WCET estimation (MBWE) is to derive an estimate of the worst-case execution time (WCET) of a given piece of software on a particular target platform by executing the software on the target ...

    • Context-sensitivity in IPET for measurement-based timing analysis 

      Zolda, M.; Bünte, S.; Kirner, Raimund (Springer Nature, 2010)
      The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-critical software components. While the technique ...

    • Cross-criticality Interfaces for Cyber-physical Systems 

      Maurer, Simon; Kirner, Raimund (2015-06)
      Cyber-physical systems (CPS) are typically sys- tems with services of mixed criticality. For different criticali- ties of systems, different progress models and communication types have been developed, depending whether ...