• 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