Monte Carlo and Bayesian-based reliability modeling of spaceborne separation control systems under radiation environment | Synapse