SAT-ANS: System Analysis Tool for Autonomous Navigation in Space