Validation of fault tolerance mechanisms of an onboard system | IEEE Conference Publication | IEEE Xplore