The immediate NASA application is safety analysis for the UAS Integration in the NAS program. In particular, this work would support the Separation Assurance/Sense and Avoid Interoperability (SSI) and Integrated Test and Evaluation (IT&E) subprograms within this effort through tools to improve the efficiency and effectiveness of fast-time and HITL simulation testing. In addition, this technology could be used to test autonomous algorithms within other domains at NASA, such as space exploration. There is need to test and verify autonomous operations of unmanned aircraft in numerous domains. The Department of Defense has a deep need for testing complex (e.g., autonomous) systems where brute force testing methods are infeasible. This includes the US Air Force, where unmanned aircraft are increasingly ubiquitous, and Missile Defense Agency where Numerica is involved in parametric testing of the Ballistic Missile Defense System.