A framework to support the design of COTS-based reliable space computers for on-board data handling