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.
Type de document :
Communication dans un congrès
RTNS 2015 - 23rd International Conference on Real-Time Networks and Systems., Nov 2015, Lille, France. pp.129-138, <10.1145/2834848.2834862>
Liste complète des métadonnées

https://hal.inria.fr/hal-01231700
Contributeur : Robert Davis <>
Soumis le : vendredi 20 novembre 2015 - 15:21:42
Dernière modification le : mardi 24 novembre 2015 - 14:49:10

Identifiants

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>

Partager

Métriques

Consultations de la notice

142