Automated fault-management in a simulated spaceflight micro-world