航天专业软件种类繁多，涵盖了任务设计、仿真分析、制造等多个方面。以下是一些主要的航天专业软件：

STK （Systems Tool Kit）

由Analytical Graphics公司开发，支持航空航天任务的全过程，包括设计、测试、发射、运行和任务应用。STK提供了一个基于物理的建模环境，用于在现实任务环境中分析平台和有效载荷。

ATK （Aerospace Tool Kit）

由国防科技大学空天科学学院承研，用于对现实世界对象的位置、运动、时序进行建模的时空信息系统软件，目前仅关注航天任务相关部分，未来将涵盖多领域和多对象。

MATLAB/Simulink

MATLAB是一种高级数学计算和可视化的编程语言，Simulink是一个基于图形模型的仿真环境。这两种软件常被用于航天行业中的系统建模和仿真，如航天器姿态控制和航天器动力学模拟等。

LabVIEW

LabVIEW是一种图形化编程环境，适用于控制、测量和数据采集等应用。它可以用于航天器的仪器控制、实时数据分析和数据可视化等方面。

C/C++

C语言是一种高级编程语言，被广泛用于航天行业的底层控制和系统软件开发。由于C语言具有高效性和可移植性，因此非常适合航天领域的应用。

Ada

Ada是一种面向安全和可靠性的高级编程语言，被广泛用于航天和国防领域。Ada语言特别适用于大型和高可靠性的系统开发，如导航、控制和通信系统。

Python

Python是一种通用的高级编程语言，被用于航天行业中的数据分析、建模和仿真。Python在航天领域的应用包括轨道设计、飞行动力学分析和数据处理等。

AVIDM （Aerospace Vehicles Integrated Design and Manufacturing）

神软打造的大型自主工业软件品牌，是国防军工行业科研生产经验知识与新一代信息技术融合的结晶，是支撑航天型号产品协同研制与管理的数字化能力平台。

“天”系列工业软件

包括“天鸿”操作系统及多款专业软件，这些软件基于丰富的航天系统工程研制经验，围绕专业特色设计、通用工程仿真和数字主线贯通三个方向孵化，推动软件的产品化，催生数字化产业。

这些软件在航天领域具有广泛的应用，从任务设计、仿真分析到制造和测试，都发挥着重要作用。建议根据具体需求选择合适的软件工具，以提高工作效率和确保项目的成功实施。