DocumentCode :
2287813
Title :
Inter-task WCET computation for a-way instruction caches
Author :
Nemer, Fadia ; Casse, Hugues ; Sainrat, Pascal ; Bahsoun, Jean Paul
Author_Institution :
Inst. de Rech. en Inf. de Toulouse, Univ. de Toulouse, Toulouse
fYear :
2008
fDate :
11-13 June 2008
Firstpage :
169
Lastpage :
176
Abstract :
In hard real-time applications, Worst Case Execution Time (WCET) is used to check time constraints of the whole system but is only computed at the task level. As most WCET computation methods assume a conservative approach to handle the processor state before the execution of a task, the inter-task analysis of long effect hardware features should improve the accuracy of the result. As an example, we propose to analyze the behavior of an A-way associative instruction cache, by combining inter-and intra-task instruction cache analysis. The aim is to estimate more accurately the number of cache misses due to task chaining by considering task Entry and Exit states along the inter-task analysis. The initial tasks WCETs can be computed by any existing single-task approach that models the instruction cache behavior. A second method is also introduced in this paper which consists in injecting the inter-task cache states in the intra-task WCET analysis, to get more precise numbers.
Keywords :
cache storage; data flow analysis; real-time systems; WCET computation; a-way associative instruction cache; cache analysis; instruction caches; inter-task analysis; time constraints; worst case execution time; Computer aided instruction; Computer networks; Hardware; Indium phosphide; Processor scheduling; Real time systems; Time factors; Timing; Turing machines; Uninterruptible power systems; Data Flow Analyses; Worst Case Execution Time;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Embedded Systems, 2008. SIES 2008. International Symposium on
Conference_Location :
Le Grande Motte
Print_ISBN :
978-1-4244-1994-4
Electronic_ISBN :
978-1-4244-1995-1
Type :
conf
DOI :
10.1109/SIES.2008.4577696
Filename :
4577696
Link To Document :
بازگشت