Verification and validation of IRAS on-board software