Derivation of access request arrival curves for dedicated superblock sequences

Abstract

This document is intended to complement the work presented in [4]. In particular, it provides a more elaborate documentation of the method used for the derivation of arrival curves which bound the access request streams of periodically executed dedicated superblocks (Sec. 4.2.1, [4]). Additionally, it presents several abstractions that have been applied to the timed automata-based modelling of a resourcesharing multicore system in order to alleviate the complexity of model checking (extension to Sec. 4.2.3, [4]).