Please use this identifier to cite or link to this item:
Title: Static analysis of multi-core TDMA resource arbitration delays
Authors: Kelter, T.
Falk, H.
Marwedel, P.
Chattopadhyay, S.
Roychoudhury, A. 
Keywords: Multi-core
Shared resources
Static program analysis
TDMA arbitration
Worst-case analysis
Issue Date: 2014
Citation: Kelter, T., Falk, H., Marwedel, P., Chattopadhyay, S., Roychoudhury, A. (2014). Static analysis of multi-core TDMA resource arbitration delays. Real-Time Systems 50 (2) : 185-229. ScholarBank@NUS Repository.
Abstract: In the development of hard real-time systems, knowledge of the Worst-Case Execution Time (WCET) is needed to guarantee the safety of a system. For single-core systems, static analyses have been developed which are able to derive guaranteed bounds on a program's WCET. Unfortunately, these analyses cannot directly be applied to multi-core scenarios, where the different cores may interfere with each other during the access to shared resources like for example shared buses or memories. For the arbitration of such resources, TDMA arbitration has been shown to exhibit favorable timing predictability properties. In this article, we review and extend a methodology for analyzing access delays for TDMA-arbitrated resources. Formal proofs of the correctness of these methods are given and a thorough experimental evaluation is carried out, where the presented techniques are compared to preexisting ones on an extensive set of real-world benchmarks for different classes of analyzed systems. © 2013 Springer Science+Business Media New York.
Source Title: Real-Time Systems
ISSN: 09226443
DOI: 10.1007/s11241-013-9189-x
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Sep 24, 2021


checked on Sep 24, 2021

Page view(s)

checked on Sep 23, 2021

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.