Please use this identifier to cite or link to this item:
|Title:||Static analysis of multi-core TDMA resource arbitration delays|
Static program analysis
|Source:||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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jan 17, 2018
WEB OF SCIENCETM
checked on Nov 16, 2017
checked on Jan 21, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.