Branch prediction related Worst Case Execution Time with a Markovian Model

In this paper we use a Markovian model previously applied to cache related delay modeling and preemption delay modeling to calculate a subset of WCET delays related to branch predic-tors. The base of the formalism allows to take into account a deterministic or non deterministic automaton or set of automata thanks to a Markovian model. We previously applied this formal-ism to cache related Execution Time (ET) delays and cache related preemption ET delays [9, 12] and to non deterministic cache policy [10]. In this paper we introduce an application to some forms of branch prediction associated Worst Case Execution Time (WCET) calculation