航天领域控制系统要求必须具有极高的可靠性、可测试性和可重用性,对国内航天领域控制系统来说,还需要考虑国产化、开发人员习惯和开发周期短等问题。基于模型的系统工程是一种新兴的系统工程技术,它以模型贯穿了整个开发周期,可以有效地提高系统的可靠性和开发效率。本文针对航天领域的控制系统开发问题,采用基于模型的系统工程思想,对航天领域控制系统开发的全过程提供支持。本文的具体研究内容包括：1)提出了一种针对航天领域控制系统开发的方法论。该方法论包括了对建模、模型验证、自动代码生成、软件在环、硬件在环和远程调试等开发过程的支持,以及对这些过程中开发方法和支撑开发工具的支持。2)针对物理模型和控制器的开发,分别提出了基于控制流模型扩展的数据流图层次化建模方法和基于状态图加程序流程图的控制器模型建模方法。3)为验证2)中建模方法得到的模型实例是否满足给定的约束,给出了基于一阶逻辑的模型验证方法。4)针对2)中的模型,提出了各自的自动代码生成算法。特别地,针对程序流程图,提出了由标准流程图模型到结构化C代码的自动生成算法。5)在自动代码生成的基础上,给出了物理模型和控制器模型代码的软件在环测试和硬件在环测试方法。6)为了便于定位在环测试中发现的各种缺陷,提出了一种基于虚拟机的远程逆向调试方法。实验研究和工程应用充分表明,本文所提出的航天领域控制系统开发方法能有效提高系统的可靠性、可测试性、可重用性和开发效率,相应的开发工具满足了国产化的要求并且符合国内开发人员的习惯。本文相关成果已成功应用于某型洲际弹道导弹的研制中。