A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2013

Autores

Rodrigues, V (Autor) Outra; Akesson, B (Autor) Outra; Melo De Sousa, S (Autor) Outra; Florido, M (Autor) FCUP

Ata de Conferência Internacional

Título: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Páginas: 43-59

15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013

Rome, 21 January 2013 through 22 January 2013

Indexação

ISI Web of Knowledge

ISI Web of Science

Scopus - 2 Citações

Classificação Científica

CORDIS: Ciências Físicas > Ciência de computadores

Outras Informações

ID Authenticus: P-008-KB8

DOI: 10.1007/978-3-642-45284-0_4

Abstract (EN): This paper presents a functional model for timing analysis by abstract interpretation, used for estimation of worst-case execution times (WCET) in multicore architectures using a denotational semantics. The objective aims at surpassing the intrinsic computational complexity of timing analysis of multiple processing units sharing common resources. For this purpose, we propose a novel application of latency-rate (LR) servers, phrased in terms of abstract interpretation, to achieve timing compositionality on requests to shared resources. The soundness of the approach is proven with respect to a calculational fixpoint semantics for multicores that is able to express all possible ways in which a shared resource can be accessed. Experimental results show that the loss in precision introduced by the LR server model is about 10% on average and is fairly compensated by the gain in analysis time, which is above 99%. The system is implemented in Haskell, taking advantages of the declarative features of the language for a simpler and more robust specification of the underlying concepts. © 2013 Springer-Verlag.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 17