Browsing by Author "Kalogeraki, V"

Now showing items 1-2 of 2

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

    • Time-predictable task preemption for real-time systems with direct-mapped instruction cache 

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