A system of software for the TIP spacecraft computer