航天软件的开发主要依赖于多种编程语言和工具，具体如下：

C/C++

C/C++是一种通用的高级编程语言，因其高效性和灵活性，在航天领域被广泛应用于飞行控制系统、导航系统、卫星通信系统等关键任务。

Ada

Ada是一种面向安全性和可靠性的高级编程语言，适用于开发复杂的航天系统，如飞行软件、导航软件和控制软件。

Python

Python是一种简单易学的脚本语言，拥有丰富的库和模块，适合快速开发原型和实现复杂的算法，在航天领域用于数据处理、模拟仿真和图像处理。

MATLAB/Simulink

MATLAB/Simulink是一种专业的数学计算软件和建模仿真工具，适用于复杂的航天系统建模和仿真分析。

VHDL

VHDL是一种硬件描述语言，用于设计和验证数字电路，在航天领域常用于开发和验证航天器上的数字电路和FPGA（现场可编程门阵列）。

FORTRAN

FORTRAN是一种面向科学计算的编程语言，广泛应用于航天领域的数值模拟和计算任务。

IDE（集成开发环境）

航天程序员常用的IDE包括Eclipse、Visual Studio和PyCharm等，这些IDE提供了集成的开发环境，包括代码编辑器、编译器、调试器和其他开发工具，方便程序员编写、调试和测试代码。

SCADE（安全关键应用的开发环境）

SCADE是针对安全关键行业（如航空、航天和铁路等）的软件开发工具，支持模型驱动的开发流程，能够提高软件的可靠性和安全性。

仿真工具和模拟器

航天程序员经常使用模拟器和仿真工具来模拟航天器的行为和环境，常用的工具包括MATLAB和Simulink等。

专业航天软件

针对特定航天任务，还会使用一些专门开发的软件，如STK（Satellite Tool Kit）用于航天任务的全过程分析和设计，ATK（Aerospace Tool Kit）用于航天任务相关部分的建模和时空信息系统软件。

这些编程语言和工具根据具体的应用需求和任务特性，被选择用于航天软件的开发。航天领域对软件的要求极高，包括安全性、可靠性和实时性，因此选择的工具必须能够满足这些严格的标准。