Performance Evaluation of Dependability Improvement Methods for Multiple Core Systems based on Markov Models