DocumentCode :
2616047
Title :
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache
Author :
Kirner, Raimund ; Puschner, Peter
Author_Institution :
Inst. fur Technische Informatik, Technische Univ., Wien
fYear :
2007
fDate :
7-9 May 2007
Firstpage :
87
Lastpage :
93
Abstract :
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 more and more complex to verify the correct temporal behavior of software, running on this high-end embedded computer systems. To achieve time-predictability the authors introduced a very rigid software execution model with distribution being realized based on the time-triggered communication model. In this paper we analyze the time-predictability of a preempting task-activation, running on a hardware with direct-mapped instruction caches. As one result we analyze why a task-preemption driven by a clock interrupt is not suitable to guarantee time-predictability. As a second result, we present a time-predictable task-preemption driven by an instruction counter.
Keywords :
cache storage; embedded systems; formal verification; direct-mapped instruction cache; direct-mapped instruction caches; embedded software; embedded systems; execution speed; high-end embedded computer systems; instruction counter; real-time systems; software execution model; time-predictability; time-predictable task preemption; time-triggered communication model; Clocks; Computer architecture; Counting circuits; Embedded software; Embedded system; Hardware; Pipelines; Real time systems; Software performance; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Object and Component-Oriented Real-Time Distributed Computing, 2007. ISORC '07. 10th IEEE International Symposium on
Conference_Location :
Santorini Island
Print_ISBN :
0-7695-2765-5
Type :
conf
DOI :
10.1109/ISORC.2007.56
Filename :
4208830
Link To Document :
بازگشت