Space OS Reqiurement Verification