An efficient Bayesian updating framework for characterizing the posterior failure probability | Synapse