The TSTAR Autonomy Test Tool

The new breed of autonomous goal-driven spacecraft contain much more onboard capability than their syquence-driven predecessors, demanding corresponding advances in software verification techniques. Although autonomous systems are deterministic, they are hightly sensitive to the environment, such that the response of a system in certain contexts must be explored in detail in order to prove confidence in both the design and implementaiton.