MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding
Document typeConference lecture
PublisherSpringer International Publishing
Rights accessOpen Access
In critical domains, reliable software execution is increasingly involving aspects related to the timing dimension. This is due to the advent of high-performance (complex) hardware, used to provide the rising levels of guaranteed performance needed in those domains. Caches and multicores are two of the hardware features that have the potential to significantly reduce WCET estimates, yet they pose new challenges on current-practice measurement-based timing analysis (MBTA) approaches. In this paper we propose MC2, a technique for multilevel-cache multicores that combines deterministic and probabilistic jitter-bounding approaches to reliably handle both the variability in execution time generated by caches and the contention in accessing shared hardware resources. We evaluate MC2 on a COTS quad-core LEON-based board and our initial results show how it effectively captures cache and multicore contention in pWCET estimates with respect to actual observed values.
CitationDíaz, E. [et al.]. MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding. A: "Reliable Software Technologies -- Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings". Springer International Publishing, 2017, p. 102-118.