Modeling and simulation of intrinsic uncertainties in validation of collision avoidance systems