Worst-case execution time analysis for many-core architectures with NoC

The optimal deployment of data streaming applications onto multi-/many-core platform providing real-time guarantees requires to solve the application partitioning and placement, buffer allocation and task mapping and scheduling optimisation problem using the tasks Worst-Case Execution Time (WCET). In turn, tasks WCET varies due to interferences that tasks experience when accessing shared resources that depend on the solutions of the optimisation problem. In this paper we propose a detailed interference-based method that first over-approximates the WCET and then tightens it by pruning out the interferences from tasks not overlapping in time and memory. We prove that derived bounds are safe. We have found that interferences on average amount to 10% of WCET, and were able to improve latency guarantee up to 34%.


Published in:
Proceedings of the 14th International Conference on Formal Modelling and Analysis of Timed Systems
Presented at:
Formats 2016, Quebec City, Canada, August 24-26, 2016
Year:
2016
Publisher:
Cham, Springer Int Publishing Ag
ISBN:
978-3-319-44878-7
978-3-319-44877-0
Laboratories:




 Record created 2016-06-14, last modified 2018-09-13


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)