The increasing demand for functionality in current and future real-time embedded systems is driving an increase in performance of processors. However at the same time, in developing safety-related real-time embedded systems, there is a need to prove that the timing requirements are met. Multi-core processors are increasingly being considered as the solution to achieve the increased processor perfo ...