Please use this identifier to cite or link to this item: https://doi.org/10.1007/s11241-013-9189-x
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
WCET
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. https://doi.org/10.1007/s11241-013-9189-x
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
URI: http://scholarbank.nus.edu.sg/handle/10635/77924
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.

SCOPUSTM   
Citations

15
checked on Oct 19, 2018

WEB OF SCIENCETM
Citations

10
checked on Oct 3, 2018

Page view(s)

48
checked on Aug 10, 2018

Google ScholarTM

Check

Altmetric


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