Skip to Main content Skip to Navigation
Conference papers

A Generic and Compositional Framework for Multicore Response Time Analysis

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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01231700
Contributor : Robert Davis <>
Submitted on : Friday, November 20, 2015 - 3:21:42 PM
Last modification on : Friday, July 17, 2020 - 11:48:06 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

790