An island particle Markov chain Monte Carlo algorithm for safety analysis