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

• Type: Article in International Conference Proceedings Book
• Date: 2013

Authors

Rodrigues, V (Author) Other; Akesson, B (Author) Other; Melo De Sousa, S (Author) Other; Florido, M (Author) FCUP

Conference proceedings International

Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Pages: 43-59

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

Rome, 21 January 2013 through 22 January 2013

Indexing

ISI Web of Knowledge

ISI Web of Science

Scopus - 2 Citations

Scientific classification

CORDIS: Physical sciences > Computer science

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 17