航天建模软件种类包括以下几种：
STK （Systems Tool Kit）
由Analytical Graphics公司开发，支持航空航天任务的全过程，包括设计、测试、发射、运行和任务应用。
提供基于物理的建模环境，用于在现实任务环境中分析平台和有效载荷。
具备时间动态三维仿真、高分辨率地形、图像、射频环境等建模功能。
支持设备、飞机、船舶、导弹和卫星的建模，以及附属子系统如天线和传感器的建模。
提供自定义分析功能，分析射频、光学和雷达系统性能，并支持并行计算。
通过强大的应用程序接口与第三方工具集成。
ATK （Aerospace Tool Kit）
由国防科技大学空天科学学院承研，用于对现实世界对象的位置、运动、时序进行建模的时空信息系统软件。
目前仅关注航天任务相关部分，未来将涵盖多领域（陆、海、空、天、电），多对象（卫星、导弹、飞机、地面站、舰船等），复杂时空几何与信息关系（轨道、可见性、覆盖、通信链路等）。
CATIA
由Dassault Systèmes公司开发，是一款强大的三维建模和设计软件，广泛应用于航空航天工业。
提供丰富的功能和工具，用于创建复杂的航空零件模型，并进行详细的分析和仿真。
SolidWorks
由Dassault Systèmes公司开发，是一款流行的三维CAD软件，也常用于航空零件的设计和编程。
具有直观的界面和强大的建模功能，可以轻松创建复杂的零件模型，并进行工程分析和虚拟测试。
ANSYS
是一款用于工程仿真和分析的软件，广泛应用于航空航天工业。
可以用于进行结构力学、热力学、流体力学等多种类型的分析，以评估零件的性能和耐久性。
MATLAB/Simulink
MATLAB是一种高级的数学计算和编程软件，Simulink是MATLAB的附加模块，用于进行系统建模和仿真。
适用于系统性能分析和建模，系统动力学仿真，控制器设计和测试等。
LabVIEW
是一种图形化编程环境，可以对各种航空件进行监测、控制和数据采集。
C/C++
常见的编程语言，航空工程师可以使用这两种语言对飞行控制系统、导航系统等进行底层硬件驱动和算法开发。
Python
一种简单易学的编程语言，广泛应用于数据分析、机器学习和人工智能等领域，也用于航空件的编程。
Ada
一种高级编程语言，广泛用于军事和航空航天领域，具有强大的类型检查和错误处理能力，适合开发需要高度可靠性和安全性的航空件。
这些软件在航天领域具有广泛的应用，涵盖了从设计、仿真到测试的各个阶段，为航天工程提供了强大的支持。建议根据具体需求和任务特点选择合适的软件工具。