A Computer Method to Develop and Validate on board Subsystem's Control Laws