A Generic and Compositional Framework for Multicore Response Time Analysis - Archive ouverte HAL Access content directly
Conference Papers Year :

A Generic and Compositional Framework for Multicore Response Time Analysis

(1) , (2, 3) , (3) , (4) , (5) , (6)
1
2
3
4
5
6

Abstract

In this paper, we introduce a Multicore Response Time Analysis (MRTA) framework. This framework is extensible to different multicore architectures, with various types and arrangements of local memory, and different arbitration policies for the common interconnects. We instantiate the framework for single level local data and instruction memories (cache or scratchpads), for a variety of memory bus arbitration policies, including: Round-Robin, FIFO, Fixed-Priority, Processor-Priority, and TDMA, and account for DRAM refreshes. The MRTA framework provides a general approach to timing verification for multicore systems that is parametric in the hardware configuration and so can be used at the architectural design stage to compare the guaranteed levels of performance that can be obtained with different hardware configurations. The MRTA framework decouples response time analysis from a reliance on context independent WCET values. Instead, the analysis formulates response times directly from the demands on different hardware resources.

Dates and versions

hal-01231700 , version 1 (20-11-2015)

Identifiers

Cite

Sebastian Altmeyer, Robert Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, et al.. A Generic and Compositional Framework for Multicore Response Time Analysis . RTNS 2015 - 23rd International Conference on Real-Time Networks and Systems., Nov 2015, Lille, France. pp.129-138, ⟨10.1145/2834848.2834862⟩. ⟨hal-01231700⟩
387 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More